{"entities":{"Q2931798":{"pageid":2942518,"ns":120,"title":"Item:Q2931798","lastrevid":44736309,"modified":"2025-11-25T15:33:33Z","type":"item","id":"Q2931798","labels":{"en":{"language":"en","value":"A theorem prover for Boolean BI"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374675"}},"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":"Q2931798$166E390B-1F3E-492C-966B-CBA4BDBA2989","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c69d353266907b264a7967cc355a9a706b17e7cd","datavalue":{"value":{"text":"A theorem prover for Boolean BI","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931798$A8812555-5E36-412D-AA40-573ABED0CC30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b4dac89a5212956f304060be77e7cea64f6fe9","datavalue":{"value":"1301.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$5A71D853-48D5-43AF-BE1A-3C1D43D85B62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ef51206a8c9684efe38cecadc03c35ae4d515df","datavalue":{"value":"10.1145/2429069.2429095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$9ADFFE19-EA43-428C-8E09-B8E32618BA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3bbe4f31a299a7c3936057a2f2a53d001af3977","datavalue":{"value":{"entity-type":"item","numeric-id":971576,"id":"Q971576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931798$00F58AF6-ACDB-41C6-9FD6-00E099BE2B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"497b9cd43793e3ec114da580b8b6e36e06ec6c65","datavalue":{"value":{"entity-type":"item","numeric-id":2352490,"id":"Q2352490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931798$A8653C07-21DA-4899-B4D7-E1B2F763286C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"960ec5db08fbcd49fa89ffa814c6eba04b6e40f4","datavalue":{"value":{"entity-type":"item","numeric-id":306394,"id":"Q306394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931798$BE08C093-96A4-42B0-B6D8-960855CE2D0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931798$75A65466-4F33-4FF7-8DDA-54CB016D325B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931798$FF6530D8-4AEE-4BEA-87C4-08DEF7BD5168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e4fd8429cdf3805ba80ba08003c067cc2994516","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.8072","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931798$978A376C-02A8-43E8-B6A0-388F5F88656E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$74A561EE-19F1-4842-82C0-E30AB81AF0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$7199F7C5-9F04-4E66-9AFF-E92C8FF47408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$77C53EAE-8364-49FF-BA5F-45DAAC4435FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$3AA37C12-D222-4F0C-911E-CE27184FD4A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3af4d4bca4fc3efe2106209e4a842e1c71660341","datavalue":{"value":"6374675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$5EE67757-51F4-4442-AAE1-D2308D2CCCF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f44884a17967d7382c2ae39f3e75547cc600e670","datavalue":{"value":"Boolean bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931798$C268B4F8-3C8B-4640-9733-1C725741115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa21b7722071f438d421329044f350a6a5befc7","datavalue":{"value":"nested sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931798$30222486-8E84-4687-A25D-114AB1A9A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931798$8B5F5DDB-DEC2-40FF-A8FC-CADE4A2BFA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931798$71A7C78E-9624-4265-ACC2-A0444A01C3A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931798$7A21FA2F-BF4D-4243-81BE-A39C98A0B969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931798$0682252E-C9F0-4D7B-8E3F-64162700B7B3","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":"Q2931798$9D34CC58-DAE1-4693-B170-2A2BE8D9006A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d41c7bfe78a7be9429dd416b4c82f234fcbfedac","datavalue":{"value":"W2085320115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931798$27032548-351C-43B9-960F-2EC4258F918C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b535cdfb139a6943ab062c5af90bf221e19b331f","datavalue":{"value":{"amount":"+0.8805642","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":"Q2931798$673DD33D-3EDD-4DD2-B00D-B3D23430D0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19b95e27ef87c7314f5d4a46d130247a1c491df","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b535cdfb139a6943ab062c5af90bf221e19b331f","datavalue":{"value":{"amount":"+0.8805642","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":"Q2931798$41D46239-1C22-453B-8B76-C24A2A11BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468f7da087c5780388f6f08ecc01b3e3bbd67087","datavalue":{"value":{"entity-type":"item","numeric-id":4489064,"id":"Q4489064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c2eb0653a42e8f400b78df8d002a8ef3f16bee","datavalue":{"value":{"amount":"+0.87396306","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":"Q2931798$90E3CBC4-EABD-471D-BD38-A85F89608E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54010d4d137f51a416769161b809992b216ccc1c","datavalue":{"value":{"entity-type":"item","numeric-id":4781806,"id":"Q4781806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e53bf6e4ea15cb5fe07ae382607a7cc87e77400","datavalue":{"value":{"amount":"+0.87216604","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":"Q2931798$4F7548E3-321B-40BC-BFDE-1FD616EB1B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03838d59c766ca64adfa743d39c1ec00dd190ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3644756,"id":"Q3644756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6882b17042b84de75bbce0c0d4fadb309639a753","datavalue":{"value":{"amount":"+0.8693945","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":"Q2931798$6134B3B5-D1DE-4476-A77C-991248142E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76108347c8a8bf618a8b6b2a0263903fc003f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5714444,"id":"Q5714444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee60ec8d3cbdfd4072bc977d47b7d9b9e96c6b85","datavalue":{"value":{"amount":"+0.8680467","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":"Q2931798$14AF1E4D-5EBE-4871-AB22-42F5CF401073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08ec7b34734d13056cce5b006cb11a937d7a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4684356,"id":"Q4684356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf642a7842ffde3128bb7f51d5ae33e466cb224","datavalue":{"value":{"amount":"+0.8656958","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":"Q2931798$8FB9DD4C-D96E-43C6-8961-A9D00BFA645F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6657da8c5faa934971f20db3d09961dcf0716","datavalue":{"value":{"entity-type":"item","numeric-id":4993336,"id":"Q4993336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a955b9487fdeb2596fb1195795a27754ffd9f7","datavalue":{"value":{"amount":"+0.8642971","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":"Q2931798$8A896677-61E9-489C-AE51-8E76116986D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822adb1baf62c5000a89959ae5eead739517938","datavalue":{"value":{"entity-type":"item","numeric-id":1333173,"id":"Q1333173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee98989a46f360d57bf130c190ecc496ac0b365f","datavalue":{"value":{"amount":"+0.8627441","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":"Q2931798$F35992AF-60AC-455B-9A0A-977CB3C87AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d04dfad32edb259fb54af02d8c8985b1b4a0a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3138862,"id":"Q3138862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a19a5e7529516748b90b2c83643d6cc1e283cc","datavalue":{"value":{"amount":"+0.86242276","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":"Q2931798$E78E5C78-333E-4B2A-B8FA-EBA430CD89CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931798"}}}}}