{"entities":{"Q692903":{"pageid":694752,"ns":120,"title":"Item:Q692903","lastrevid":63546171,"modified":"2026-04-11T13:54:01Z","type":"item","id":"Q692903","labels":{"en":{"language":"en","value":"The complexity of circumscriptive inference in Post's lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6113530"}},"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":"Q692903$BA7ECB60-4B1F-44F9-BA00-8EFC0373EA5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5997f819add8e37b649f18b023277d29907df057","datavalue":{"value":{"text":"The complexity of circumscriptive inference in Post's lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692903$8E4A3B22-E4A7-4E3D-9CF4-66D96A7C294A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2d371a7682a95f19fab9b45f7e3696c80e615d1","datavalue":{"value":"1282.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$33C304EF-B52D-4B0F-AB00-6F7FFCAB3D0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29f22b91570b5df6412beedfb2a04c45a3e1599b","datavalue":{"value":{"entity-type":"item","numeric-id":688646,"id":"Q688646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$650D3F5B-5B1D-4028-A00F-7A105BE2087F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$4C595E06-5166-4E88-B29A-83D48C7A6ED1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dff58ac691764932e2d1883ecce372141126289a","datavalue":{"value":{"time":"+2012-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692903$B97AA023-1AAD-4DEB-B19A-7BD53E8ABD9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$455D41DE-E038-46D1-89E6-64A71DA42438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$DD3FA33C-AD98-44DC-8298-8D0EFF5F5063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$DF33FC1D-55A4-43BC-92BB-9CAEA8D3843F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15109d51a20bd6722b63b00de9b5927628c3743b","datavalue":{"value":"6113530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$40E510A4-CC70-4AEB-8356-A873A7C6CB1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q692903$9CFE7C11-D95E-40FF-B93F-7A2E5A9E78BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q692903$9D4F6120-A7C6-4C6C-A853-3E22806E2C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q692903$EAEA7D18-5A7E-477B-88F9-FC5CC47BF8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q692903$32DD704B-AF8D-485E-B0FF-634772FC720A","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":"Q692903$DE5CC5CB-FE98-4F15-ADBD-56CAF00400EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a916878a19b6b89c313a54e9c25240ef464f5506","datavalue":{"value":"https://doi.org/10.1007/s00224-010-9311-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q692903$4612C1F4-CC6F-425D-9BA3-787F1153B5E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b548bb6e916224ce1920d2fd442cecbdb8f16b01","datavalue":{"value":"W2019366780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$6EA03AB7-FFD1-4EDB-9542-8D27EA247F7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c1d16c75ff551f6c84b8a34307f622523d123","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$49F42902-3CE9-4AE8-9267-6FD3BF0244B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38279ab697b62b6ea15e36553c1fb75cd25aa683","datavalue":{"value":{"entity-type":"item","numeric-id":5758057,"id":"Q5758057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$E74B8B8E-C8F1-403C-A692-8BAAAB98BCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d528ac2cb4d52ba27373c0f416c6688031f47","datavalue":{"value":{"entity-type":"item","numeric-id":989577,"id":"Q989577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$54738DE9-D134-4B68-82AB-A0ADE5C805D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7071eb8212d7883f252c9453af587af605bb1575","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$77C63822-A5FB-43BE-B8C0-536D57B43B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d89cb1e49464867528aeaacc74a6f0e58536d96","datavalue":{"value":{"entity-type":"item","numeric-id":4009813,"id":"Q4009813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$0E3F0B47-FC40-4429-9D29-C9A8854E1FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a993f1cad51f875f126f33b688d6a1ffa218bb","datavalue":{"value":{"entity-type":"item","numeric-id":1391128,"id":"Q1391128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$1338E837-F813-4059-9FDC-D2BB9ABFD7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e877796c14eb0e482e2206ef51e76c13438711","datavalue":{"value":{"entity-type":"item","numeric-id":1329160,"id":"Q1329160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$6C3CB5EE-95E0-41AD-AD49-2FAA11D21D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d90d589780f9e809e5a24ce6069de8f9fde53ad","datavalue":{"value":{"entity-type":"item","numeric-id":4418672,"id":"Q4418672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$28D6E601-5658-4D88-BCCF-B5654B479835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$0B641471-18B4-4009-9CFD-2972FDE7BE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b186d1a5a394b7366c4c1b9dd69568303895d","datavalue":{"value":{"entity-type":"item","numeric-id":1115207,"id":"Q1115207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$82645DC4-7676-41C5-B96A-869ABF080F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb861c8b26ec4071c189ca56dc1f213340c4a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2762521,"id":"Q2762521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$456C6DBE-A581-4893-8694-02CCA9BF2068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa69ee26d46e945d5b4a4e2c216125eec983dac","datavalue":{"value":{"entity-type":"item","numeric-id":1887137,"id":"Q1887137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$D40445C0-E284-43B6-895A-63B500D4AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1502a697d3b1ddb5aa0a6ee3a5b5dbff5f09498","datavalue":{"value":{"entity-type":"item","numeric-id":1764422,"id":"Q1764422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$F417C661-6E6F-4978-9C1C-97A65BC9AB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$AF5C2C22-284F-4991-B5D7-EF0E44F93D5B","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":"Q692903$C488F4E6-2CBC-469B-829D-C61A21B5AFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadf047eae02acc752fd99fdb0f376c7d3dbf224","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$A1CFE192-97C3-4FC5-A666-2B16E01CB5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b6a19ce322349db13836af6cd2f3bf79c2f00a","datavalue":{"value":{"entity-type":"item","numeric-id":5705928,"id":"Q5705928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$9D3B4D2C-300D-46A1-AB39-8C10A74C54B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$7B13549F-17D9-4AEC-AA89-ABEA7854201D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$CDD9A4AD-2FAE-4608-A03F-2E8A71481908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$C7AA53C9-F68A-42B7-8FB5-BE34933A11BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8ef28bcf51674260dd544ebce8e766a1edae1d","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$6EA18988-EED7-4BEA-8F03-1DCF308E4004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$9C12E6F7-275F-400A-95B1-3964A352468F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d142d027fa5b4b5d95a0df8665b187ce381c9e","datavalue":{"value":{"entity-type":"item","numeric-id":3569272,"id":"Q3569272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$BAD6B490-E57E-4328-953E-0FE212E595F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b1e1da0a3318a7110a836970c5337698e61f94","datavalue":{"value":{"entity-type":"item","numeric-id":3643126,"id":"Q3643126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$D7972678-1821-4D0E-B09F-5233C8B2F687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a472819285016fb37c79cfbed97c522afb27fb","datavalue":{"value":{"entity-type":"item","numeric-id":4955353,"id":"Q4955353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692903$D5CD4FD9-D9E9-4B8A-BF79-72A98CCF47C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dae3be9691261af2504422a608918fee13c6e68f","datavalue":{"value":"10.1007/S00224-010-9311-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692903$0A935232-802A-4E9B-97F3-429B01CC8692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e23cbd462f091a9227defa983c4e5bab7e1af6","datavalue":{"value":{"entity-type":"item","numeric-id":3643126,"id":"Q3643126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec96ac286ad1ae0a7314edca1738f90ddac79c3","datavalue":{"value":{"amount":"+0.999060034751892","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":"Q692903$7350EBA4-A4ED-468E-B1D5-5955B82D9C7D","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":"d501d811d3b6dff5bac01fc1e8d27be6d27166ac","datavalue":{"value":{"amount":"+0.865273118019104","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":"Q692903$4ADA01FE-87B6-46EA-AB64-5D3C640D1D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf392cc66de9668701540ab6fc6d3c9197b2134","datavalue":{"value":{"entity-type":"item","numeric-id":5705928,"id":"Q5705928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1c3f6526bf30b36e5435eae6b1c7f3f5584fa4","datavalue":{"value":{"amount":"+0.8595897555351257","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":"Q692903$8A290123-E2D1-4B01-9314-5754C84FCACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7f1ddcf06b63da5c1e2e86e7f4e87f77738663","datavalue":{"value":{"entity-type":"item","numeric-id":4418672,"id":"Q4418672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2397b10c2716e3799c95f5f7d79c436be86abe9e","datavalue":{"value":{"amount":"+0.8421552777290344","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":"Q692903$C99A5FCC-3763-4B1E-97DB-580B4072AFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca5a4f18a59d4d4d18cfff9e925df9ca360218e","datavalue":{"value":{"entity-type":"item","numeric-id":4799291,"id":"Q4799291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d03ff10780109088f6d59b28fecd4e2c25034092","datavalue":{"value":{"amount":"+0.8321308493614197","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":"Q692903$56D7D471-E803-48F6-B42B-76DEF9387DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of circumscriptive inference in Post's lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_circumscriptive_inference_in_Post%27s_lattice"}}}}}