{"entities":{"Q1783740":{"pageid":1794482,"ns":120,"title":"Item:Q1783740","lastrevid":72948237,"modified":"2026-04-14T08:57:00Z","type":"item","id":"Q1783740","labels":{"en":{"language":"en","value":"The complexity of satisfiability in non-iterated and iterated probabilistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6941242"}},"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":"Q1783740$12590D1B-A908-4307-90D0-0324F5949FB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02bf839ad90740a50242d280d12d5295c289d831","datavalue":{"value":{"text":"The complexity of satisfiability in non-iterated and iterated probabilistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1783740$A819B74A-4303-4C7D-8874-682C95A470B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2534f71efc2ec7c58d9561205aeaf19fbb8df8a","datavalue":{"value":"1459.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$F49DE17C-9F7B-4F25-AC12-764BA4373741","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8b4228269fdecc8ff7e25ad249ffb44a83e7d47","datavalue":{"value":{"entity-type":"item","numeric-id":1783739,"id":"Q1783739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$6B7BA2F6-4D68-46E3-94ED-F1537BC6F3A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$C8B25B61-8E31-452F-9F1E-F59457CA569A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c87e4cbf15b9c83a8593d4bc1a20c0eb35440d26","datavalue":{"value":{"time":"+2018-09-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":"Q1783740$8920A564-94F4-4977-9619-16E7B69E47DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf1237e4c9828e90d1655b5b2eab2d10c63ec166","datavalue":{"value":"https://arxiv.org/abs/1712.00810","type":"string"},"datatype":"url"},"type":"statement","id":"Q1783740$3D34A703-711E-400D-9836-67AD52BD2979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$67C075E5-4807-48D0-9C2A-D787B4D1E04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$4F8A582B-392C-4B88-AEF3-D6A248CE1909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$7459D529-944A-4671-94D3-6504DF8D8107","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c717b0547043c786ea7ea63c59c0d4d24e6ffed","datavalue":{"value":"6941242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$A9B80F58-AAD2-42CB-9BD0-06C383B1BECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783740$A779F016-A56F-4DE6-93AD-6C0DE6BAA3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783740$2A94ECD7-3E81-4DF9-894A-7AF4854281C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783740$6B50BCF1-4401-4E25-B8FD-FEF7B70F38A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1783740$67478EB9-0FA7-487F-AD59-BEA959C66CB5","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":"Q1783740$16597A95-526C-45B3-94A8-9F12B7006E27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5735da7314afde9e0c47858d1b193fd6bdafd4e6","datavalue":{"value":"W3099252540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$4ECF75D0-1256-444A-8BF0-C819F86B5ED1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42af17d4350e2a0f945ece594ed16589983fa33","datavalue":{"value":{"entity-type":"item","numeric-id":3194706,"id":"Q3194706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$921B9B2E-056E-43AE-A1ED-F865995657B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$DDD1AC7E-2ECA-40B6-9E6E-B2B457AE65DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16cc9c52a2ae689750a2225b6b0cec9a670e27d","datavalue":{"value":{"entity-type":"item","numeric-id":4795396,"id":"Q4795396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$22CAF719-1C0F-47F0-8E6C-C29C5030E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$17E3B2C0-67EA-4430-8BC2-727FC0C0727E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4bd04b587c0758390f2e0ced121ecf83881a76","datavalue":{"value":{"entity-type":"item","numeric-id":3323698,"id":"Q3323698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$84347EDE-CA83-4DF1-8C1B-946E2013ADC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb75d452b814e1d736378adf1fca3cecf6a8cbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3673105,"id":"Q3673105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$3659A741-4E9F-47F5-A348-D180CF8460A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b89614af00bed4f96a6581d849d56f2d25f687","datavalue":{"value":{"entity-type":"item","numeric-id":1583250,"id":"Q1583250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$F839D027-0820-4CB7-AF03-AA0AB06BD56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4940a5c8bacffcc4a0546f4ddcaab1553ab5cce","datavalue":{"value":{"entity-type":"item","numeric-id":4299011,"id":"Q4299011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$5D0D9A9E-B790-4E08-8CBA-2DFC33A39CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$23A29013-16BD-4BC5-ACEB-D349D90C5377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$52C57A1E-07F6-4762-B4D6-0B553F1C469A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$D06753D6-B45A-4D8D-BF31-87201EC88CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b86da6901907b4b60c4d755cbdefb3d87af7f5","datavalue":{"value":{"entity-type":"item","numeric-id":761967,"id":"Q761967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$D7BFA651-833D-4E44-9D05-5937855527FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfedd2c761b3fb7576c08b264508fc6ee6706256","datavalue":{"value":{"entity-type":"item","numeric-id":3856756,"id":"Q3856756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$55719486-A9ED-498D-8339-84E97C2A55FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfe464215e45102ed9795493a39f607f352e2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2807085,"id":"Q2807085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$61E52616-996D-4981-AAFF-A0F1ED7DAFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc663d8f356b2d777028d1eef8411a8c764ccb7d","datavalue":{"value":{"entity-type":"item","numeric-id":4644527,"id":"Q4644527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$C1704394-997A-4711-B9B1-3CBECEF2FE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552a61ce40b674954fce3b3cec15700430f99785","datavalue":{"value":{"entity-type":"item","numeric-id":5283426,"id":"Q5283426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$8989D29F-F25C-4415-9DA8-9E2304AA1023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fe320a8e2945a982156f6d4f3d5b1f2e3ba92e","datavalue":{"value":{"entity-type":"item","numeric-id":2753686,"id":"Q2753686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$A9E0CE96-AEC6-4BBA-8083-6017E5DA72A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a1ebe3ea4f17fe38dbf72fbad328d4f878f48","datavalue":{"value":{"entity-type":"item","numeric-id":5419893,"id":"Q5419893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$74CC8686-9037-434A-870A-342490B19732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$787CFD43-F886-485C-B8FA-C387D7F85881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$ABCB28A2-EE50-4130-B6A4-D681AD65B25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa412e33f39e5ffe362a3975f5bb22736868421","datavalue":{"value":{"entity-type":"item","numeric-id":3069416,"id":"Q3069416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$4D68DBD4-6DB7-440F-A30F-044A83C63318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c396ac7edac0b9eaff082788af12d8960d1331a","datavalue":{"value":{"entity-type":"item","numeric-id":2832982,"id":"Q2832982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$1897CEBC-6A52-40F2-A24D-44F41582BE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a17deaa853d50d6ed8fe762b04109c738830727","datavalue":{"value":{"entity-type":"item","numeric-id":1679821,"id":"Q1679821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$CEF59AAB-8012-4B81-A9E6-C757C94F035D","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":"Q1783740$6EDD5B16-DD17-44AA-BDB5-F6890427A624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11b84dc227737a49d44351c1d031bfc5c62a407","datavalue":{"value":{"entity-type":"item","numeric-id":2379314,"id":"Q2379314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1783740$86EEC4A9-3E02-4EBA-AD0A-98F83073288E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a6706649fef4d254e25be413b7cbc5f9755c6b0","datavalue":{"value":"10.1007/S10472-018-9593-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1783740$FBA2C4DC-1004-4897-BE41-8EEE78EF8221","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce579f4b5ea11dbb3fe835e5146036536e639f7","datavalue":{"value":{"entity-type":"item","numeric-id":2807085,"id":"Q2807085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d752dc23ac760f7c12cca5d28e7f1df74ed9ef5","datavalue":{"value":{"amount":"+0.8305942416191101","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":"Q1783740$EA02F90F-5733-4F7E-B9B9-FBE558EB3E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f974ee25121cabea95a5dae0f219b36afac7ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2169137,"id":"Q2169137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd19688c5f88f2c43bce9f61fb1d424901fda069","datavalue":{"value":{"amount":"+0.769130289554596","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":"Q1783740$D0DC6C82-BC63-4612-856D-FE3D650AACCC","rank":"normal"},{"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":"a6ff39ba420e54f8888488f0f9c59bf0007660e6","datavalue":{"value":{"amount":"+0.7599590420722961","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":"Q1783740$7B5B2F54-64D8-482A-904E-51EC0E8DACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41f1a17c84a20e42684c096b88b1ee9405cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":4635861,"id":"Q4635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90985edf7fffcf3664f6fc9e2f3a71e6f276416d","datavalue":{"value":{"amount":"+0.7581643462181091","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":"Q1783740$B0A9259A-910E-419B-ACCB-12DE8F9103EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of satisfiability in non-iterated and iterated probabilistic logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_satisfiability_in_non-iterated_and_iterated_probabilistic_logics"}}}}}