{"entities":{"Q1098651":{"pageid":1109403,"ns":120,"title":"Item:Q1098651","lastrevid":66325404,"modified":"2026-04-12T09:19:07Z","type":"item","id":"Q1098651","labels":{"en":{"language":"en","value":"On the computability of circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039347"}},"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":"Q1098651$B47A6280-FD55-4324-95DF-84BF136C8CCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05cd89021c627983f283a441fa9d3eb9b76ccbe2","datavalue":{"value":{"text":"On the computability of circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098651$05B1F99C-FE3F-47A6-A1CF-7C9BE9E76646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c35d724ac911bfd4509ecf27ce2369d958611033","datavalue":{"value":"0637.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$4D26E3F0-660A-4259-A8A1-F0EF9CBB9CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f89937a75bbfac4f50153a531f8848abff92689","datavalue":{"value":"10.1016/0020-0190(88)90085-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$4C759A62-2033-40CE-B047-CD2577AE4C94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b8ab70efa690bf0e6b463751cbb7aceef69733a","datavalue":{"value":{"entity-type":"item","numeric-id":1098650,"id":"Q1098650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098651$288D1DC8-6F84-4264-B9C3-37654167EF4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098651$2AF8ED99-C435-4B2F-831E-32B70FC0D50A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1098651$9F9C386C-9975-45FC-B3A1-B98BB8F47E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$22174374-4275-496A-808A-0A129E0280A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$47AC1C4E-BFB5-4B08-A6FB-F021A6906ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$D36F5BA2-B348-4C63-A078-6B4A8E8251F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c54a5c9671cb1945645cd7fb0a4587f06ec3d36","datavalue":{"value":"4039347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$FFA548BD-85A2-4A06-8F1B-E352BB78DD06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$D3885993-528C-4160-9E43-3BC386A15E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$D39B7DC0-78F4-4F30-8D7F-B5B4B8CD3286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$DBD4AEE1-F321-4CD2-9B12-F894F473CF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$26E2CE84-29AC-42D1-836E-E8D7590E6C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$77F4F40E-449C-4138-B136-D7986A2262D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$9B6649EE-5BBC-4D36-815F-F832225884A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$3CD9DE0E-289E-4232-8224-1A11C03CB329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098651$08334A29-C5CE-4E26-BB2E-124464E2CE5E","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":"Q1098651$C3FC2513-D21B-45C4-A7A4-80477D8B061B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae4f407b89186c3c5787cbd053985d6d1d0bfa9","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90085-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098651$1E1D6491-6F73-4C69-A875-B8263ACFB82C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43eee5e38701e0d3958ac25bf690fd8e0a28639d","datavalue":{"value":"W1510401151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098651$D251161B-74BE-484C-9255-5482D3E6ADAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec95e0cc5f6be9ceb84b4471952fde3499dc8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1140442,"id":"Q1140442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098651$9C82D1D1-AF69-4AC6-BBDC-450C0838706C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098651$0F451193-751C-44E6-8E16-9AA47E9FCB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8591194cedb8973adb5ed4808d71864d84c625","datavalue":{"value":{"entity-type":"item","numeric-id":4141219,"id":"Q4141219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098651$12521D43-5454-47BC-819C-5F465D5D0C82","rank":"normal"},{"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":"Q1098651$8E7E7888-C21E-428E-8E11-34B84CFFDC06","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":"398756010519dfd76b1dcb2bc9a3ed99e2f428ba","datavalue":{"value":{"amount":"+0.8706096410751343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098651$1BC1C487-38CA-4F29-B7B2-2D7ED53CD127","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":"9ae1238496ec5abd553d2ef5a90c15f70ec8b88d","datavalue":{"value":{"amount":"+0.8659489750862122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098651$83994DA1-7C38-465E-A33B-ED462DD3748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59aedb7ae9b8cfef748ce97c028dffb28bedbf34","datavalue":{"value":{"entity-type":"item","numeric-id":4306224,"id":"Q4306224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775b292bb5cce51e0651c887ae8515674c180050","datavalue":{"value":{"amount":"+0.81379634141922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098651$96841FD5-CA7B-4724-8C47-7C800CA32060","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":"6463620cc7a3ef5cfbfa389b1099135b4819c707","datavalue":{"value":{"amount":"+0.8098147511482239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098651$99D28D35-417F-4857-AB46-0D3A3F0157F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eeedd38d105cac096d655dcbdc09f69fd73b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":685339,"id":"Q685339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca40be7f065a5773669b54623c4fc9da2b5a1255","datavalue":{"value":{"amount":"+0.809814453125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1098651$330DC924-8B9D-4CF6-924E-AE5F106AB84B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the computability of circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_computability_of_circumscription"}}}}}