{"entities":{"Q2480780":{"pageid":2491523,"ns":120,"title":"Item:Q2480780","lastrevid":44174901,"modified":"2025-11-20T14:26:42Z","type":"item","id":"Q2480780","labels":{"en":{"language":"en","value":"A decision procedure for propositional projection temporal logic with infinite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5258592"}},"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":"Q2480780$A063A5AE-3793-4597-9E25-1DD49B50483E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97bc1c5e9bcf7800a3ebf8cb30cfa2510afee390","datavalue":{"value":{"text":"A decision procedure for propositional projection temporal logic with infinite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2480780$BB1BA8DF-6DE9-44E4-857E-108F9473F2AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7338b70494616db667af37d6926b1a0b020470e7","datavalue":{"value":"1141.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$FDF0DCFE-153C-459B-8C4C-F12BF0595EB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$A42400BA-2D9A-48E7-A860-CF67C8DB47CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$4D4BBF2E-AD3D-4ED1-97FF-62DB2D9D1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a28ead74fbb928b7cc79a6bb89a9a72dbc17a7a6","datavalue":{"value":{"entity-type":"item","numeric-id":310864,"id":"Q310864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$0CB6A27F-31BF-46ED-8303-8E056E693096","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$3539343C-18F0-4462-BF27-07FBB828EA9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75beb6032318b2d8517c0143c6afc0207210466c","datavalue":{"value":{"time":"+2008-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2480780$359DFC0B-5633-436B-910B-9E7E61EE5700","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$205174DF-E259-42BB-8DAC-8090E0C90F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$925B0B3C-CB83-4166-AE12-885E8CB9DE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$6BAA7F34-BD04-4896-9F2C-B2510A7BAA60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76336100eee6d45b7f64695119e72e41b2e270a5","datavalue":{"value":"5258592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$7BCDE6C3-1B13-4E74-813E-23D4ED9D0E9D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$11D8BF16-BC44-4208-990A-FB2E0575EC27","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":"Q2480780$3BB06D81-DDE8-42F8-ABC3-8082C06799CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fec3b6ec54f86f45afd0469560585908ebd77a61","datavalue":{"value":"https://doi.org/10.1007/s00236-007-0062-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2480780$838F1369-1F90-41D8-9555-B92627E7C110","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9d5d8a3275f580c8c5f1df3b57b5045d5a9f65a","datavalue":{"value":"W2021917262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$89C00680-E53B-4449-ABF6-77B6E9D15399","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$6C26D96F-6191-4536-9731-E450E12311E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$53BBE4DC-4E95-41E2-B8DF-E135E3AA4840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65875617975e4bd071f7b992dda914188cc2761","datavalue":{"value":{"entity-type":"item","numeric-id":1421487,"id":"Q1421487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$C2F713A1-5237-477B-8B34-2A9B8FD0D7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfa05c4d62a01d518c15ad58d1f851be8ddc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3318104,"id":"Q3318104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$AA83265E-2955-4C8D-8A81-1BA09F75A445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bac8927aaf96179d4f3a3e503e9e775fb4c1391d","datavalue":{"value":{"entity-type":"item","numeric-id":3838807,"id":"Q3838807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$BAB39CCE-4FF4-4BCA-861F-B20EA1086DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$2B315948-B5B1-4EEE-8351-641FAE8FCE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$67B7189A-2672-4F6F-ABFF-ACDCCD3A5886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$93FA05B5-5EB5-4DDC-9524-69E5ACC0FA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$16D23C9F-0A62-43E1-9EFA-9962BEA3F4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4b0bcc7612754d8a1b8a8945a6a478f1175f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168965,"id":"Q1168965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$319D2B81-FBB1-468C-B9B2-CB4E5E62E1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3a0600b989d95d3500a6e5bb1a817faecd195c","datavalue":{"value":{"entity-type":"item","numeric-id":3713595,"id":"Q3713595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$1E631EF0-1905-42FA-939D-2E3657627634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$604B4648-3F95-416C-9332-29BAAC54DC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d32fbb358fe8ff698056a464a35ad043a50a44f","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$36986AA4-397F-4F14-915F-7EF687291853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$4037594F-FE31-45AE-A8C0-C22BC543BEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480780$AB31737A-FCB4-4C11-9543-E6AB7C20002F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"482700b00ba92a837b3ffbc01515b394087b80d1","datavalue":{"value":"10.1007/S00236-007-0062-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480780$1FA26F84-80C4-4090-AF54-60230F30D8F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd0d9513b433a7fbdc8a0636431dce3839b32a9","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb17c7adcd38d235097c133ea52246a1365840d","datavalue":{"value":{"amount":"+0.9944102","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":"Q2480780$588E6C61-838B-4664-A677-39C4F72D0C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6707317a7905d8cb3156721bb2c8a3052d18572","datavalue":{"value":{"entity-type":"item","numeric-id":5425464,"id":"Q5425464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3891a250cdc70dcff98b44908ffdf70cc8d3da1d","datavalue":{"value":{"amount":"+0.97810304","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":"Q2480780$4D895396-5544-4C1D-914E-DCC8D4CC90C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1858f3df0882189cb7b23dde4b4924d59f0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":1986563,"id":"Q1986563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a258fb1d6be53be7c7a38252c66f6c0396f73f96","datavalue":{"value":{"amount":"+0.9205409","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":"Q2480780$CA1048DD-D199-40FF-AA79-871C8F1F0E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b86d0541e0fa03c640aace3d612ac080587bd37","datavalue":{"value":{"entity-type":"item","numeric-id":2300069,"id":"Q2300069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05283aac1dc5e3788195a59e2565458b9de6b5ab","datavalue":{"value":{"amount":"+0.91990364","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":"Q2480780$6F0848B7-8484-4C55-9084-5F4144AB1EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4025f976582952f0c7a69dd31f0b9e88d9909521","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b59e12ab51fd1f52133de10c3b0881b26d815de","datavalue":{"value":{"amount":"+0.9160482","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":"Q2480780$2E4A9C44-ED1A-48F1-8CC2-DDD9332C1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec950a4cb4d04d957ef57d3078ac85883ded1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2197530,"id":"Q2197530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a5a13f12d3badced3ee27d6e3ce228775c94a7","datavalue":{"value":{"amount":"+0.9057635","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":"Q2480780$A4AAD252-BD3A-48DE-9967-7DE312D31BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7300cc5fe982215858a279f2ac0316a4a620cbbd","datavalue":{"value":{"entity-type":"item","numeric-id":391223,"id":"Q391223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1390a468f23861817c9ae25116cadf9b5fce416","datavalue":{"value":{"amount":"+0.8917139","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":"Q2480780$167E3268-4380-4AB6-95FF-85596DD552B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a81aa1aa38f8c6216db2d5aa98b73833da671a","datavalue":{"value":{"entity-type":"item","numeric-id":2904627,"id":"Q2904627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7572821c242561047c530a9843d03c614dabdc95","datavalue":{"value":{"amount":"+0.88749725","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":"Q2480780$2DF8D3A2-B3E6-4495-8390-CB72B25B37B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe19650b55202cc9e4ebd1c00e0563e07ff75839","datavalue":{"value":{"amount":"+0.88698435","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":"Q2480780$A3C953AA-DE61-4C6F-B0BB-FD9FE9D1B1AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2480780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2480780"}}}}}