{"entities":{"Q861253":{"pageid":863101,"ns":120,"title":"Item:Q861253","lastrevid":64903089,"modified":"2026-04-11T22:59:59Z","type":"item","id":"Q861253","labels":{"en":{"language":"en","value":"Reasoning under minimal upper bounds in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083777"}},"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":"Q861253$EAC7474A-337A-473C-BC4A-C0F5A1AFC375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99ca53c5ba28a0277077ff4be713f4b9c944701c","datavalue":{"value":{"text":"Reasoning under minimal upper bounds in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861253$F7CE0A47-E936-4FB8-A082-D3167F42CF1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cde780d8f1bdd3a0ecf542f09e7916f8a0fb0a6","datavalue":{"value":"1142.68532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$2776351B-1FE9-4541-9EFB-8F792BF61675","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$743F4FD5-6E6A-4423-A2ED-12322FB172EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$EA975296-D42E-4AD4-BD48-412D3FA61D7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$F6E48400-6810-49AA-A307-ED11BCAEF2C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861253$3D411854-2875-4ABE-B73E-6765C37AE14C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$CAEBB285-4183-4057-98EC-21C78903B9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$93296080-960A-4F1A-B3CC-2A39A9B73B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$7B62920A-CEA3-4F62-A40A-6DF0A91008BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$926966F5-7752-4639-BDD6-148803553417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9f84229662348e13f19a53c3ae82bd3ce3936bf","datavalue":{"value":"5083777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$8056BF85-2126-4E06-A4AB-4CEEBCC47F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$D53D91ED-1B9A-4BE3-841F-79B1B647B525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$3D94AFF5-28A3-46FB-A2E7-0B42A67CBCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$1F8D5070-4C10-493A-B0C6-25C282E2B016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e0321bfdf6a9ef714b4a608085f69482d45d09","datavalue":{"value":"curbing","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$80B2E5DC-7AB6-468C-ACAD-C3CCBDF48740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$8146D195-FBE0-4C4D-9EF1-23CC74B51204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$9405E221-93D4-487D-9450-9F093FBC29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$005D8AFE-EE05-449C-9633-A706424F92B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q861253$E98AFB45-56CC-490C-99B1-BD9AFB40C87F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$17C54113-0BFD-46B0-A806-F9EA2C22714F","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":"Q861253$14CEA8ED-997E-48E9-BCAB-C108E0C77CCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb698d4c2ab24563617c87fd966498373dc2803d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.07.054","type":"string"},"datatype":"url"},"type":"statement","id":"Q861253$C5643F59-CCE7-45F9-9040-56222992428F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd61ca8d649bc73b81a8ce84fe756f9b22c9b826","datavalue":{"value":"W2108315311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$E0CC76C9-5ED3-4F5D-A0AD-63FF5C3BB5FB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"59c971449c263bc527ac4d6888d06f928ecbd0e2","datavalue":{"value":"Q59259664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$8BF5652C-59C3-4506-BDBF-EE7D4A4511F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$03C4E8FB-846D-418D-A7D5-CB6390CC280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a13a137dcc0c226fa18006dd99a138415b1f359","datavalue":{"value":{"entity-type":"item","numeric-id":4798018,"id":"Q4798018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$C18825FE-9F80-4314-B115-1C06A0619FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02122c8f8d5caf7a3d959a7787e0e2f3bf93682e","datavalue":{"value":{"entity-type":"item","numeric-id":1127346,"id":"Q1127346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$A486158F-1911-409D-A101-52F9B5F963D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffd1257e96b98c19589d75987e49fbf2571fbb1","datavalue":{"value":{"entity-type":"item","numeric-id":2457647,"id":"Q2457647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$6BF7FE83-41F5-4017-95F5-356BB011405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38e40dec6597c15ac62326361499b102c89d160","datavalue":{"value":{"entity-type":"item","numeric-id":1909601,"id":"Q1909601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$4180B708-20B4-487C-B9C9-3964D45DF47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6480e2a885f5d2e73184cc8bbed4b0ea103f0249","datavalue":{"value":{"entity-type":"item","numeric-id":4645233,"id":"Q4645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$0983E2CC-CBF5-4907-80F0-69494409C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d93864aec7824361eaf84afd94a1a6d700ad7bf","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$D17FDD6F-40EA-4A93-8D91-E761EE381F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96b333767568000a392c312f627094c3ca3f71e","datavalue":{"value":{"entity-type":"item","numeric-id":4506459,"id":"Q4506459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$5171EB75-81F5-4147-AC0A-94642E10A325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c525520a6bf0f7f0d8e71e0ad34451f4a29183","datavalue":{"value":{"entity-type":"item","numeric-id":5277721,"id":"Q5277721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$C655D0A3-5853-417E-8BBD-99D656B7149D","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":"Q861253$F773E01C-3F5C-4476-A9E9-E86D61983D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$581184B9-382C-4869-B462-9E639A10666D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1956d0a9d511f71b2aae1e995b069b2a11a03174","datavalue":{"value":{"entity-type":"item","numeric-id":4225120,"id":"Q4225120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$5218C88E-8E5D-4012-83B1-0D97FE1E75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422338a2dfe752749b7dbb572234dd7473a7f248","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$7C96ACAB-F76D-46FA-ADE6-19FBF577E098","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":"Q861253$71C775F3-2FC3-494F-BB0E-DA67216EC89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$47315FB2-C409-407B-AFEC-E0313D3699AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d0ce180edbb97cc1789b3b469b1daebc156156","datavalue":{"value":{"entity-type":"item","numeric-id":2767002,"id":"Q2767002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$8B308065-4155-457A-A7D1-0EE90C2454EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf9194a9ba6cee011a2dd98df700a7e54b66569","datavalue":{"value":{"entity-type":"item","numeric-id":4692605,"id":"Q4692605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$01751C06-5363-429F-A3AE-10765A4B74A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$825B1467-DE2A-41D3-A89A-50F275EC860B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf5da9ad4a3e0fc0fae16500fe72d2ae1e786f9","datavalue":{"value":{"entity-type":"item","numeric-id":5394120,"id":"Q5394120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$D0C4D645-5E64-46E5-975A-2E70F4DBC37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb709cf21f038838c22dc9dd9d3c12ffeac725f","datavalue":{"value":{"entity-type":"item","numeric-id":5714770,"id":"Q5714770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$8341BC8A-AC12-48D7-88DF-FA2189072611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fd5454b827ca1cbdb74937a6133f2eae63666b","datavalue":{"value":{"entity-type":"item","numeric-id":1575185,"id":"Q1575185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$500EE4C0-4B02-4039-9FC5-C82D5566AAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$8F37746B-0CED-4021-BCA0-B81018F18621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"137039ebcc0f9101f0679089fc39db63c575223f","datavalue":{"value":{"entity-type":"item","numeric-id":1855215,"id":"Q1855215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$A793B0CE-B38F-4EBE-A714-91AFFB5E891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18205f0709736e6bacfff5e60b47c723ccab31cf","datavalue":{"value":{"entity-type":"item","numeric-id":4391449,"id":"Q4391449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$AA801C46-0B43-4776-94F5-31A409768814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$B95A23BB-0E83-4F41-8884-D62F3EBDA62A","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":"Q861253$D955CC4B-3F86-4805-8FB6-8FB5B33F5B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c292fb8a5bbc96f626940315ca6bd4437634adaa","datavalue":{"value":{"entity-type":"item","numeric-id":4707748,"id":"Q4707748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$E28F82E9-9C8B-4B88-9D8D-35DA1459F458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e359fe7160084f9475b6a146510d9131a9d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":1346715,"id":"Q1346715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$77AB776F-9593-4F3F-926B-9A6C3E23DBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf094e5acdb2735390bab0d7bc1af9fe86b667db","datavalue":{"value":{"entity-type":"item","numeric-id":4645243,"id":"Q4645243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$EEC8F9A7-54AA-41A2-AFF1-5DFCDA53A2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$661D57A8-728A-435D-9006-FFBF0F75D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75fa1aa534ac66ed4ad81bcb1cc66f1148035e6","datavalue":{"value":{"entity-type":"item","numeric-id":1114440,"id":"Q1114440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$D6FD1FF1-7D50-44C8-BDAF-20EED5CF0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"621fcb8c02b14bb00b576213ef17c6ad3df74ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5101461,"id":"Q5101461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$5CA63C97-9F20-4AB5-887A-79716674BEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$27998349-A3B5-4748-824F-5C50737B1245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6396bcebd9635c22d632c9c1cc90bc4f76e5154","datavalue":{"value":{"entity-type":"item","numeric-id":5313197,"id":"Q5313197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861253$37366CDA-EAB3-464F-8933-2EC568389997","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"670914691204c6e40f0d172425b97cea937efd23","datavalue":{"value":"10.1016/J.TCS.2006.07.054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861253$E25C13F8-24CD-41C0-ACF6-3222BF21F942","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ac419540327e39a051d4157f0e5a98184f27f7","datavalue":{"value":{"entity-type":"item","numeric-id":2767002,"id":"Q2767002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245383b2c666428f93de45137b267b28ec21f456","datavalue":{"value":{"amount":"+0.8210855722427368","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":"Q861253$F703E7DF-93E7-416E-A35C-18B8398F73B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59aedb7ae9b8cfef748ce97c028dffb28bedbf34","datavalue":{"value":{"entity-type":"item","numeric-id":4306224,"id":"Q4306224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7534f8602400ddc0cd2599e6e52f8bff544518d6","datavalue":{"value":{"amount":"+0.7424346208572388","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":"Q861253$B44CEDF6-DACC-46C2-8B58-CA92671DD362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542ddfc4951374b1f1381e0f0d68c0d8210b30c","datavalue":{"value":{"entity-type":"item","numeric-id":1391128,"id":"Q1391128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af2f1f8907bc31db244d5fd9d7003ca2d266aa0","datavalue":{"value":{"amount":"+0.7352487444877625","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":"Q861253$22542DA5-77CD-416A-AA7E-257FB3225178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8052d035c8e4728bae6a6352f5c139bf48fcd","datavalue":{"value":{"entity-type":"item","numeric-id":579240,"id":"Q579240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061f4c11548ad3518ff4a3357a98be4034e9e777","datavalue":{"value":{"amount":"+0.7352157235145569","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":"Q861253$3C934272-556C-4E13-AC2A-0858EB7834F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ebacd6b98ced5bc618fb55ec3ece4eedeca5a4","datavalue":{"value":{"entity-type":"item","numeric-id":672131,"id":"Q672131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9b639851580b93554fe7e725556227bd5cc6df","datavalue":{"value":{"amount":"+0.7317385077476501","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":"Q861253$5C51DADA-34ED-43EC-B47E-5CD8A3A0574A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning under minimal upper bounds in propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_under_minimal_upper_bounds_in_propositional_logic"}}}}}