{"entities":{"Q3647260":{"pageid":5677166,"ns":120,"title":"Item:Q3647260","lastrevid":87564968,"modified":"2026-06-04T12:00:19Z","type":"item","id":"Q3647260","labels":{"en":{"language":"en","value":"BDD-based decision procedures for the modal logic K \u2605"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640538"}},"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":"Q3647260$02B6A91E-EDE4-47E8-B8FA-7D83381F8187","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1549946f248b2bf56bee15f66c5421e7a4cd0c0e","datavalue":{"value":{"text":"BDD-based decision procedures for the modal logic K \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647260$7F66C7CD-FDCF-4B05-ABB6-32CBA4F58E51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50861b0e96f294c552a12d182a5f8a4b553e5d47","datavalue":{"value":"1184.68466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$0B3CB511-49A7-4C67-A58B-F609DD8750B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b0956e5a041aa7d158d7ea12f83ea51b059dc5","datavalue":{"value":{"entity-type":"item","numeric-id":862402,"id":"Q862402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$33D7498F-DF0E-4241-808D-FF444F573B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faba8a041f2410cf65e45e40a1807e773a945b14","datavalue":{"value":{"entity-type":"item","numeric-id":229742,"id":"Q229742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$BB193197-472F-479B-90E8-6FB842090C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$7B454682-7539-4D2F-8336-288839C16946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$B4483C89-3EAB-4FC2-9B83-DE1C9BE7A169","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647260$553F3FB7-5EDB-44BE-A5F9-6DC466544665","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$876F395B-C041-4BDF-BE9E-89BB940EC37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$1C6F33C2-2167-4940-8505-77B239536C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$0FE91471-DA85-4E39-AC65-8C300CA9EE13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"280ce2cb913baea68d21d969d62e2f0be79596b2","datavalue":{"value":"5640538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$DEF07D66-F1EB-4640-96DD-2ECE3E2FD6A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647260$1789B27A-31C3-4ACA-939B-DF711826D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647260$0276579A-35E3-4CA4-A4BC-B9DE87A26CC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$016E59D0-659C-4DFB-B3AA-165E8F80C951","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":"Q3647260$320E0A68-0287-4CB1-9E57-4BD826CCF14E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc040009a937867bb165ef3fbd5e2bb54fe90e64","datavalue":{"value":"https://doi.org/10.3166/jancl.16.169-207","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647260$939BE4A9-5ECA-4B8C-9234-D3384957C4DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"884b7122fe0232da15c898089e8981132bb0b9a1","datavalue":{"value":"W2068815633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$AA7887C0-5A56-4B64-9C57-061FE9598D53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c10d78f61c35518c095f8a531c88c7ff985b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3934310,"id":"Q3934310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$A961572A-7E6F-4700-929B-780BB4F4B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$689C0E9B-14D6-4C01-B4D3-92D2E2682023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$AADE8235-934A-48A9-86A1-6BE319006AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$4CEEC8EC-5A25-4E7C-8DAA-D4B2C721159C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$25D1C518-13D0-4669-91D9-46248149BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$327C4424-4782-43B9-B44A-506D378C566A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$A7F037DE-7F0E-412A-B8B3-67646CF5282A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$CBC64E57-F933-45E6-8093-FA160B04C686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153ff2c071bc5db7ed2a4a4864b90953ca620982","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$0D519E86-6F8D-45FF-B91B-3879771220C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$97AC7450-750A-4616-B57D-3AEC67554283","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":"Q3647260$0B867D71-4ECA-4C11-8680-3EE28DE829F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75dcc66dd7c02761bfdae3bfb285783f55645057","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$F549DAF3-5F37-45C9-876D-8D7199CBE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$36502F85-FC8F-40B2-AAE7-22230CA695AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9261a3348a7aa56a81e4f27b8a3291f06f9ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1575658,"id":"Q1575658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$A31C338B-F9AA-4B08-A0B7-81978B0CC274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$BBEDC95A-FC56-4F71-B605-9AB44DD1B9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805c8734ffc56225e4fb20c7f5beb4f39e296d28","datavalue":{"value":{"entity-type":"item","numeric-id":1601839,"id":"Q1601839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$981677D6-246C-4C29-B8B2-EC1A8BD4891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647260$78BF5124-E863-48FD-9E44-675BF663B9E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0a68a9143e1c733801273a49bcab0f03110b582","datavalue":{"value":"10.3166/JANCL.16.169-207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647260$0E876A37-59B4-4882-AA14-B384794C70F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c92cc3d479dad88feaa8d38e78c26d0076be9c73","datavalue":{"value":{"entity-type":"item","numeric-id":4809040,"id":"Q4809040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cf46589660136cc52501ed037b4ff0701453b8","datavalue":{"value":{"amount":"+0.9390379","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":"Q3647260$935F0F85-D6A7-4873-832C-DC4CDCEE78C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961b0f31bd62392ce3a17b7af6f85a3593277879","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82854a386814937f31d6ff85b42276b14ab120bd","datavalue":{"value":{"amount":"+0.91714025","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":"Q3647260$DACCC069-67CD-4200-8B1B-008979114827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e4fe8f73ff191de4c3ed94d8eece7306d7ec7e","datavalue":{"value":{"entity-type":"item","numeric-id":1854375,"id":"Q1854375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d546c59312f9c640df46bcba23b2ecd67446940d","datavalue":{"value":{"amount":"+0.9064903","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":"Q3647260$D0B61183-8845-49B6-89F0-5989E17806E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4c62e68ccb0307640209b86213f3f8ab75e11e","datavalue":{"value":{"entity-type":"item","numeric-id":4209288,"id":"Q4209288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bac2ba690eb881aab1f149e390d769c495700bd","datavalue":{"value":{"amount":"+0.8830972","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":"Q3647260$33ED6FA6-E696-4B1C-8A0A-B37C5649166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7783d3fe08f9128cea025e4d30715bc5c394424a","datavalue":{"value":{"entity-type":"item","numeric-id":3000420,"id":"Q3000420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c418fb8d9fc0da357d5e402af93797ada8d047ad","datavalue":{"value":{"amount":"+0.8830319","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":"Q3647260$817F6ABD-4009-4716-9EC0-A5AA3718247A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd146705873f7f863f86a7136c0c2412692dcd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2953517,"id":"Q2953517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e101126373df9ded1e4805421a13185a559b0d","datavalue":{"value":{"amount":"+0.8815082","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":"Q3647260$0D0B72F9-41DC-42AB-A062-14F3F0D7C79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e310abea70f73e79039b5e1ede2952ded454c4","datavalue":{"value":{"entity-type":"item","numeric-id":2751043,"id":"Q2751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53b494a86919f6614290d12ccb54cf85438007f","datavalue":{"value":{"amount":"+0.8787807","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":"Q3647260$28256ABE-54E9-42F2-BC5C-0BF5C204B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0800ca8225f5e2f1c4ce81f2a76d643d123599a0","datavalue":{"value":{"entity-type":"item","numeric-id":5875443,"id":"Q5875443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb17b240162bd9bee46623d1c1d657105c76ead","datavalue":{"value":{"amount":"+0.8771715","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":"Q3647260$330E0F0D-4A50-4D9F-95AA-5BCF09B4ECF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c34fd35d00f388d0834e867f4d0b7353f27a4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a9fbddf35d05fbb77f58c167f07da205f1a13cf","datavalue":{"value":{"amount":"+0.8749711","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":"Q3647260$9C23037D-1376-4EF1-9FD5-11EA019E9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e741cc559adec9531f855368e6140ea351d684b","datavalue":{"value":{"entity-type":"item","numeric-id":3509051,"id":"Q3509051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb8b78a13db77c9ffc7c6e499cdabf9e8fcd5c7","datavalue":{"value":{"amount":"+0.8736907","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":"Q3647260$E0241CD0-06FC-4877-86F0-D9BA5BFEB487","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BDD-based decision procedures for the modal logic K \u2605","badges":[]}}}}}