{"entities":{"Q3192204":{"pageid":3202912,"ns":120,"title":"Item:Q3192204","lastrevid":52096649,"modified":"2026-01-20T22:35:07Z","type":"item","id":"Q3192204","labels":{"en":{"language":"en","value":"Implementing tableau calculi using BDDs: BDDTab system description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348247"}},"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":"Q3192204$36598CF2-F627-4087-8F73-5F764A80F0F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7944153071c6fcf1f64f93d678c7f48aa468d38a","datavalue":{"value":{"text":"Implementing Tableau Calculi Using BDDs: BDDTab System Description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192204$318E253D-CC5F-420E-AF60-FB6140174275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cedd05639187dba19d4645ea11ffa92ef6396e84","datavalue":{"value":"1423.68416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$83A29446-786C-49B3-B885-33675B0B0BF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"432d7e81fb8edc3f9bc0eca0a4eb5ca69faeda41","datavalue":{"value":"10.1007/978-3-319-08587-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$C48CB42A-5AEC-4DC7-8EAC-0A49977789D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192204$5FB8A9F6-B2C7-411A-9AEF-5E8F9968F211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7741ec308ad4dfd48722886d8025bc3cdeed65eb","datavalue":{"value":{"entity-type":"item","numeric-id":3192203,"id":"Q3192203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192204$8B8AA675-2CE0-4420-9A4E-21B464015C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d62bf655cda2978b8793a93b841c891db2b4777","datavalue":{"value":{"entity-type":"item","numeric-id":2908500,"id":"Q2908500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192204$C311E904-70EA-4F66-BC55-F1D60FC197F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192204$2113D4B9-F415-48B8-8C69-A766D2759F70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192204$3604D7ED-A106-4504-9996-D075B871F0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$85BB39CF-F8E9-4139-A1C7-B79AD7A0A1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$EF9EBD46-2FEC-4B60-A56E-89EB5AE1D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$8D8419A4-8E25-4684-809C-C7CE96E0D01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$69810DAD-A3BF-4113-ADA7-9429B9F209E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fe939b4b1669378388a44d660e548f062aab6ea","datavalue":{"value":"6348247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$26AEA5F3-5955-410B-BD54-3E48E2EF70C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb92d35f2dc272884c7ca08d11b429f74a59468e","datavalue":{"value":{"entity-type":"item","numeric-id":44017,"id":"Q44017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192204$27FCAE69-A706-48C0-8C6A-F3931F954C1B","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":"Q3192204$58062C39-4743-4A79-8FCB-E9824338E5DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"417da557ae992ab7a7766f3cac149a1038c12c13","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192204$3096F358-56FC-4381-AA26-CF02F4CF4D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"909c4413f8d3ae98f98de0a84abe04e9e6dc34ac","datavalue":{"value":"W302791680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192204$3FF7443B-488D-4932-934F-D82FBCA42290","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a346a609ac5aaf9cd996606d65fd351fa8979a","datavalue":{"value":{"entity-type":"item","numeric-id":3647260,"id":"Q3647260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a92ce952d5958fc81c4d7cc2de6cefb330dcf40","datavalue":{"value":{"amount":"+0.8064833283424377","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":"Q3192204$C4A4FE66-F9F5-4EFC-A272-1F4FB08826DA","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":"10796a60cd8d00d793aadbe397f57c15cd1590cf","datavalue":{"value":{"amount":"+0.7804640531539917","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":"Q3192204$89EDE599-4D02-417D-B4E4-365F55994E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e967dae611cf8a5d7a61f2be4f4867b19de6e306","datavalue":{"value":{"amount":"+0.7638314366340637","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":"Q3192204$4DCEBDD0-7B46-4206-997B-A1D778243A82","rank":"normal"},{"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":"39331684027d60675ed7943f1110c75f285c7d22","datavalue":{"value":{"amount":"+0.7558820843696594","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":"Q3192204$A400A729-1FEE-4B4B-981B-9AB0F750FD28","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":"b0edcc89a9b75235a7859df46ef3c4913a440327","datavalue":{"value":{"amount":"+0.7527055740356445","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":"Q3192204$96D37E62-278A-4710-9A84-D393F33510C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192204"}}}}}