{"entities":{"Q3549127":{"pageid":5579031,"ns":120,"title":"Item:Q3549127","lastrevid":50530664,"modified":"2026-01-14T07:40:25Z","type":"item","id":"Q3549127","labels":{"en":{"language":"en","value":"Proof-complexity results for nonmonotonic reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5456536"}},"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":"Q3549127$D458BA0E-A38F-4DF1-A2AA-FFE8CFD35F9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"328b1d5d890c6793d956234bb41359c6329af27f","datavalue":{"value":{"text":"Proof-complexity results for nonmonotonic reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3549127$FD5F85A7-40A3-4B29-A21F-80443DCE251A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a400350bd42d2f02b7afb2586b6dade0b5979396","datavalue":{"value":"1171.03319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549127$4DE45ECD-7679-44E5-9AE3-DE3CAF0C4AF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86073e397ff0f49c26e7510541d3f1e866393a40","datavalue":{"value":"10.1145/377978.377987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549127$1BCBF141-DE2B-440D-9FE4-1DF3F6C84577","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549127$2DD9BE04-0DBF-45AC-8D24-A1339566EF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549127$7C83CE52-F9DE-414C-B13B-FD3C4ABA1AE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549127$EB4E86C7-86CA-4897-9E7C-6D506E9495CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-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":"Q3549127$9ABCF939-588E-41E9-8054-B65AB5943E66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549127$7A7E1FB0-8D17-496D-BF2C-0D19461DBEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549127$B1A3E594-60EA-46D1-99FC-5A38AC56171E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e74989b643486eb78eab7b3866637544e03e17","datavalue":{"value":"5456536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549127$C683F88E-D4CD-4316-9ABF-73C621A74A6A","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":"Q3549127$F160DB6F-141B-46A3-9012-6F6671BA6974","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c541c12780da4673c33a74d5248dadc537e3fe20","datavalue":{"value":"https://doi.org/10.1145/377978.377987","type":"string"},"datatype":"url"},"type":"statement","id":"Q3549127$A1027BFF-888D-4CC1-A82F-0618C0216DB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07cfeb2d18764796a053eac03fa4df1ee2ac4ab5","datavalue":{"value":"W2044169892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549127$53287E7F-9FDB-489A-AB42-CD5DC55E4B87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc57a124127ad651cc132544e66751911d5a9d1","datavalue":{"value":{"entity-type":"item","numeric-id":4530461,"id":"Q4530461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c58827697849fe8d8e24321d06705c97a3bc62","datavalue":{"value":{"amount":"+0.9057917594909668","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":"Q3549127$93AD24BA-8F8B-4E53-AA18-88C07059C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d620046ef097b8df182f3c23f71f9cd8b1c8bc","datavalue":{"value":{"entity-type":"item","numeric-id":4275256,"id":"Q4275256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c58827697849fe8d8e24321d06705c97a3bc62","datavalue":{"value":{"amount":"+0.9057917594909668","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":"Q3549127$E91070ED-3654-495D-AAA5-4CD60F520CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db78fa8a84317cac9e20fc71df9235fdc678e943","datavalue":{"value":{"entity-type":"item","numeric-id":4881301,"id":"Q4881301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e11c8abe02b97e20d9b794daf75054d43e6dbf","datavalue":{"value":{"amount":"+0.8442800045013428","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":"Q3549127$BBF10F6A-7A0E-4EFB-BFA7-93E01F43C7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc430af3819509f8af41df6940546adb4b9d9959","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e11c8abe02b97e20d9b794daf75054d43e6dbf","datavalue":{"value":{"amount":"+0.8442800045013428","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":"Q3549127$E395D8EB-2FBE-417D-A61D-BF3DB60EBE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06394534ea31ba13ffef3460e18e300fe43168df","datavalue":{"value":{"entity-type":"item","numeric-id":1391905,"id":"Q1391905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7924814e2fccd6fe6c51f4c21eff705994fc9c","datavalue":{"value":{"amount":"+0.843563973903656","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":"Q3549127$DFA1EDEF-7997-473D-B5DD-3F5F8972D0DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3549127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3549127"}}}}}