{"entities":{"Q5277783":{"pageid":7307358,"ns":120,"title":"Item:Q5277783","lastrevid":52850534,"modified":"2026-01-23T15:42:30Z","type":"item","id":"Q5277783","labels":{"en":{"language":"en","value":"Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744026"}},"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":"Q5277783$9ADFDBAB-1681-413B-A13F-DB8A10B33448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"282d5968f04fd0c20c030e7ad5b0195cdd803077","datavalue":{"value":{"text":"Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277783$B27F1C76-1EBF-490B-B94D-1D10C0DAE747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a689cfb7f25f6c1664db36af9d48cd0c868266b8","datavalue":{"value":"1367.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$72FF9D9C-8103-4DA5-9F76-8A00C8E46BC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41dbea0b0a478288e74059346af303797e95c94","datavalue":{"value":"10.1145/1243996.1244001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$06B8BA94-6A60-472F-95CB-0259E3251609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4246eab1adb041f023781618ea34cf444fa24b1","datavalue":{"value":{"entity-type":"item","numeric-id":541818,"id":"Q541818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277783$0EA3BC40-C619-4313-B4B1-326D0443A24E","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":"Q5277783$1001B88F-985A-4CD6-A4B7-55C9A21F237B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277783$3488A863-A08D-4DC3-AA6C-49F9FCF94F2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$80E9B32F-5443-4905-8855-42985B187E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$0C228C12-7F77-4099-9AC0-F4DCC0303BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$A46759E0-00C0-42A4-84F8-54C479954F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$B2FA282C-8EB7-433B-AB66-9DBEBE9A1959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5839960a29849deaf7eecb30a956d5bc86a8264","datavalue":{"value":"6744026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$5F294BFF-4D55-4CA6-BA74-56980D8C3665","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d92020af4ae81a90574a34cfbfbf9804bc1c3bb","datavalue":{"value":"paraconsistent reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277783$3AB25941-951B-4F95-A7A0-CC0352DDF5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277783$B55C85D8-CA93-4D5E-81CD-DCE6FCA48A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b16e93a0e2add8d2b56507e1c569ae094929ce3b","datavalue":{"value":"preferential semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277783$21157C71-0C9A-4050-AFA9-16CDFE5390FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a17d9c20fe73a9246a43e2e469966c5ac1c3ce","datavalue":{"value":"quantified Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277783$C34EDC16-CC9B-4FFF-9102-C68CB25BBD77","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":"Q5277783$F33DF26C-D2AC-4F27-BB5D-B51F5AC09F3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ce2eb9dd24218f201063df5064283e3e63792af","datavalue":{"value":"https://doi.org/10.1145/1243996.1244001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277783$8C53A2D6-8C0C-484B-9556-58C8056E3382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3987769c8dc254023b656006f3bc03d4bc10a684","datavalue":{"value":"W2085846695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277783$0DEC5326-4AEF-4381-9534-6C0BE744C40A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da965359797992f2da7032f2301e925b6c4cc4c","datavalue":{"value":{"entity-type":"item","numeric-id":5900655,"id":"Q5900655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a22385afbdeb95beedbcbbe8f81f9595a25a15","datavalue":{"value":{"amount":"+0.8321437239646912","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":"Q5277783$31EEA670-F510-4A64-B77A-334C6F922216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e06c12b985bec2fc0e80df2eea19e9275af66f3","datavalue":{"value":{"entity-type":"item","numeric-id":4708928,"id":"Q4708928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcc5df649456ed115211e135e2caa33ffc63813","datavalue":{"value":{"amount":"+0.8269809484481812","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":"Q5277783$0173877A-87B4-4E88-A235-98DDB25180A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea32d5d32ff577f2ebd3412ba0a9a4de55c046ec","datavalue":{"value":{"entity-type":"item","numeric-id":5464028,"id":"Q5464028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47873db37fc3cbd6fbddfc7a54045afd1153093","datavalue":{"value":{"amount":"+0.8200314044952393","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":"Q5277783$87D4479C-1189-40E7-958A-9DE1D18E1FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429e108c13199dc6f5f6825f15e8bdcbbd59f106","datavalue":{"value":{"entity-type":"item","numeric-id":4434614,"id":"Q4434614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a4c710e139229356d2da827a9bc24392156b37","datavalue":{"value":{"amount":"+0.7747911214828491","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":"Q5277783$74D10510-F391-4915-A48E-8994D0E2B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bd1887378f6b78cfd82c399db1c5ccf862271a","datavalue":{"value":{"entity-type":"item","numeric-id":5900654,"id":"Q5900654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee92eb228ad6cc2820893b3cd9a506136d85171b","datavalue":{"value":{"amount":"+0.7578214406967163","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":"Q5277783$24A9DF8F-58B7-459F-9B18-EE5416909864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277783"}}}}}