{"entities":{"Q2901199":{"pageid":2911924,"ns":120,"title":"Item:Q2901199","lastrevid":51515039,"modified":"2026-01-18T14:25:05Z","type":"item","id":"Q2901199","labels":{"en":{"language":"en","value":"Model-checking \\(\\mathrm{CTL}^*\\) over flat Presburger counter systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058053"}},"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":"Q2901199$136264E2-A717-412E-AC7B-CA897B5415C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52410e2b0fdf4331b8dc04efeccc5006a7e8fbe3","datavalue":{"value":{"text":"Model-checking CTL* over flat Presburger counter systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901199$E44FC884-7FBA-4D8F-B111-3ADF2EDAE7A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40ec4a030cfbb934e51008b0b9b23b14e511c097","datavalue":{"value":"1242.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$93F4E031-1816-468F-A060-68A45F5F2825","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$BB6CEFB0-A964-48A7-8D85-9E7688B00779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a262d40910f61ae30b51e56074fd3ac16a16c8e","datavalue":{"value":{"entity-type":"item","numeric-id":2368987,"id":"Q2368987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$F2EE6EEB-1D2E-4AAB-8E55-8AA48F64CCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$0BD7F0A8-A41D-4307-AD35-070868C2BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$7C8FC222-043F-4631-8046-94FAACAA780C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$8C516003-F64C-4EB4-9B82-40BFA0F18B8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-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":"Q2901199$B1E09698-E722-47D5-81B7-7FC42D53B1CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$1ECA99B1-F273-474A-8F59-08B775AA7BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$8F64E46E-B40E-4905-9A0E-655D7C7457AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$BBADDB63-2630-446F-8D9A-A81D22100C1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68f3b7dba020e10a7c09a2568930570c5e7a2eaa","datavalue":{"value":"6058053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$74A9C2F2-BBBC-4FAE-A574-C3B94489F3B3","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":"Q2901199$2344CDE5-35CC-426E-85F1-5B04FB797604","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c4f417ca3bc245406df7a84082c17a1deff06ae","datavalue":{"value":"https://doi.org/10.3166/jancl.20.313-344","type":"string"},"datatype":"url"},"type":"statement","id":"Q2901199$5A9EC20D-C347-45FD-8417-96818786623D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45457c531b5738fec845971cb67c5509d66a0011","datavalue":{"value":"W2073466252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$34466B69-59BB-4E10-B117-E4289B0DA13E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$3567802B-4F32-4C01-B4EE-D145515C7E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6e2f28c5e39cfecc9d8cb690766cf09c1b2d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1764419,"id":"Q1764419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$FE8ADBA3-AE3F-4849-BE51-C1D34E8395B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a561860bc874fd3fde1f3d8054871815a60e564","datavalue":{"value":{"entity-type":"item","numeric-id":1884908,"id":"Q1884908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$A0FAD691-3E25-408D-9AEE-1381DFDB7022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057f53ea460975a07b13ea02a6a016309acb2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4074965,"id":"Q4074965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$EFDB1AC5-FCFC-4E3E-9B09-BBE73C93BC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$D3ED2E3A-C021-4E84-8AEC-AEFAB49F4E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$84578C13-A265-480D-AA6E-74F4E216074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e454f7f7762b0f429fb7dfc59addc06cbbeff5","datavalue":{"value":{"entity-type":"item","numeric-id":1853615,"id":"Q1853615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$93750FD4-ED34-4AE9-AF06-A6C254F1AB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591f2cd261f0f6ceaa59034c82a475ed1e374622","datavalue":{"value":{"entity-type":"item","numeric-id":4405553,"id":"Q4405553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$162D8471-432F-462E-B4FA-E11BD083FF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2908312967149366f9b7a9673a3e47470f9cc33","datavalue":{"value":{"entity-type":"item","numeric-id":1874402,"id":"Q1874402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$3B35EC53-FB02-442E-9A17-9CFE63F40503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1286789682a4258cb5fc71c14511307773576c50","datavalue":{"value":{"entity-type":"item","numeric-id":2503321,"id":"Q2503321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$F87FEC76-70E1-4E89-B7CA-5510CE29EAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$279EC3D8-0512-45C4-BF15-9F457836DBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4d9ee0f8e51d9ebd2858332fee756b2d9f29f2","datavalue":{"value":{"entity-type":"item","numeric-id":3644794,"id":"Q3644794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$56988E37-28FC-48DF-A3D2-7E8BAD416032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$47904D18-49B9-4BEB-AFFD-16DD8DD4348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$6DB63177-6C9D-45C5-AFC7-374330CE2A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d209315c4d3e50a930d2c08bd8b6d13760b965a","datavalue":{"value":{"entity-type":"item","numeric-id":3680903,"id":"Q3680903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$B038EA8A-9777-48C2-8EAA-DF313EB8A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c51cb42cbdd05600271a9e4ad225bd545662faa5","datavalue":{"value":{"entity-type":"item","numeric-id":1854327,"id":"Q1854327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$69F8020D-8CB7-4AE1-BDF8-0621D97C9208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$31D1D5CD-8DA2-47D9-AB5B-B0B672EA8E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$72DD6236-31D8-43DC-8253-62FD45268FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901199$CB4C6A71-4DA1-4500-BAF3-3138FF9025E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d97f37c5c80bd32f0b66bc776029aca4e69c87d5","datavalue":{"value":"10.3166/JANCL.20.313-344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901199$49699708-56D9-41F7-A30A-A37C792D03B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f98120be9e6a59c6dfc61fe30e86f9fc9f0e40","datavalue":{"value":{"entity-type":"item","numeric-id":3522931,"id":"Q3522931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e48e55424ae0fe34be8118d477ed24493d6fff","datavalue":{"value":{"amount":"+0.9340505003929138","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":"Q2901199$678F3180-8C53-4CE6-B53A-4286D12612BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c31b74c97ef5af32307af99be4ea7d54b73cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3447697,"id":"Q3447697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c69f4be2f21bdabe26eba46c783941a10cdfbd","datavalue":{"value":{"amount":"+0.8856533765792847","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":"Q2901199$B1287E5C-E161-4322-B09C-858EEC81BA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522fe27fae911b9860320ffbea44e0f7e7a22dca","datavalue":{"value":{"entity-type":"item","numeric-id":2636509,"id":"Q2636509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2bb4378b9d3ff026eed525a01770b247e635a5","datavalue":{"value":{"amount":"+0.8817724585533142","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":"Q2901199$4EF4EE56-03ED-493E-B18B-55ADA47EC0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9f39e9d5496f447a769dd204b070745a41e50f","datavalue":{"value":{"entity-type":"item","numeric-id":2287113,"id":"Q2287113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07840834ae2c6dbfcdedb562b53701c86cea4654","datavalue":{"value":{"amount":"+0.8191953301429749","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":"Q2901199$222B570B-E8A5-47FF-8EA9-CEDE554453F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf579e042aedda8024390cee4e11fae59aec7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e94657c480d227dd23ac2ce6453e9492939615b5","datavalue":{"value":{"amount":"+0.8046606183052063","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":"Q2901199$41023FB4-FC0E-4D98-A9E9-56E3D2CD710D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2901199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2901199"}}}}}