{"entities":{"Q2339598":{"pageid":2350341,"ns":120,"title":"Item:Q2339598","lastrevid":52237982,"modified":"2026-01-21T05:40:01Z","type":"item","id":"Q2339598","labels":{"en":{"language":"en","value":"The complexity of primal logic with disjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6422534"}},"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":"Q2339598$B5A9ED31-0452-4B88-A03E-6A7528D64A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b77013d1e5440c88c53129aff2094f9a8aaeeaf","datavalue":{"value":{"text":"The complexity of primal logic with disjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2339598$C60844D1-E17C-41BC-B08F-25B4152EE353","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34fd596836fe88d0668dfbebcbe2a1852644393e","datavalue":{"value":"1327.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$E01DFBFA-0EDD-4067-8CF0-FD488A025C22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dfdeb56cf3d41cf20626beaa7b0f54531fc3895","datavalue":{"value":{"entity-type":"item","numeric-id":2339597,"id":"Q2339597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$E8133BA0-681B-481C-902A-6DC321150D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$94ED3E47-E001-4134-A017-D9EB3A30695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b780da4526d88c8442978e29f2327f0e100a91fc","datavalue":{"value":{"entity-type":"item","numeric-id":329602,"id":"Q329602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$9A5DB4F1-1F38-4DBF-9071-AF39864A97EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$5AA07432-9AD6-4861-9751-48D3FE46F325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"752fd91ff3b844257b378fd86fffb800f549bbdd","datavalue":{"value":{"time":"+2015-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2339598$332E189E-1F9D-4FB6-9D26-423A6C9C586D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$286EB940-BC32-49A8-8F01-4F7790E4E92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$5980E82C-638E-4F6F-AEA2-F4120864930D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$827435E5-E68C-4ADA-BE8A-ACDD0041D44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$29D17B2D-EE20-4B29-BCBA-945B6775F203","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f598dc316485f5e4ad6a1aabc5c4c101ed28c187","datavalue":{"value":"6422534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$19F0AE79-9BBD-472C-808D-646F592ADB8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339598$C7D3401A-9A5F-4BF3-99FD-03B02AC6EFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339598$EE1CAE2E-65A7-4394-BDAD-5C52A65EA83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c70be80e56db460797906fd16d7de17f240d7f","datavalue":{"value":"primal logic with disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339598$AC3B403F-499A-4309-8B98-1B4844B2DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339598$D3BF1C8B-650F-4D7F-A336-E16EEB545512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b2054e1487288eb693645e354fc29a301663ea","datavalue":{"value":"quasi-Boolean semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339598$D5FED538-E3FE-4097-BA60-18300A76EEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2339598$94ABEB69-FA7C-4D80-8006-636DA4EA1073","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c652c0e0b343ca8ddf78ca267401489e0159b6","datavalue":{"value":{"entity-type":"item","numeric-id":31916,"id":"Q31916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$F3342578-ECFB-4E9D-9982-562A8173448C","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":"Q2339598$C64A4D7C-77D2-4BC4-BFD1-93359026CC56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08ebc14dcf3b5e23d83867f2e24270580b1f03e8","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2015.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2339598$B4F82E85-A7A1-4EE0-9B13-710173C62412","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25111adbf6ee3273cb2e7a1c49b6c1b41ebf78ff","datavalue":{"value":"W1965384668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$ADD6C74A-C653-4665-939A-5D6D6A270A10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f736763f9b8cfd359627a27ea17992bb6a6a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$48A88B24-90EC-4E32-B3C0-CFBFD190B271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef13e4b14d801298db0c9a232f5e54407fc6099","datavalue":{"value":{"entity-type":"item","numeric-id":5406129,"id":"Q5406129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$5475A173-8593-4496-8C26-06C60DF5F29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c153a0530ba535c867bf275e826325b051c371db","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$FE870708-7FAA-4CF7-82EA-007B4B7B99F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496e76b4f63d2888b796ea80ce87d3473f19e39","datavalue":{"value":{"entity-type":"item","numeric-id":475340,"id":"Q475340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$57B2FFC3-6A7F-44A3-ABB5-9BB4B89BFF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd043fd3c0b979d71c6d7f05c7c16f729049c727","datavalue":{"value":{"entity-type":"item","numeric-id":2887060,"id":"Q2887060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2339598$6D7FF1A4-76BA-4602-B6FA-5D6C54D2ABB1","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":"Q2339598$47ED6893-9EF4-491C-9A97-309F1204649C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9f795db4ca99933a6c1ad0fb7193c8180eac54b","datavalue":{"value":"10.1016/J.IPL.2015.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2339598$4E8D9BFB-753C-472D-AEDF-AED03F03CEA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28ad4646714ea7c16f8a52ac6fa5608c750339a","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67e12cd51f150082e4e32b28d938b2275500579","datavalue":{"value":{"amount":"+0.7477940917015076","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":"Q2339598$E3198FAC-B901-4312-8256-D77B15B394C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c9d532a78e12ac8859a04013deff4858a4010","datavalue":{"value":{"entity-type":"item","numeric-id":4467744,"id":"Q4467744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b0edd4af7638c6e6dfc602c6af932dbf7cb061","datavalue":{"value":{"amount":"+0.7426719069480896","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":"Q2339598$439C98A3-27BF-4FB1-BE98-7DB62D5DE9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c210dd45d6e56e1f03f39d70519bc464a689fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5406129,"id":"Q5406129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc346bfc7f6d48dba9341d84c376135baafc722c","datavalue":{"value":{"amount":"+0.7379438281059265","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":"Q2339598$E0C7D9F9-BBC1-46B7-AB92-447A0CBCA38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccec06a193bd2266487682d8a3d6e97a5e1474c","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db78de97f67bfb53410362617bc93fd715bec9a","datavalue":{"value":{"amount":"+0.7362603545188904","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":"Q2339598$F820DFAD-A027-436A-A3B2-48FCE0128926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828704dbb3aad678a8d8e1ea9a8dc1214123cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5277730,"id":"Q5277730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910b3a15f553307c696c56e8586065c0e68c8034","datavalue":{"value":{"amount":"+0.736260175704956","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":"Q2339598$89323D95-D189-4250-B8BD-0A9E92C1D537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2339598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2339598"}}}}}