{"entities":{"Q2907328":{"pageid":2918053,"ns":120,"title":"Item:Q2907328","lastrevid":55900072,"modified":"2026-02-20T23:41:36Z","type":"item","id":"Q2907328","labels":{"en":{"language":"en","value":"CDCL-Based Abstract State Transition System for Coherent Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079502"}},"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":"Q2907328$2BDB9EE1-F380-4E67-A871-705E5C315CF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e749d9d5c37c8e7dbe67ce3e05b54a57fed7165","datavalue":{"value":{"text":"CDCL-Based Abstract State Transition System for Coherent Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907328$9410CA2F-0367-489B-8EB1-A0EA53AAB5C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20480c32d95a39df7b80a2b8c2750ddeafb75b72","datavalue":{"value":"1360.68761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907328$674C457D-DC4F-4EAC-9E94-DC3F76DA416D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab8db944c792b0c057d188ed657d99326bc2e441","datavalue":{"value":"10.1007/978-3-642-31374-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907328$9DA6FF48-E912-4593-9C01-EE1957138ABA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd66bdef2a3584c6dfa7cb6d454d57eef58b8ab0","datavalue":{"value":{"entity-type":"item","numeric-id":842082,"id":"Q842082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907328$8C66B760-3DF2-4E09-AD61-C060CA478B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907328$480BFE39-4A05-49E5-8B90-E79AB39CDE78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907328$79F76449-8F4E-4489-996A-0D914534FDED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907328$9581B4A8-6C3D-4CB3-9DD3-826E6849F8B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907328$9A6D95A7-67A7-4100-A37B-FABD82B9094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907328$06228A99-7111-41D1-8B14-6F331274A3DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63f759d730db98b89851508459938ba6e5323b9e","datavalue":{"value":"6079502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907328$5B63DE35-AD20-43F4-BDD3-AEA36C9B7206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223556ef87b8f25f218d19756cbdf5e24d0a2719","datavalue":{"value":"coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907328$A16DC602-80CF-42A1-8B50-C419F50B2B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99afe2255163b140efad7f916131f113af3de340","datavalue":{"value":"CDCL SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907328$DA0BD1E7-5675-42BF-ACFC-C1154AD5BB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c81ac5e154303663b3a86711517ce5ded08a57","datavalue":{"value":"abstract state-transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907328$AD142E94-AC43-4522-B293-2D808415D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7cb8f4e4cd6c5bb1b08e4fcd2a64015eccfad9e","datavalue":{"value":"machine verifiable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907328$C19FE11F-DEA4-47C5-97AC-60CFDBD6FA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b97591a1eec270d79d6d5074b2e7530729653abc","datavalue":{"value":"readable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2907328$9906D526-7922-4F1B-8E7D-43863129C287","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":"Q2907328$EEB0DF4A-4CBB-4578-B99D-D1D1BDA14EB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f8787ed972c20a4d457cc79cd1c097b1ed1f6f4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31374-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907328$4F3B7494-A278-4B3A-ADFB-91EB178A1765","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357804100798960550d2acb8f452ace4816ef33f","datavalue":{"value":"W95863444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907328$141C3A89-1130-43D9-AC2C-C839E19351FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13942547cc8284c005cd327891b7951a8bb76ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1944728,"id":"Q1944728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa255dcc82dcfd9b5562999fa39b0ce03f87111","datavalue":{"value":{"amount":"+0.8275226","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":"Q2907328$42256ACF-D3DA-4135-94E8-29DBE5F10E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0206e165290dfbf04ac4097349dafd79f61c9eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2082085,"id":"Q2082085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17d3093fef3ac77964f185b521cbbbecd8e8b66","datavalue":{"value":{"amount":"+0.8227659","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":"Q2907328$0AFE1C4C-EC95-4316-A23F-8D904BA1AAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46466a04c540f45f5062358705a1815436545c9b","datavalue":{"value":{"amount":"+0.8184159","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":"Q2907328$F04B96FD-2E1C-449C-A58C-D2341EEC1D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da07f7b2e806e5467cfb831b2e721217dc2c2265","datavalue":{"value":{"entity-type":"item","numeric-id":5274601,"id":"Q5274601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f08c2ecd4bf05ac66c1c23b016f20d0b1906633","datavalue":{"value":{"amount":"+0.8138906","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":"Q2907328$A3F91ED8-C653-4C8D-936B-B688BAD84828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d66bd7e0cf1cad101c270483a045f71ce97b44a","datavalue":{"value":{"entity-type":"item","numeric-id":4246565,"id":"Q4246565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c97b60169f329fda29f4748c3cc61c75e8efcfa","datavalue":{"value":{"amount":"+0.80575794","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":"Q2907328$422E7E32-EE6F-462E-8A7F-C5906D5FB59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67bed80202705ad0f26e21085c20d24617df91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1895974,"id":"Q1895974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8099a45225034d3f54cf22133aa2eed4d56b57e0","datavalue":{"value":{"amount":"+0.8004823","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":"Q2907328$EA0F05B9-BB51-4E80-9FF2-62973EBDAC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c9e7a5af043d77c2bab72e9302bcf49e2f5bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4601119,"id":"Q4601119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9f8d3dea3f994f6a9dc53878c0e21617058aec","datavalue":{"value":{"amount":"+0.7990471","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":"Q2907328$2232F0A3-C124-4059-8D60-1504A1147F78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907328"}}}}}