{"entities":{"Q7306600":{"pageid":31253302,"ns":120,"title":"Item:Q7306600","lastrevid":104771413,"modified":"2026-09-14T10:49:21Z","type":"item","id":"Q7306600","labels":{"en":{"language":"en","value":"An algorithm for constructing extensions of propositional autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8233112"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7306600$C858EC5F-3175-4E9B-812D-7021CBAFE8CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a2c898c6ee4414d56e3c5f00db09f18ef5e644","datavalue":{"value":{"text":"An algorithm for constructing extensions of propositional autoepistemic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7306600$927AB872-73D9-4813-A562-D1282BE40A55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd2a41d1f154b5a87d906a36653f266d4378dac","datavalue":{"value":{"entity-type":"item","numeric-id":3164178,"id":"Q3164178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7306600$7ED9281C-C1BF-4D95-9020-1041C48F0EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70980a4c4b2d6197bbbb377a9f75daf92fa56536","datavalue":{"value":{"entity-type":"item","numeric-id":7306599,"id":"Q7306599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7306600$A0306AA5-3588-45F7-8AD6-377CE5D1251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3ed1fc5b29f422ee1136896df036bc2cc4cfc03","datavalue":{"value":{"entity-type":"item","numeric-id":3923629,"id":"Q3923629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7306600$67DD4AF1-736A-4728-AB95-5046305ED11E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4bd5965e249ca36b83a880b2b33344b9ccaa443","datavalue":{"value":{"entity-type":"item","numeric-id":7306596,"id":"Q7306596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7306600$90AE7EDA-70D9-4137-A91F-DC105B78B419","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0166c0e2c483497e47966a7feee1cc42e0ac9aca","datavalue":{"value":{"time":"+2026-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7306600$C4A98596-83B1-4DFB-A789-211D6DAA9A3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7306600$A835FA15-BA2F-4322-B3FD-82BC32D7A9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7306600$342C76EC-CA6C-4653-A9CB-5560EB3DCA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7306600$E1A460B2-AB04-47FF-B3BA-0CF7C3307720","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94daf16e9442393d8a51d43265ca261f5a091c5","datavalue":{"value":"8233112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7306600$695B5F25-B502-4304-A306-7ACD696E7BE6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7306600$B11A0E8C-7A40-4E6A-8147-49CD522D7477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for constructing extensions of propositional autoepistemic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_constructing_extensions_of_propositional_autoepistemic_logic"}}}}}