{"entities":{"Q3643126":{"pageid":5673032,"ns":120,"title":"Item:Q3643126","lastrevid":49749619,"modified":"2026-01-10T05:16:32Z","type":"item","id":"Q3643126","labels":{"en":{"language":"en","value":"The Complexity of Circumscriptive Inference in Post\u2019s Lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5628755"}},"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":"Q3643126$2E5EE7E8-9BB8-41FE-A26E-04133EF0E8B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13964aba1413a54c17bd79b2520de6aa6485370f","datavalue":{"value":{"text":"The Complexity of Circumscriptive Inference in Post\u2019s Lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643126$38BAF944-85AF-4454-B2FF-ED420952B9D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1af809b17de85e34a1c083a0c7d765e373be9f86","datavalue":{"value":"1258.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$38C6F154-9022-46E5-A36B-A41B911511E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ecec66a47a4886232215b6f590a77f2f8ba0cac","datavalue":{"value":"10.1007/978-3-642-04238-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$CAF9420A-84A8-469C-800E-1F6CA503A615","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643126$E122D058-7ADE-42A2-9837-311D84E876A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"768f67aa8c56a592207b631de1166ee159c71adc","datavalue":{"value":{"time":"+2009-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643126$82EE7BFA-9B90-46EA-9CFE-5BB5155ED700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$09011B5F-A3F3-4C5C-9212-E3295F43B08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$FED04550-8254-487E-BFA9-8DCDC4A8F348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$BF3405C4-E3FC-450D-8962-ACDEB51D9B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$7CBA6C9A-47EC-45A4-B3DC-5BACD7C80567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$87C15DDE-AF13-4805-85A7-1C67E605EE85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28a6824d85615f77cfa16e8859e468075c8601b7","datavalue":{"value":"5628755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$D14CB4AD-E259-45CA-B274-E3E176ABD186","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":"Q3643126$A6EF5C2F-691C-4724-B8F8-79189227FE4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cd3c56b8ff7a0fa0d84bd781aa3ca6eecd8f9d0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04238-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643126$80F54D7F-CBB0-4D49-A5DE-F848073A8E7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c6f78518329fd896c0703ed2966260f5f4372af","datavalue":{"value":"W1536929732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643126$4AC1912D-D129-40B5-84A4-7FBA30C02C04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c47b8640ec7cc109f5496170ac8938300049e77","datavalue":{"value":{"entity-type":"item","numeric-id":692903,"id":"Q692903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q3643126$5D98326C-2DCD-4618-BE7B-F9CCE9E8DCE2","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":"be3b8e3e5b54583cbc933b8861e99501a3f72296","datavalue":{"value":{"amount":"+0.8687923","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":"Q3643126$585C226B-C27A-41A3-8A5D-75DF9F706BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed2ff61afd3ae163968251001b53b9e89beca20","datavalue":{"value":{"entity-type":"item","numeric-id":5246717,"id":"Q5246717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e863c4e09caca39ff3137e694484a0591ff8083a","datavalue":{"value":{"amount":"+0.8651647","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":"Q3643126$B921048A-B9F9-4470-8D27-0C533AF67F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a82741e0942e497d5c155aa2ed84ddb76e389b6","datavalue":{"value":{"entity-type":"item","numeric-id":963360,"id":"Q963360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8710cdafcb298d683680141dcee15a630169cfe5","datavalue":{"value":{"amount":"+0.865083","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":"Q3643126$C094CE3B-0128-4483-9261-51FF8B419B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567997adeb79521b33bad7cb9aa877cf2a61e8f4","datavalue":{"value":{"entity-type":"item","numeric-id":3192208,"id":"Q3192208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3655c58c4a91ee062832f6c83aca88b0f120cd0","datavalue":{"value":{"amount":"+0.86244315","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":"Q3643126$64D36F37-7001-461F-A82C-E38BEFE566D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd1e396d0a98e0e8a6a35165d5765cfe4a7a292","datavalue":{"value":{"entity-type":"item","numeric-id":3165755,"id":"Q3165755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00572ced87ed822b195870aaff8c6d2424fba03","datavalue":{"value":{"amount":"+0.8608009","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":"Q3643126$0A746685-A6B4-4351-876E-61762A1E052B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade071a4d36822f7adb330abf4e7a13331a4c75d","datavalue":{"value":{"entity-type":"item","numeric-id":3708789,"id":"Q3708789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e181d5c207310ab45978a7af2cfddccc8aa0a01","datavalue":{"value":{"amount":"+0.85959876","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":"Q3643126$98157E64-E92B-4E9F-A7B3-4E3F85B2E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cbca2eb5760fff4b1820999bdd8a76a6c0c159","datavalue":{"value":{"entity-type":"item","numeric-id":3793755,"id":"Q3793755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e181d5c207310ab45978a7af2cfddccc8aa0a01","datavalue":{"value":{"amount":"+0.85959876","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":"Q3643126$BAF05E69-B389-4226-850B-AD118AF4F68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bdb7e6be1348a1600ebcdd1613011f04c2521","datavalue":{"value":{"entity-type":"item","numeric-id":2345861,"id":"Q2345861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dea637a7e2b211b528393d58b26a2388aa8a51c","datavalue":{"value":{"amount":"+0.8590137","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":"Q3643126$5371045A-0392-46D0-9A56-79345C9577CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105af8cb64e4451ca7d10e039bf0654fd5b98f72","datavalue":{"value":{"entity-type":"item","numeric-id":5464030,"id":"Q5464030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c61a6fc19585a582d26d3a287097ab1284073b8","datavalue":{"value":{"amount":"+0.8564768","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":"Q3643126$20D5FE30-A50F-473E-BA46-340595B13BF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643126","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643126"}}}}}