{"entities":{"Q1045994":{"pageid":1047842,"ns":120,"title":"Item:Q1045994","lastrevid":66026934,"modified":"2026-04-12T07:02:27Z","type":"item","id":"Q1045994","labels":{"en":{"language":"en","value":"Encoding deductive argumentation in quantified Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650766"}},"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":"Q1045994$9DB3DEAB-4997-4CAB-8F37-7D67D8483D46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ff840d437d5decb0a7c2c46932e67661cc54ec","datavalue":{"value":{"text":"Encoding deductive argumentation in quantified Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1045994$0E45B97D-A594-47E2-A799-819CDB6A311A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8765f5c25e3bc438edb46f10793ea04cf1b061c","datavalue":{"value":"1185.68662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045994$E9752924-5331-436A-B189-F25DE54EAFEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"576144dafb0c852b74e4ef827bfd405fb08a037d","datavalue":{"value":{"entity-type":"item","numeric-id":997051,"id":"Q997051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$B0E568F0-3A6D-4382-85DD-F9C8C1758814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3864301cba9b10ac52129995b7fe437f7fb60c36","datavalue":{"value":{"entity-type":"item","numeric-id":324664,"id":"Q324664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$BAAAE956-8BB2-4B8B-AB71-E48A550459CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$32E60FFA-65F1-42AD-A325-E18E6F9DE7E8","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":"Q1045994$5A524C9C-F113-46B1-8AE8-8200CCDCBE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a849c3a99c8c9068dd180a3be275ca1cd1f4afdc","datavalue":{"value":{"time":"+2009-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1045994$F4D1D961-DC66-435D-AD63-A67ABC6E7D23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045994$47F8FBD2-4E51-4014-8F6A-D0AA2F8F0A9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"585b2e89aa6ec5d5de716102062bf86cce7d39f7","datavalue":{"value":"5650766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045994$9BDE2BED-F4F0-4517-B5E3-0399DB6DCC0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ddc487dacd8cba8f3542fa7213a0385b9830b91","datavalue":{"value":"argument systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045994$137CE3BB-9851-43DF-92D8-3155EE5D735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503bf0f226606aaefbf1cddd5b98073d7387e8e9","datavalue":{"value":"argumentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045994$779E8F2B-214A-4E39-94C7-73B6149F2145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045994$7E878D40-7A1B-48DE-9063-BF975420BBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045994$44CE2A47-7989-4C69-ACE9-75CE9F8D085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a17d9c20fe73a9246a43e2e469966c5ac1c3ce","datavalue":{"value":"quantified Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045994$BF481EE7-40E2-4C40-BB8F-F14F0183C1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e378290e76a1b87b4942e18af77cfda62959b499","datavalue":{"value":"conflicting knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045994$20AD3112-BB38-4A31-BB6E-C640EA3C19DB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03a0f4bab267ab726a9830d74a55988b4bc451c","datavalue":{"value":{"entity-type":"item","numeric-id":33887,"id":"Q33887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$D258B83E-B24A-4A72-BF84-6CF26E181759","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":"Q1045994$447950D1-E249-4303-AAE1-78B65A5056B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9fc671f2113bedb7250f536f300c96fdb7ab85c","datavalue":{"value":"https://doi.org/10.1016/j.artint.2009.06.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1045994$70720C96-35B4-4C74-A8B7-8B491FA12A71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53231fdb4a6860c2a8804545603514ae0889d090","datavalue":{"value":"W2051999406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045994$634462DB-51DD-44A7-98F8-84AE4511CBEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a285e1c10d6daedc2cc9f7b045273c3a3c22774","datavalue":{"value":{"entity-type":"item","numeric-id":1601892,"id":"Q1601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$24FC9FF3-41D3-46CC-BFFE-A4BF37D6612A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a065c7ec1eb8caa9515185963a36ad822918b8","datavalue":{"value":{"entity-type":"item","numeric-id":4808099,"id":"Q4808099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$BAB20B71-5BB6-4DFD-ABB3-91C9699F725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da606889c7b781872f7e488fe7ade2dd90bddc9a","datavalue":{"value":{"entity-type":"item","numeric-id":2171265,"id":"Q2171265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$69B19367-5AF1-4CC1-B963-E19CB84F8F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c0cf1e5ce5fdceccfab020b37354eccd4737b2","datavalue":{"value":{"entity-type":"item","numeric-id":1028943,"id":"Q1028943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$679C10E2-9B57-4118-9E3E-47104DD185B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84205aef9ad621a413bfdcc44370034c22da14d5","datavalue":{"value":{"entity-type":"item","numeric-id":3511268,"id":"Q3511268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$3D148D03-8938-4B35-A51C-98C028653759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76976b7b8d12e43bceb1d92eff4101267df29f65","datavalue":{"value":{"entity-type":"item","numeric-id":5941137,"id":"Q5941137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$1277C2A5-AA74-474C-A02B-EE0160DE43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f0e7cd88e4f53d92a14478df7f0faedba577b8","datavalue":{"value":{"entity-type":"item","numeric-id":4784873,"id":"Q4784873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$1FF880B7-16B9-4E53-87AA-BD3F613807AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285ed42edc96816350bfcbfe3e40c26401008f95","datavalue":{"value":{"entity-type":"item","numeric-id":4444966,"id":"Q4444966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$387E751D-A5CC-4E23-9B45-BFF8BA546D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$293AB817-7A6A-48DF-AF03-64B82ACF4297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a7e216f7aac7407ce3c53785099a89811e0e81","datavalue":{"value":{"entity-type":"item","numeric-id":2457643,"id":"Q2457643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$1C501D3F-06A1-4096-B71C-E007616DEFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f7f8ca49a6d52a4668a6a67afedd878b1b8495","datavalue":{"value":{"entity-type":"item","numeric-id":1852853,"id":"Q1852853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$F73D417B-C0D3-44C9-A43C-F3A12421AA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d403f34a9f749c87e50550a3831eaac529f59f4","datavalue":{"value":{"entity-type":"item","numeric-id":4557972,"id":"Q4557972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$8B959A8A-FB5F-447F-B728-A9CC02A8E73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f65a28832b90829d71bb0f46f16e1c96ca12ad","datavalue":{"value":{"entity-type":"item","numeric-id":5445306,"id":"Q5445306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$FA26FA53-C112-45A2-8B3D-6A590E1BE1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f297a16e97138f531f7e0337f2f2f3b501998d","datavalue":{"value":{"entity-type":"item","numeric-id":5325863,"id":"Q5325863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$57EBE512-05D5-4FB3-9601-DFE53102087B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0f9367fcada7729fe0f23d3b73250a0b1a897f","datavalue":{"value":{"entity-type":"item","numeric-id":1020501,"id":"Q1020501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$E1C5E5BA-79ED-45DC-98D4-A60F14F9E890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443abd205c633af6bf9d7270f54a9ff30c3e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$C7EB7097-F402-4F41-B5D2-F1E6260A01C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94714868e2346c217668da5cb7c6d7252f1db86c","datavalue":{"value":{"entity-type":"item","numeric-id":4819006,"id":"Q4819006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$C77898C3-7811-4D2C-908F-CFD0E00F6C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5793530ebdd1a4bf1b1d74bb4e1927346aa1e276","datavalue":{"value":{"entity-type":"item","numeric-id":4700098,"id":"Q4700098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$CCC5B7E0-0107-4834-991B-FF0D4C78925E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e70afc75614113fd909ab00f77eb42be8071853","datavalue":{"value":{"entity-type":"item","numeric-id":3429159,"id":"Q3429159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$89C22C0B-82C4-4DBE-BB6F-B4FF3C35B772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10d763dea31349f6ddcda9ba6d6b4d1fc6050f6","datavalue":{"value":{"entity-type":"item","numeric-id":4444965,"id":"Q4444965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$CCB7804F-71D3-4086-AB15-CC0CEAFF0358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f2dd65c2c506804dbf1ae981a1cd106ee4954d","datavalue":{"value":{"entity-type":"item","numeric-id":3128365,"id":"Q3128365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$7DD21142-F916-4E7E-AE4B-561FBCCF2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38bbebcaa9b77370514da270b20f72dcb4f7b55d","datavalue":{"value":{"entity-type":"item","numeric-id":4789446,"id":"Q4789446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$DF1C0D62-D1DB-487A-9187-F1F09752F284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3065df023fcb2411980df376c6fc4777f5d291a5","datavalue":{"value":{"entity-type":"item","numeric-id":1241440,"id":"Q1241440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045994$2775762F-2BE3-4827-8D8E-39C67EB3FACE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b877283c7029f0b2cc4c7c4766d67c1656623778","datavalue":{"value":"10.1016/J.ARTINT.2009.06.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045994$D95B7FF2-9FB7-4B04-8584-FF6B1B3A8619","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9246cfb3ff67f622541af90e89ae359f65037f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5445306,"id":"Q5445306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9059cdc69528cda3b3ede405b06dd8a859fe8b14","datavalue":{"value":{"amount":"+0.8337014317512512","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":"Q1045994$9C649FC9-8352-4F43-95C3-A64CFE41FF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edb9b7b023fd1bb24c694aa9348522ad9a321ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3638143,"id":"Q3638143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222d5547c1be61bf937778ac3efcacc8470be8dc","datavalue":{"value":{"amount":"+0.8158682584762573","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":"Q1045994$D8AAC8FB-8582-4A3D-84CB-8453E5E18FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d27fd16d02a401f59f991c6cd219ca0e570ab3","datavalue":{"value":{"entity-type":"item","numeric-id":2446545,"id":"Q2446545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d156e07cc1bcdcf08ca470271d1af3a006a60d8","datavalue":{"value":{"amount":"+0.7795543670654297","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":"Q1045994$BF325C6C-2456-4FD2-8459-B941DD80F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab489ee338b3898804ea7ee71a8f636daa3e9f0","datavalue":{"value":{"entity-type":"item","numeric-id":4930759,"id":"Q4930759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513883d5c88dd363d8498aaea4e6eaa2a35866cc","datavalue":{"value":{"amount":"+0.7746070027351379","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":"Q1045994$A92E7C70-7C7C-4EE1-8FEE-44C47730BF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ef30f50275f9c6a62df039e2f20f45d92fc0b","datavalue":{"value":{"entity-type":"item","numeric-id":648354,"id":"Q648354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce31c9001515ab99596c311ea605c6f614f24a38","datavalue":{"value":{"amount":"+0.7736315727233887","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":"Q1045994$4826EAD3-12A4-434C-9B97-EC2391B62FC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding deductive argumentation in quantified Boolean formulae","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_deductive_argumentation_in_quantified_Boolean_formulae"}}}}}