{"entities":{"Q2735787":{"pageid":2746526,"ns":120,"title":"Item:Q2735787","lastrevid":82934672,"modified":"2026-05-06T22:27:40Z","type":"item","id":"Q2735787","labels":{"en":{"language":"en","value":"A decision procedure for von Wright's OBS-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1641281"}},"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":"Q2735787$34C85134-A89B-4573-BFD4-304E7E2AFC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7034e8ee10ac8f9d5d0d2e6644292f41975a27d6","datavalue":{"value":"0974.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735787$36BDC6F7-2673-4D35-B0D8-8CA53475AE82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a2d9da69dc8cceef7d98b94e9de670d2739006","datavalue":{"value":{"entity-type":"item","numeric-id":2735786,"id":"Q2735786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735787$A8B42CE8-24A3-4A6D-95B5-39E962838D2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb0d8dbba3b369c80a2428e6e60e1d4a76d64f1","datavalue":{"value":{"time":"+2001-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2735787$C8247356-0952-4FDF-8B58-9E32E1AEE542","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735787$45AC8ADE-68FC-462E-A80C-4EB4FDE2690C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735787$2E2B3225-2E82-4E4E-AC17-65AB4D94CC23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19018ab3219d64c44e933d418fb908bdb7a8c55a","datavalue":{"value":"1641281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2735787$1E779373-2EA8-4ECB-9FC1-1B10D3E83730","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc92540a64df82dcf46c590b32c48c256814302","datavalue":{"value":"action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735787$9224D9BB-E554-4E1F-AC1B-A6612E00CC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735787$109010B4-9089-42C3-86CA-E53F0DBA5708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca46ed2a4183da4a7cbeee065083e9e1ac8baa34","datavalue":{"value":"OBS-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735787$26FF7AD0-9407-497C-B2A9-81272FE390EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735787$CE35C102-36E3-4CDC-B8A8-1F90AAD49C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffd37766974e1f01d93c44b79848c86031fc34d","datavalue":{"value":"possible-worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2735787$0E25BDC6-B286-43BD-B88D-D55B2DE065FF","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":"Q2735787$23366A9E-682F-4467-ACF1-4DABFBF19918","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd23a117cd7276bd65491167399681b38f1d11d9","datavalue":{"value":{"entity-type":"item","numeric-id":3677736,"id":"Q3677736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f846ce86aec19c1172fe4f318e54439ed3f0d4","datavalue":{"value":{"amount":"+0.8372763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$73707D70-F88C-4320-BCB2-D16F75C6532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a354181deeec5f52234110f8c3528a0d5adacc15","datavalue":{"value":{"entity-type":"item","numeric-id":3580663,"id":"Q3580663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43c4a72e450ccc37b0b56b2e11361827d0ea4e6","datavalue":{"value":{"amount":"+0.8265727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$87E9FD1A-1197-43A2-AF9D-B791DAB6A938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6572c5b3e5378a8af5787b70841d820596a68db7","datavalue":{"value":{"entity-type":"item","numeric-id":5520635,"id":"Q5520635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b29f7abf158be2912b09554ff8fe3b65178ef9","datavalue":{"value":{"amount":"+0.8233936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$783CDA45-65D9-4AC1-9916-0053116C2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badad16b912358ed5c7f9f4271c93e8436e2ffb8","datavalue":{"value":{"entity-type":"item","numeric-id":5705930,"id":"Q5705930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"197aec69dae99efe23243c23988c47b31b6bcd03","datavalue":{"value":{"amount":"+0.82264876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$B9738166-366B-4DD7-AAB7-2D0928ED1FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af9185ce1157a9b6c2c47ddb6283a7380987b49","datavalue":{"value":{"entity-type":"item","numeric-id":5692428,"id":"Q5692428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4aa1bdffa727f2c5a0ced6b0c98322e9665b5b4","datavalue":{"value":{"amount":"+0.82073545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$73F097CA-582D-43D8-81EB-606EAB293E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac1d76b40a96cc2e1d4b76b743c86c899826733","datavalue":{"value":{"entity-type":"item","numeric-id":3608422,"id":"Q3608422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea428574feb4f96dcff06002d4fcc214e516c417","datavalue":{"value":{"amount":"+0.8191776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$0BEDC84C-0A4E-4B09-85BF-EF7591F250B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd6dcaa96e193212c30322bf6b361af6d947756","datavalue":{"value":{"entity-type":"item","numeric-id":3305556,"id":"Q3305556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3775d50a253f48c3843d5f2de64e90979904089b","datavalue":{"value":{"amount":"+0.8157425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$03860BB9-1B4D-407E-8097-18765A4E7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f910e5d01835760396bec66fa55d67356d2c2f48","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd2c300144bcd255cb8effea277b69ab988f2c9","datavalue":{"value":{"amount":"+0.8128591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$5A4D563B-FDAE-41D1-AA7D-18623DF0FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2752909a0694bec9725b79f92a90955a7bb89a","datavalue":{"value":{"entity-type":"item","numeric-id":3470007,"id":"Q3470007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a082f9471dc120fd767166d2d1485d9a97106258","datavalue":{"value":{"amount":"+0.8093983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$F2D050B0-20FE-4E41-BF7E-78088DF54F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fa58d2ca97e0eb245fbc94019da0ce6de22ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3647218,"id":"Q3647218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5cfc2f82e607638d9dfa9d4169afc47cd46cdd","datavalue":{"value":{"amount":"+0.8052852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2735787$6F3B6E33-E745-4B5B-B68B-F3B6368839D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bfdaebd235a11ccb99e904fc5495db30a100812","datavalue":{"value":{"text":"A decision procedure for von Wright's OBS-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2735787$085399EC-456F-4A15-BC57-97F08B716D36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e564427b46103c49785239499fd2430e05e2677","datavalue":{"value":{"entity-type":"item","numeric-id":6601601,"id":"Q6601601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2735787$9969A984-66DE-4ED9-887E-E239C5E5EB38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure for von Wright's OBS-calculus","badges":[]}}}}}