{"entities":{"Q57383694":{"pageid":57300070,"ns":0,"title":"Q57383694","lastrevid":2074877474,"modified":"2024-02-11T22:03:04Z","type":"item","id":"Q57383694","labels":{"en":{"language":"en","value":"Axiom Pinpointing in General Tableaux"},"nl":{"language":"nl","value":"Axiom Pinpointing in General Tableaux"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 \u043b\u0438\u0441\u0442\u043e\u043f\u0430\u0434\u0456 2008"},"de":{"language":"de","value":"im November 2008 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"b5de2746bc0f50f91842afcaf2127815a4635e26","datavalue":{"value":"10.1093/LOGCOM/EXN058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57383694$DAF7EA6B-5EBE-49E6-BB55-A7368E292801","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$1402219C-C679-4762-A765-EBFDFF50EE33","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"8620abd3aef84af01abd407b0ac58d1a66148f52","datavalue":{"value":{"text":"Axiom Pinpointing in General Tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57383694$6EE0E4C9-A7CD-4D18-B1F1-4D4240277C89","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"962ed10012ef254020e2a8c8a6c8ba7647d35a12","datavalue":{"value":"1","type":"string"},"datatype":"string"},"type":"statement","id":"Q57383694$7F1BA6B2-3F82-4815-9ABC-64F540345C4B","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"834b4f04ad1edb74674f7cc89df3a54e2061af36","datavalue":{"value":"5-34","type":"string"},"datatype":"string"},"type":"statement","id":"Q57383694$97379F23-08D8-4101-AB13-651797FEA725","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"ab0fbdd1e1b2e608c2ebe88b52e00815a492da04","datavalue":{"value":"20","type":"string"},"datatype":"string"},"type":"statement","id":"Q57383694$64CF3C05-65FB-4950-B733-BBD43C458D9F","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"dcee0d9df3c98366935f453376eaed2e0782e605","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q57383694$CE9263F3-6626-43B5-ACA8-545C0A4014A0","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"8f4f911f83e04cc0464f67cf6c9ba1736b2d6891","datavalue":{"value":{"entity-type":"item","numeric-id":6295460,"id":"Q6295460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$028A7403-674B-457A-898D-F1979A578A5D","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b0209834613a4fd2b3e1028e3ca9d38a4c33cc6d","datavalue":{"value":"R. Penaloza","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q57383694$8F58A233-F288-41E0-AB49-AD7CD8A1D836","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"39dc14b3565e20f91aa74b3a1863f8329c93e2b2","datavalue":{"value":{"entity-type":"item","numeric-id":92729,"id":"Q92729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"2deb85f793eb81feafe47971fede77680a9cd38f","datavalue":{"value":"F. Baader","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57383694$ED049D56-9E02-4440-8003-14008C3DF47B","rank":"normal"}],"P2860":[{"mainsnak":{"snaktype":"value","property":"P2860","hash":"fa2483592fff2b3c64e4ed33dbae0f2029d01882","datavalue":{"value":{"entity-type":"item","numeric-id":57383734,"id":"Q57383734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$232A9435-0768-4B6A-B24C-176F223EB4C6","rank":"normal","references":[{"hash":"f537e36ab4d0739fd42241ffe6c0f5980229eeef","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"34673b8390f94a89ad86bd3984d33c3c20c32b20","datavalue":{"value":"https://api.crossref.org/works/10.1093%2FLOGCOM%2FEXN058","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"8b1f6a648933332f301abfc786a700a83a610c70","datavalue":{"value":{"entity-type":"item","numeric-id":57383745,"id":"Q57383745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$01252AB8-C7B9-41B0-9C76-9DD53A08137B","rank":"normal","references":[{"hash":"f537e36ab4d0739fd42241ffe6c0f5980229eeef","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"34673b8390f94a89ad86bd3984d33c3c20c32b20","datavalue":{"value":"https://api.crossref.org/works/10.1093%2FLOGCOM%2FEXN058","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"cd27be1e89d970e31e3d721bfc11e45c7e72fb16","datavalue":{"value":{"entity-type":"item","numeric-id":56771043,"id":"Q56771043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$43F14B4F-D8A1-4EA7-9A08-72ECA594656E","rank":"normal","references":[{"hash":"f537e36ab4d0739fd42241ffe6c0f5980229eeef","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"34673b8390f94a89ad86bd3984d33c3c20c32b20","datavalue":{"value":"https://api.crossref.org/works/10.1093%2FLOGCOM%2FEXN058","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"dfd7e07be7d7ca8aeb0d6fb35652100ed3d3444f","datavalue":{"value":{"entity-type":"item","numeric-id":37680122,"id":"Q37680122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$32A7A191-AB31-4337-982A-997CE0337624","rank":"normal","references":[{"hash":"f537e36ab4d0739fd42241ffe6c0f5980229eeef","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"34673b8390f94a89ad86bd3984d33c3c20c32b20","datavalue":{"value":"https://api.crossref.org/works/10.1093%2FLOGCOM%2FEXN058","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"895c087a671d62b8d23a1c5f9df41dd563438528","datavalue":{"value":{"time":"+2018-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"72f9a68713dc9cf205e0a2d0f24cda212ab36485","datavalue":{"value":"journals/logcom/BaaderP10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57383694$D7CAA084-1183-4CB4-8DB3-70FD75BF75DA","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"b69e35bc7a9fbf181eb85fdf0bf5949405675e46","datavalue":{"value":"1191.68645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57383694$91B042D8-2353-4021-8B9B-955ED25572D7","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383694$C25B95F6-1AEC-4AB9-828C-407A5E77FA52","rank":"normal"}]},"sitelinks":{}}}}