{"entities":{"Q1799080":{"pageid":1809822,"ns":120,"title":"Item:Q1799080","lastrevid":53239730,"modified":"2026-01-24T12:59:48Z","type":"item","id":"Q1799080","labels":{"en":{"language":"en","value":"Probably half true: probabilistic satisfiability over \u0141ukasiewicz infinitely-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958100"}},"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":"Q1799080$B877EBE3-7757-417E-BE84-631CAFBB93A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21ce33cf1693c736374a8449adb10c5cb9673f0","datavalue":{"value":{"text":"Probably half true: probabilistic satisfiability over \u0141ukasiewicz infinitely-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799080$4DB9A9CF-CAF1-4A24-9E60-6F2BC0EC9FC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10b36e0be7d5683ffda54fe055f2e7eed5aa8d12","datavalue":{"value":"1468.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$DB2CA5DA-711E-4999-A7F5-B8407656FE44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"498d172965c9d26dc02d0a692bae8eae25256df8","datavalue":{"value":"10.1007/978-3-319-94205-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$4D201DCE-2702-4537-A71B-2A59579A8D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799080$B92CFA2E-A1D1-4CC0-8D91-CD9BCAFB60A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0816d216dbc9a91e1da3c5a12751693bb6da7b22","datavalue":{"value":{"entity-type":"item","numeric-id":1799079,"id":"Q1799079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799080$FA5206BB-73B9-46D7-A31F-06B12F954A75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799080$200891CB-0635-40B7-A024-C3A9B18BB39E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$A875D866-27C4-4560-98FD-BA74039A229F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$0E87E5A2-7A11-429B-A93F-77A7710C41E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$910F68BA-82A3-45D2-BBF0-B675897395C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$D7DAE77B-3D8E-42DD-9CB1-8A9741137A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$842F468D-AB36-48E7-99E3-FFF95AFA3759","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bf45b80f1ec30e98c2f5d925e9b9c34b89334de","datavalue":{"value":"6958100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$5F644248-0032-4573-9FAE-4AFC7EA26C2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"afa1efbf5fa83f6b0781995fc0704cf1ab0142e7","datavalue":{"value":"Q117022075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$B19045DE-1CF7-474D-A30C-DF946EA0AB9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6663be921a3fe3b244879abf2c0c98e00d21e962","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799080$E5B8D59C-BD84-428D-9A08-8736C245CA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799080$DCEE08B7-C0BC-40FF-B5F9-F75B9322A09A","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":"Q1799080$7AA2DB75-9E28-455D-8D2D-DAA9066306A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09220a02c3c4933e2428ad2b01a2a5ac2f068ad0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799080$A3F4C40E-92C9-4A08-8933-A05A679C171C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75e51188e88b60b24e8381984137b6f41202b169","datavalue":{"value":"W2810505337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799080$660CBE07-AE36-4759-B63C-77F548EAC820","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f44ee2467f181929d105aca807c957fbc89930","datavalue":{"value":{"entity-type":"item","numeric-id":2209555,"id":"Q2209555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33ed3c8ac28db8d7e5b475bb3a383d179d86767","datavalue":{"value":{"amount":"+0.9719207286834716","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":"Q1799080$6DD33B7E-95FF-4C99-9C4A-70F977D3BEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e900a44931f284d3e249f97f635ae98c50bdd2","datavalue":{"value":{"entity-type":"item","numeric-id":2711325,"id":"Q2711325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81fe06acb719af92196e760c384781ba86f46c1","datavalue":{"value":{"amount":"+0.8101586699485779","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":"Q1799080$1C9BBDFB-2873-4D1C-881B-BAC3157270FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d3f4275cbc944e20433913463cfe62b490e705","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4317c05861a5e0fc61516bf1c796ddc6db4c47da","datavalue":{"value":{"amount":"+0.8051388263702393","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":"Q1799080$A1EE30CC-1800-43C1-8231-2E10BD8FAB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d8f0005bd239dca15c7977a3d150ff006b025","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1515a65f3124a4ebd208d31b9fc328701534d70","datavalue":{"value":{"amount":"+0.8039116859436035","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":"Q1799080$7A0ADB43-04A4-4E44-A5EB-3F27A953D87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fadfab16d6c52cf30226e875439bca63c6a5b2","datavalue":{"value":{"entity-type":"item","numeric-id":985139,"id":"Q985139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5bfc466eb668045e86dd9298f5e1157611b290","datavalue":{"value":{"amount":"+0.7955023050308228","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":"Q1799080$F1FCD60F-9764-4DEB-8730-C58801BF7D84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799080"}}}}}