{"entities":{"Q5224491":{"pageid":7254060,"ns":120,"title":"Item:Q5224491","lastrevid":53485862,"modified":"2026-01-25T01:04:36Z","type":"item","id":"Q5224491","labels":{"en":{"language":"en","value":"The complexity of finding read-once NAE-resolution refutations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084730"}},"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":"Q5224491$1C2A58A1-CDC9-4F0F-B04F-55AD7B673C79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee4ac4726bfc0bd2005d0d9db7baeace7a614c45","datavalue":{"value":{"text":"The Complexity of Finding Read-Once NAE-Resolution Refutations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224491$61BD6946-3C76-4A4A-AAC0-E66453AA9079","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8fd87561ea7719e35db11e8f8c10ff11d8bce09b","datavalue":{"value":"1483.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$00554626-9714-4F69-83F2-37B350224136","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a22e25e16b2577b927d5d18c15c362796df7fd9","datavalue":{"value":"10.1007/978-3-662-54069-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$9EFCFFFA-CFCF-4B28-BB7D-5B3077A220B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$FE5FCBDF-E49D-45EF-A8A9-EE5A8303190C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$ED412A85-A2A9-4116-9565-A33FCA29D8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$C1C27AB0-3B8D-41E4-A247-A99F73BB3BAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$A006C7B0-1B1A-45A7-9D82-78067B9BF293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224491$78F259A1-C8FB-49BA-9612-170E97D37B52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$21BBFC50-5CD2-4FE6-8727-790A68195B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$EC43B8FE-0107-4375-A7E1-4B9A6CFDA4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$B96A468B-4B3D-4291-A081-5414A8432416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$2F089928-5283-4870-9C6F-2982ED0AB883","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9283ef462f9fb8a9bc63bb48c3475110a6b8171d","datavalue":{"value":"7084730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$AD5A81AC-0113-4B32-B9B4-A1D533DB78D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c09e8c93b5f86baf1293276f6be69a7904954703","datavalue":{"value":"read-once","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224491$A49A8D1B-3EA0-437E-BFAE-3BD61EB6888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16c3541bb595567bceccf926921e4a19ecbf6575","datavalue":{"value":"NAE-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224491$B0DF8243-6F6F-4F70-8C51-D918BE37DB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224491$9D7109A1-EBBB-459C-8006-04870760E6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd64c159d60800d612e689928e67e1483e896fc","datavalue":{"value":"optimal-length refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224491$43B3B353-5FDB-4D0A-85A5-8C7A4B3C95AD","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":"Q5224491$2B935748-F361-4F08-9D44-71F5913D7F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"192eaad65d938d28543c3cc8cc2b7b47cdc7ddae","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54069-5_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224491$D8375DA4-0E4D-4849-B6E8-03956F8FAF46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6034559f45d337d396d7bbe860e83827193e2aa3","datavalue":{"value":"W2559110068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224491$4560CFC9-4AC5-42E7-B685-187609627012","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0086f5e874fe7e4f38ea6905507c6d71ae7ad220","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$EEF56D2F-CD8F-4039-A8C1-FD3204C6D4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822e3104d6a40cfdd4c15d4f4c0a6e67edb1c659","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$B4A70274-F06C-4C97-8EE6-24E526588A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$EB755370-E3A1-42CC-A292-9A83A1EF633B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$8A6A09FE-F0C4-45A5-9704-05A5E2EE32A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88bdb70cbebb3ad6ab4ebacfa820343cb3eb986","datavalue":{"value":{"entity-type":"item","numeric-id":2988835,"id":"Q2988835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$838FC8E7-BA12-4810-91EF-49542FE4D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070bcdc321023e903814ac9591b55c96fdaa88df","datavalue":{"value":{"entity-type":"item","numeric-id":3090774,"id":"Q3090774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$AB2B4927-38C8-46D1-9D57-19F729A62DDA","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":"Q5224491$EE6784CE-7066-48C9-9065-E85947B474B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$4B0D5A70-4C63-41F4-A7EA-176534DF8340","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":"Q5224491$5A725EF8-DB77-4F6E-AB84-7F96C7BC87D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd902b6160e42565c7d2c676094d64283d352a8","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224491$F20AE499-E8B8-4215-8A3D-F1D9035FCBD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63ea7173fc2509c64027945790286914d262661","datavalue":{"value":{"entity-type":"item","numeric-id":3386749,"id":"Q3386749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c09187323f364b98b76f34e91cd78258c65be3","datavalue":{"value":{"amount":"+0.95359605550766","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":"Q5224491$B33D28E1-1007-4437-88F7-B7B948708483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da7745af10aea54d82bc13dafd8acdcc1d756c0","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a434097a1cca4b8fd0185b8e8fc6d2f1476864a2","datavalue":{"value":{"amount":"+0.8357588648796082","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":"Q5224491$967C5BFA-8A93-41CE-9FB7-D54EDE51A1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbe819dacccc077b96f36df1997f67822da032d","datavalue":{"value":{"entity-type":"item","numeric-id":2075363,"id":"Q2075363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b2afbe61b17c11ff44043c41f45f0c49ea9906","datavalue":{"value":{"amount":"+0.8271768093109131","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":"Q5224491$B9E3ADBF-A032-4706-B6D1-8756F6D339F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b73f0bcd9d62fab9a89cd0539ba480246a9947","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d982323e533d1a6a62be0d7509e04d1a74b910af","datavalue":{"value":{"amount":"+0.8262723088264465","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":"Q5224491$EF7A3BF4-1EBE-4E9A-AA30-A4A8C0C45712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf5397941b8f8076f28ec9a6f693aa7470497c1","datavalue":{"value":{"entity-type":"item","numeric-id":2988835,"id":"Q2988835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000c82169315ac434b5c728dcf9d793d54f680fe","datavalue":{"value":{"amount":"+0.824873149394989","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":"Q5224491$3C7FDE73-315D-498E-900A-27431B287F99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224491"}}}}}