{"entities":{"Q1367072":{"pageid":1377812,"ns":120,"title":"Item:Q1367072","lastrevid":43062026,"modified":"2025-07-17T08:48:51Z","type":"item","id":"Q1367072","labels":{"en":{"language":"en","value":"Computing circumscription revisited: A reduction algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062576"}},"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":"Q1367072$E3E7CE08-2BC2-4F5A-BDB9-C7D262682CBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c2098bf5d77b690eeeea88d41554f23309e2fef","datavalue":{"value":{"text":"Computing circumscription revisited: A reduction algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367072$E2340BAC-F935-4297-848F-E8D46E417898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0577489ffe9b26a74ab75a3f14cefc3058566d4","datavalue":{"value":"0939.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367072$3744E3C6-44E8-4862-96A1-1091CB44D80B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1203909561f74d74eff068fe2679d2f393a6f5b","datavalue":{"value":"10.1023/A:1005722130532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367072$9E0EF2D9-2A6A-4EAE-8214-037B45B0802A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"032aafba140558c82c03c3da77f727bddea77b26","datavalue":{"value":{"entity-type":"item","numeric-id":329425,"id":"Q329425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367072$F0DDAB63-0C94-4D83-978C-240750D3A896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dab67fb0de0ca5c2814cb4b6cf653cc30f076c7","datavalue":{"value":{"entity-type":"item","numeric-id":1367071,"id":"Q1367071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367072$31644A0B-5714-470F-9E5B-2C7D5BE2EC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca60e4abfd0c45cace511a7d7434a08b65f8249c","datavalue":{"value":{"entity-type":"item","numeric-id":763332,"id":"Q763332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367072$3BCA904C-302A-42AA-8701-B08EF6B1EF37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367072$136D9D1C-4B61-4C29-8BF6-30D1FD0697CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e11d1837707d60adc8ea793d07b0b6f8a320eec","datavalue":{"value":{"time":"+1997-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367072$D13841F0-C010-409C-B6F9-D47462C21B14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367072$D3F54C0A-6DD2-4F20-BF10-EB5633E819AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367072$CBD665FE-23C5-49C5-A72C-1BF349E0F842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02d8ecc42a3128f1f753519983fbf2959cedefd5","datavalue":{"value":"1062576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367072$24B0F139-5E9B-4562-ADBB-57355177D1B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d8f688b70394687166760b1afc559bb4c46c24","datavalue":{"value":"reduction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$B5DADF3F-0159-4522-AD78-F485E3888290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$E3D4C4CE-DFAC-4D9E-893C-D257EF80C1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"913c2b9531f00570ded63a06d21b04616427cbac","datavalue":{"value":"common-sense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$004E5412-13A6-46D6-8159-E03BEB5C21AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$DADA9E74-94E1-4073-A006-8DD40E64027C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$2B99B390-6ED3-444B-B610-023D96635B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b23ead22c36f0adaeb3b9e3a2130ffdbb6cafba","datavalue":{"value":"second-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$75961928-D9AC-468F-9B1E-572BE1C0C13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e419648daee84246ea87ee9b915b28e3bdb676","datavalue":{"value":"first-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$C7DDCEC6-E438-43E6-BBB2-FEFD723C0535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a2f0f73cf801a0860290932ecd2bf6547b5a36","datavalue":{"value":"mixed quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367072$FB116E03-892E-495C-B61A-73476D73DBC3","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":"Q1367072$D1F965E9-5703-4FA7-B554-2E049BF3954F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14cadb2c041c346a1c61e1d894d454d8a7da94fa","datavalue":{"value":"https://doi.org/10.1023/a:1005722130532","type":"string"},"datatype":"url"},"type":"statement","id":"Q1367072$9B5641A4-953F-4172-A17C-73F0124F0CF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a96ff3f26adc510bab72128bf8be21ae900db663","datavalue":{"value":"W1536469384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367072$B02DCEED-FADC-42A8-93FE-A8BE83F8C549","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"973cbc9e42ec91838cc8091badb1697ce4ac0db1","datavalue":{"value":{"entity-type":"item","numeric-id":3474909,"id":"Q3474909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3381934aed51b7b955d5c1732438cbaf9d110568","datavalue":{"value":{"amount":"+0.9266845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$A3E9B081-A2AE-4F43-BC33-EC0FB7F5E60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3691cf8a59b7ceb1acd16b3e9217886b8d730749","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0906514a2e98ab9739468a56fd8067ac20891f5","datavalue":{"value":{"amount":"+0.87438613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$CE2E9886-78A8-4BCF-9A55-61EFD96A6B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d7356fa328ff416f9a821b42a22942a60a5e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1098651,"id":"Q1098651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae23d91da5d4a80b7370be23089315af884485b","datavalue":{"value":{"amount":"+0.8724675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$4888F910-243C-4BB6-9328-641CDF2AAD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a7d02aae67750db9ad6aef32904cb145869620","datavalue":{"value":{"entity-type":"item","numeric-id":3977129,"id":"Q3977129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cedcaed8a2e6f86894f4d66b6faa635c626f151","datavalue":{"value":{"amount":"+0.86644226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$BE72CF16-0D8D-4916-A894-9A17F5845898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833ab6a3a1abd49dbab828410fb349851fc81316","datavalue":{"value":{"entity-type":"item","numeric-id":5505401,"id":"Q5505401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b78eb9bd8830033c266a7f258458765a338e61","datavalue":{"value":{"amount":"+0.8658322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$83BA9B5B-7A69-4936-87F5-79C855B90C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f441abb8be0023b391246bb3591761388f40c1","datavalue":{"value":{"entity-type":"item","numeric-id":5757967,"id":"Q5757967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a13171360fa89c00c3b65e29414dc3dbbb1cf04","datavalue":{"value":{"amount":"+0.8658321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$DEF7F46D-2E9E-4366-B6CB-54A7BAEE4750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ebe8dd0599b150c59592cb4ba0478c5c987e7c","datavalue":{"value":{"entity-type":"item","numeric-id":3421442,"id":"Q3421442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693ab8dcf9cf788d2b750f70ee3bff76b1931388","datavalue":{"value":{"amount":"+0.8610699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$2509ECE4-E501-4542-9237-307A88EB361D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c6a2df04baa515eef6bbd4e49be78b6a31a075","datavalue":{"value":{"entity-type":"item","numeric-id":4230930,"id":"Q4230930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b0941ec581c51a5489013ad6e6828fbcd43162","datavalue":{"value":{"amount":"+0.8599251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$C5B71C51-521C-478A-9EFD-89814FF13254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce4b2f7625f68b8d4518a3cf9ab5cd59f01d768","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db3e951e0c66f8edebbb564a46b516b750f5ea25","datavalue":{"value":{"amount":"+0.85960937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$90759C5C-81DA-4A84-A054-E175C7383E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5918473e6984cd41d9dac108a33dd5b556855f96","datavalue":{"value":{"entity-type":"item","numeric-id":636310,"id":"Q636310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b9751ca093bf98054f41bce97b236b226f17df","datavalue":{"value":{"amount":"+0.85787654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1367072$56DA9A82-12D7-4AAF-A598-E0F4E5FA6039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1367072","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1367072"}}}}}