{"entities":{"Q2908501":{"pageid":2919226,"ns":120,"title":"Item:Q2908501","lastrevid":79823918,"modified":"2026-05-06T14:47:31Z","type":"item","id":"Q2908501","labels":{"en":{"language":"en","value":"BDD-based automated reasoning for propositional bi-intuitionistic tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076915"}},"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":"Q2908501$22E8E4A2-BA3F-46B5-A2F9-9E61EB5E2069","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bc10d03bbf411a5496217747e1f36caae027bb5","datavalue":{"value":{"text":"BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908501$07CCDBFB-B3E4-4CA3-9A16-2A1184B9648A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57e6bf7a6514bcad3b27dfe99b6d04b70487cabf","datavalue":{"value":"1358.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$35E1DA13-ED6F-4AFD-B190-6CE13A9B0229","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac57f9f6aa86ad73877e58319ca2770058096407","datavalue":{"value":"10.1007/978-3-642-31365-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$0B17E96E-E6ED-440D-8A04-D14D8B13D932","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":"Q2908501$7E698C1E-0AD9-4ED8-83AB-6F4CA5C12EE0","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":"Q2908501$8E8A6064-25B0-48B5-B8C8-C95125AC0810","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":"Q2908501$A805DFFF-7F0B-4216-96FD-AD0ED829CD0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908501$0168D272-109D-4BA7-91AF-E93BC732B987","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$3DAAF6FD-8178-46E3-8394-0B7D80E9B97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$7E38DE1B-6182-4814-8ECB-67B32035F301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$D5026A21-3D1D-4DE2-AD20-43D690BD9D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a67e4d613064f08b1fedadda75546553b77cb25","datavalue":{"value":"6076915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$A6D793E5-8421-4D47-9414-5831EEEBAF70","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":"Q2908501$B322F698-EADB-4C0D-8070-EBFEC167C531","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0d183b448affa7f8e322bd6f53bcfd2867dbe3e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908501$8C08F77F-FB09-47CB-BE4B-C362ACC97703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04fd73d664b628f4005200af295fead252f1878c","datavalue":{"value":"W1864111407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908501$E1DEE89D-F3C9-4C61-9F3C-CFE4D0BFB63F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370f0983da9c9df9771b8365d64cfecb669ede7f","datavalue":{"value":{"entity-type":"item","numeric-id":4928444,"id":"Q4928444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1210fbb4f9dad04e468fa8ceb0c90c8eba27c9ed","datavalue":{"value":{"amount":"+0.8475770354270935","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":"Q2908501$43DAA19C-B373-4D3E-BF67-852E2C014429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b76f03b04865e327abff30f0ba5540c58d3b61","datavalue":{"value":{"entity-type":"item","numeric-id":299186,"id":"Q299186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"851538402ab1560ca9c0c0d25f912295588e1a8d","datavalue":{"value":{"amount":"+0.7798057794570923","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":"Q2908501$18093DB9-CB88-4C70-9F1D-B2E5451E5FAC","rank":"normal"},{"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":"04b7b7a20f169f22abeebfca01994e91494fc794","datavalue":{"value":{"amount":"+0.767888605594635","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":"Q2908501$96D4356B-39A5-4618-905E-840C621B70D3","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":"819bc8d268add4d0c90a42c2eb78a954fbe1a030","datavalue":{"value":{"amount":"+0.7584378719329834","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":"Q2908501$78D4C322-138E-4962-9A27-D17D0168B10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec39c26452f972e83213a0f251838ecdfe61a79","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f948db52f7f3c4945aed18e43e286f1cb78dfe","datavalue":{"value":{"amount":"+0.7377058267593384","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":"Q2908501$52AF085E-7A4A-4949-98DB-37B9082616D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"BDD-based automated reasoning for propositional bi-intuitionistic tense logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/BDD-based_automated_reasoning_for_propositional_bi-intuitionistic_tense_logics"}}}}}