{"entities":{"Q57383691":{"pageid":57300067,"ns":0,"title":"Q57383691","lastrevid":2412367814,"modified":"2025-10-03T22:29:05Z","type":"item","id":"Q57383691","labels":{"en":{"language":"en","value":"Automata-Based Axiom Pinpointing"},"nl":{"language":"nl","value":"Automata-Based Axiom Pinpointing"}},"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\u043f\u043d\u0456 2010"},"de":{"language":"de","value":"im Juli 2010 ver\u00f6ffentlichter wissenschaftlicher Artikel"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2010"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"3ae28cd55f5c9e509e17b3ff334e3128f395d871","datavalue":{"value":"10.1007/S10817-010-9181-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57383691$6A2D06D1-1DF7-4E4E-B54C-AF983FEC0F86","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":"Q57383691$3FFD50A1-017B-4275-835B-DC8551DE399D","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"c9952ee72ae62a6377a8227ef2829f6b3e8c5217","datavalue":{"value":{"text":"Automata-Based Axiom Pinpointing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q57383691$B70D9A55-D000-4855-85E8-5750DF5502A3","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"69d52212d282a400dfd773d3aea95b8e4f7c9e2f","datavalue":{"value":"2","type":"string"},"datatype":"string"},"type":"statement","id":"Q57383691$3D0013FB-8593-484E-B90F-DEB5FD970AEB","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"c96b736842036017eb0a0dca2e6cebfc7fa14584","datavalue":{"value":"91-129","type":"string"},"datatype":"string"},"type":"statement","id":"Q57383691$BDB4AECA-6464-46FB-8419-C0B070391264","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"f7304e0b641570c6f4c2912466f7e9a1415dde49","datavalue":{"value":"45","type":"string"},"datatype":"string"},"type":"statement","id":"Q57383691$2D108DA9-76CA-4C04-82B4-E3252CA59422","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"3ee4263cf01d68d4d878e8cc8c10594c64fd69f4","datavalue":{"value":{"time":"+2010-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q57383691$2064454E-8170-41B1-B838-35C770B046A6","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"8e62d04281ce35241c9a6df94e722d30c0f5de25","datavalue":{"value":{"entity-type":"item","numeric-id":6294821,"id":"Q6294821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383691$77A99C3F-22EB-456D-A8A1-BD263BFE7D74","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":"927113447a3129ab4a374cc3726b668f636a2cb1","datavalue":{"value":"Franz Baader","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57383691$1A291A91-3059-4F9A-A04F-BAF15E0B66A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P50","hash":"3fed675a6b0e44a0e5f0aa22b84552af93decba4","datavalue":{"value":{"entity-type":"item","numeric-id":57517599,"id":"Q57517599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"980f2dda217e54d72b6a4d7585398ec7a1facff0","datavalue":{"value":"Rafael Pe\u00f1aloza","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q57383691$69F2AC9D-79B7-42CC-9BBB-4781F46FB957","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"462aee0415652952ae710902f0775bae5ce2a94c","datavalue":{"value":"journals/jar/BaaderP10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57383691$52A726EC-0816-47A3-92FF-38EB0E1B989D","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":"cc5a07f9f4d2585a21ba59d56c7664f301c958be","datavalue":{"value":"1213.68589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q57383691$7F3D67CB-D3B2-4AE1-A713-294C4943B73F","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":"Q57383691$04B8CCEE-0787-45F7-A69D-A4E9B89F0816","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q57383691$1F8C5C03-2E23-446C-972D-E9D315CECDFD","rank":"normal"}]},"sitelinks":{}}}}