{"entities":{"Q3568221":{"pageid":5598125,"ns":120,"title":"Item:Q3568221","lastrevid":49581484,"modified":"2026-01-08T01:21:11Z","type":"item","id":"Q3568221","labels":{"en":{"language":"en","value":"Implementing a fair monodic temporal logic prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722872"}},"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":"Q3568221$26C3A0B3-E4F9-44FF-85F2-772B3B49DDD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d116bcf7c843c3cba6c1bb37c46945febec6c1f","datavalue":{"value":{"text":"Implementing a fair monodic temporal logic prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3568221$6D5EC4D4-F09A-4BB8-AA9C-AD8136423A33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e20773fcad6fcaf1cc638b452941228567fb903","datavalue":{"value":"1206.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$81D05473-E2E2-4D56-954B-B99E31E03BC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebd6c310aab9eae78510c5cb7f4e59405ce02f7d","datavalue":{"value":"10.3233/AIC-2010-0457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$888F9D24-9AA1-4D3C-B636-51B83DD7E2B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b3b7f1bb16189df0204250dcb849744d55f24dc","datavalue":{"value":{"entity-type":"item","numeric-id":2296719,"id":"Q2296719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568221$2DE3E6CE-FE04-4A71-B1C1-4B7F8928F0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568221$0137BBCE-6A26-45BC-B21A-B95EBA795BA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568221$1B82E8E9-36C7-496E-8586-7349F4741DA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-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":"Q3568221$61B64DD1-395D-491C-B7BA-F2553BCF4880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$0888E00A-FEC0-4017-91CE-E4EF19D1618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$12F006BB-2CA5-4F6B-9F5E-D2241CAE83B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$EFBC69BD-B1C6-4063-BB03-A43B0C25668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$2D6BF5B0-982A-4BF9-BCCD-304842B16943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e80b55f2ba0710686db0f2e14f9c7897b693d513","datavalue":{"value":"5722872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$D4D2E56E-CBBE-4C8F-9732-E4F56F64B609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e3722379b37ac294db6ef7b67dd7d851767b10","datavalue":{"value":"monodic first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568221$E57DCDAE-6ED3-4E84-BF28-53C038FC5FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568221$550E2BBE-BDE8-4D3B-8315-AFCED2B0B854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568221$752772B6-9063-41CC-8147-D72B5F62382E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568221$92D7D3BD-5C2E-45F9-BFEC-F2BBAC612842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568221$1CA172A9-7499-4102-8D63-F13E4758DF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"257ad6d8f8a34d3b938ce0839d1288673e8cec10","datavalue":{"value":{"entity-type":"item","numeric-id":18659,"id":"Q18659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568221$A8A113C7-0743-474F-93F4-FF3042158985","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":"Q3568221$C595B0B3-5079-4DE0-BE0A-B41931166C8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53a02f8604824673d341c735c64ed538ea6b4773","datavalue":{"value":"https://doi.org/10.3233/aic-2010-0457","type":"string"},"datatype":"url"},"type":"statement","id":"Q3568221$E59465BD-4F2D-4CD8-A54A-4179C94F68E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"521cca4938a5ad321ac23eeb0e7c94a5ca089833","datavalue":{"value":"W1698862083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568221$285C92D4-6F7F-481E-AB9E-4E034F14F3E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c88b861ea18183e807ba219a3022b75b722489","datavalue":{"value":{"entity-type":"item","numeric-id":5191107,"id":"Q5191107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8fb6632ac2f9fa3ae9256d6f60538eb92fb249","datavalue":{"value":{"amount":"+0.93465275","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":"Q3568221$8F10B9D8-0A80-4BA4-9D4F-35F9619BFDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e98532e8e6ced6de06f56b2eeab20036a2dffa5a","datavalue":{"value":{"amount":"+0.89490515","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":"Q3568221$D2DB2371-477E-4055-8F5D-9F9446BF2F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608b9093d236f9882b3ec155317f397ae3bd9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":3623967,"id":"Q3623967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3aef3ad8f9221bcb39a7771a82439f5305872c4","datavalue":{"value":{"amount":"+0.8774804","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":"Q3568221$D9E6696F-4003-4C1F-B311-5C20AF6C33F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41412a101469767d407265775b84417a718a8c14","datavalue":{"value":{"entity-type":"item","numeric-id":5084315,"id":"Q5084315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb465cf3a041b01ea7e2290b936299b251f06ec1","datavalue":{"value":{"amount":"+0.87359375","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":"Q3568221$4A4634A0-0768-4EF7-8F19-214A25AD5A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d32d018e6f0dd0c8af913c953da8d78c3e4dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3003427,"id":"Q3003427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9025c5a9ef379d17ff3c8f654ab76b174fa337d0","datavalue":{"value":{"amount":"+0.8712153","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":"Q3568221$4573D144-C836-4629-B174-A749636B954C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc56beb39d03a5898d4b3ecca59712b61a6f7024","datavalue":{"value":{"entity-type":"item","numeric-id":5307069,"id":"Q5307069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b5a31b3adcbbbdfd05061f88a8dd0dc1b63e63","datavalue":{"value":{"amount":"+0.8711022","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":"Q3568221$9B5AD799-67C7-47E9-99CC-CB64A01A3D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e565c833e642a40194615e821a6195f2193d056","datavalue":{"value":{"entity-type":"item","numeric-id":1863826,"id":"Q1863826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4f6d7cb66c2d9f603fbb266b7010279c191c58c","datavalue":{"value":{"amount":"+0.87065655","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":"Q3568221$6554DEDD-54DB-41F2-936F-8FDCFB8504AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5212f68e8645da8a27a86a5b0e704c2aa6214dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5137353,"id":"Q5137353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24fab4d547ac3af399a9047ef913e2258837c29","datavalue":{"value":{"amount":"+0.8699248","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":"Q3568221$854A7338-B020-4A87-90DF-23BBB522A88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0009d06498f3da2034eeb057da57dae38ac3e547","datavalue":{"value":{"amount":"+0.8698977","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":"Q3568221$B947FDD9-FA98-401E-88F4-1022AB3D673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff50445499446a3d9a93b423163764956180b4e","datavalue":{"value":{"entity-type":"item","numeric-id":679335,"id":"Q679335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7688001b26b1ca7a484ee14f4daa5533aba3191f","datavalue":{"value":{"amount":"+0.8658229","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":"Q3568221$62298007-A71F-4F50-A6A3-34A52BFDD51B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3568221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3568221"}}}}}