{"entities":{"Q2349812":{"pageid":2360555,"ns":120,"title":"Item:Q2349812","lastrevid":43931403,"modified":"2025-11-17T17:41:23Z","type":"item","id":"Q2349812","labels":{"en":{"language":"en","value":"A subset-matching size-bounded cache for testing satisfiability in modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6446861"}},"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":"Q2349812$25107EA9-95E1-48E1-ACDE-80B69D705CFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787267ae7520ef3bc10b59fa40734be7ae9ec03d","datavalue":{"value":{"text":"A subset-matching size-bounded cache for testing satisfiability in modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2349812$3945FA63-06E6-4A36-931A-E24EFA99491F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19f9fa56d6f31144b911a771b3d79ab13d20dfea","datavalue":{"value":"1314.68279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$3ACEB4AC-B5CF-4A12-8B38-75A5A314EA49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfbec6a7e2ab17a4f8658d664265f84a1e1615bd","datavalue":{"value":"10.1023/A:1012380814999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$917E8D10-D9AA-4AB7-BB51-987B00B36E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbf1d9c0b0e83239511c911eb40c1e2a2b73d12","datavalue":{"value":{"entity-type":"item","numeric-id":414854,"id":"Q414854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349812$88C1DA53-4E49-4C76-A4BB-E814B9F6DE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349812$6C53E4C0-13E0-4276-B806-1481886DFC24","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":"Q2349812$12EB7819-B53C-4797-8B1D-4922F93443DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c92fe4975a3a4bbe64ba97c9e0188942b4ac2585","datavalue":{"value":{"time":"+2015-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2349812$5AE70FA5-BD34-48DE-80FF-D7CA6828D33B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$09E33729-D4FF-4230-80FA-8F7986D0DB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$C068DB95-1BC9-464B-A546-548E28B2337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$E3BE0C3A-2EAB-458E-BD08-7AA479DBA7B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff470f7bd4f8e91c9d0afe3e9f5a010d4bf8c6b","datavalue":{"value":"6446861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$33D0164D-8287-4C5B-AD36-468E5989B9BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349812$A0F4221A-4422-4ACA-BBED-4618F8533CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349812$790ED304-072E-4FB3-9AA6-A4D374810339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a7449f52f4c8a4d5a95ea76c3146f6ba09efb55","datavalue":{"value":"caching structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2349812$E0A96F65-1111-4E75-BDD8-7A4223FD42F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349812$DC8B013D-0E78-4DB3-A65A-AD168AD5767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd396a436a0a8d52490e1718a2ab404deb09e62f","datavalue":{"value":{"entity-type":"item","numeric-id":24296,"id":"Q24296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349812$8D7D6C4C-8B38-4821-8986-7DA22CFC95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2349812$AFA81308-5C23-444B-B6B4-68C884101717","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":"Q2349812$92645852-2D0E-472D-9D4A-061765BE03C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8642313dce672cfef6c47025ca44d2efe09e233b","datavalue":{"value":"https://doi.org/10.1023/a:1012380814999","type":"string"},"datatype":"url"},"type":"statement","id":"Q2349812$576F1297-1312-4DD1-8163-91ABB63EB903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05368a0a3c27ff14762be668414a8db599a3f68b","datavalue":{"value":"W1510946880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2349812$A89A0076-F248-477C-9190-CFFE12B34BE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e79a60ce9bc44bb9c1ce555f1cde52f2d03e9fd","datavalue":{"value":{"entity-type":"item","numeric-id":2721199,"id":"Q2721199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b18ca0f0d5ee8ee956c51b0dd832c92d52d232","datavalue":{"value":{"amount":"+0.98522866","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":"Q2349812$2AC671C9-FA04-4D52-B6FA-1D74DCEC59E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5892a9560b46512313a4b9bb581b8206488f506","datavalue":{"value":{"entity-type":"item","numeric-id":5465444,"id":"Q5465444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67bb267e67d74145db5d5637f0aea95111dbf98","datavalue":{"value":{"amount":"+0.86055964","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":"Q2349812$0967D464-50D3-4625-94A1-EA93FE7BA2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625a27eb172927f94786dd34b96bd201b46dd874","datavalue":{"value":{"entity-type":"item","numeric-id":3181647,"id":"Q3181647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c006b1e16f5d1213b759634b541f046255418836","datavalue":{"value":{"amount":"+0.8514336","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":"Q2349812$64D3D5AC-90BE-463C-8BCE-25862F5FC53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a6d991b50ee3cacf0f632a65fb75701662b114","datavalue":{"value":{"entity-type":"item","numeric-id":2405244,"id":"Q2405244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb6fbd516d9dc7171bd95e6c231865728957c9b","datavalue":{"value":{"amount":"+0.8514035","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":"Q2349812$E97E6716-7E33-45EF-85C2-9194EDC54A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353b46cb2a124cc2200384a940b087517c5b273c","datavalue":{"value":{"entity-type":"item","numeric-id":1037239,"id":"Q1037239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c873f2e2ba9b6c81d4c1c720ad399b9b4e00c3","datavalue":{"value":{"amount":"+0.84165794","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":"Q2349812$BBB7449A-7364-4A58-9E9D-3C6BA1544E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751303f41de905323f2f508e585e7ff39a5ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe381b181f890e11a06bbda8a89ab6444dadf6e3","datavalue":{"value":{"amount":"+0.84063125","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":"Q2349812$B3A4AC10-927C-41FD-90CF-EA36FF528C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff366016e8be56dd392eadc8d90a35d70f8b925","datavalue":{"value":{"entity-type":"item","numeric-id":5713723,"id":"Q5713723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b137a87839378e46c0f38c664c8d4de4d3580549","datavalue":{"value":{"amount":"+0.8403038","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":"Q2349812$023C6E61-C3A4-41ED-81A0-E4A2F389D4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4cbdb557cdc6aa052719c9d93053f09d703479","datavalue":{"value":{"amount":"+0.8397892","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":"Q2349812$D2B6149B-3E30-4FCB-A86A-F5C3F1598B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8af80161dc8c18c8bc8a8c02cd47c9c758f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":438578,"id":"Q438578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f5d76bee5f061747d510e13a8d01a7a49da06e","datavalue":{"value":{"amount":"+0.83921415","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":"Q2349812$B5BC57F7-C453-4628-AEB9-72210EDD0C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2349812","badges":[]}}}}}