{"entities":{"Q1073786":{"pageid":1084538,"ns":120,"title":"Item:Q1073786","lastrevid":69574659,"modified":"2026-04-13T07:56:32Z","type":"item","id":"Q1073786","labels":{"en":{"language":"en","value":"On the satisfiability of circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946106"}},"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":"Q1073786$F56F127D-7386-4147-99F6-E1D42731380E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b0d0e00aed91ea75c663a3c4a1c9b6ba5b842f8","datavalue":{"value":{"text":"On the satisfiability of circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1073786$8AA1960A-853E-4A27-8D33-50BFB2A232A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"443091cc56e557e7b50cd34e9a255bf74812b50d","datavalue":{"value":"0589.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073786$C8667E41-7B0D-4394-A05E-92CD5BDF51BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a0ab9c65c78941e2a3ac9199d395b8a85200cd4","datavalue":{"value":"10.1016/0004-3702(86)90028-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073786$17C02DC0-C2FC-4DC2-B931-34548C692E05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073786$E943377A-4BCA-42DA-A6AE-D04F9C503048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073786$7CA1EFF5-33A7-4883-9297-B66F529DC8EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1073786$B1D43762-D151-4BDE-9279-2DC221D58DAF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3281519bf7b96dbae869fcfd67ba23d4d9528640","datavalue":{"value":"Es wird gezeigt: Wenn A erf\u00fcllbar ist und fast universal bez\u00fcglich P, so ist Circum(A;P) erf\u00fcllbar. Wenn A universal und erf\u00fcllbar ist, so ist Circum(A;P;Q) erf\u00fcllbar. F\u00fcr disjunkte \\(P^ 1,...,P^ k\\), Q und jedes universale, erf\u00fcllbare A ist Circum(A,\\(P^ 1>...>P^ k,Q)\\) erf\u00fcllbar.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073786$7AF1406C-FADE-4FC4-AD9F-53C40B9CDC9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073786$355B6DE6-B032-423F-895D-E0FF597C8499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073786$663FE229-E117-45B5-8CE7-6473180A1357","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f43c9fd81f7e47743da793f76aa7626cf59f196","datavalue":{"value":"3946106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073786$7E2E48DB-C487-4541-A3BC-B6F5AB7ADFDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073786$6F431AAD-C821-422F-B6FB-22B176018BA7","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":"Q1073786$43DBA4EA-D24D-4A95-81C2-B953952EBE99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7de2e99b9ab45daa1dd6384d36ae816171d801c","datavalue":{"value":"https://doi.org/10.1016/0004-3702(86)90028-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1073786$52436223-7E9A-439B-AFAF-E1870E601D05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef282b2fa7be73ec5d59e988c1d51b3d0c364f6c","datavalue":{"value":"W2076024411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073786$F5968395-A0EB-4CD4-9D60-705D0A546973","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073786$15835992-51BE-4982-9F32-EF6EAF878C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073786$342A3ED3-FD2B-431B-8FC7-DFAC3AC6A8DC","rank":"normal"}],"P1643":[{"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":"517b0229cd5b6fd04c45d78353e6ae7c98e55636","datavalue":{"value":{"amount":"+0.9208788","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":"Q1073786$B17EBEA3-DA45-4822-80C2-CBE9953E4C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7e756f0e4d30e0e0cfecdaa9b60924197ed55b","datavalue":{"value":{"entity-type":"item","numeric-id":3838809,"id":"Q3838809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6b17c0d647f525a03f040f0884c946a14017f5","datavalue":{"value":{"amount":"+0.9084431","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":"Q1073786$3A468C8A-2AC8-4FCF-8DAF-C2837621660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3234deec24218a713dfb1f6b75ec8fce252df9","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504d946736f457da8f67e5f51d10adf1dfa9a84a","datavalue":{"value":{"amount":"+0.8993158","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":"Q1073786$BE0C3D43-0974-479D-8CD8-F6966997AB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0424235b17dc81ceb32a8489c0853b0b94d97369","datavalue":{"value":{"entity-type":"item","numeric-id":1819950,"id":"Q1819950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afc3bbf32373491cdb0e920dea89d5f57a0a6f3","datavalue":{"value":{"amount":"+0.89063704","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":"Q1073786$6F42E029-DF51-4468-B519-7921E8E151A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8052d035c8e4728bae6a6352f5c139bf48fcd","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49425bca06ef40617ff4761f53a3cfe4298db06d","datavalue":{"value":{"amount":"+0.8893121","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":"Q1073786$BDB18E84-EA33-46CF-B8AE-0E1732A2D796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e90277c31c9d479f3dec7dcc34dcb6efdd63d2bb","datavalue":{"value":{"entity-type":"item","numeric-id":1073787,"id":"Q1073787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dd3f98e83c1faff1733fbbc3605c4b5a40f203","datavalue":{"value":{"amount":"+0.8878452","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":"Q1073786$605E7F44-25DD-42E4-BBB6-F6D509E1FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b68b32e204531b31e589d64c579ea912385bb","datavalue":{"value":{"entity-type":"item","numeric-id":4012238,"id":"Q4012238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468ff3d027fe6d3334086f92489aeb6a0a02019a","datavalue":{"value":{"amount":"+0.8874135","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":"Q1073786$B6749C09-51E9-49FD-917E-6209DFB92661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7aeb4dd11517f982d4ea1a6893dda70e8518a8","datavalue":{"value":{"entity-type":"item","numeric-id":1764422,"id":"Q1764422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263d28640d00056088fc9c92739932aedc155960","datavalue":{"value":{"amount":"+0.8872713","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":"Q1073786$F1682D8D-F6AA-4D5B-A829-863CF76E4301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff883113f8133cf1a56653c3ad88b7a2709d8e9","datavalue":{"value":{"entity-type":"item","numeric-id":5695188,"id":"Q5695188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f19397caad98b4e69bd34b2a89f21e21495711","datavalue":{"value":{"amount":"+0.88708603","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":"Q1073786$4D118A60-C3CB-465B-A1EB-EC9DA030CED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46ec990cd9a3ce6cac4ee58ba574342be6bfc13","datavalue":{"value":{"entity-type":"item","numeric-id":651313,"id":"Q651313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8704d91efda8a1489f1a637749a61222d9bcb8ec","datavalue":{"value":{"amount":"+0.88347036","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":"Q1073786$24ADC47E-769E-42AD-A079-3DF2CDA7FC2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the satisfiability of circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_satisfiability_of_circumscription"}}}}}