{"entities":{"Q2946574":{"pageid":2957294,"ns":120,"title":"Item:Q2946574","lastrevid":52347086,"modified":"2026-01-22T10:11:20Z","type":"item","id":"Q2946574","labels":{"en":{"language":"en","value":"LTL with the freeze quantifier and register automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483083"}},"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":"Q2946574$31786AFD-2357-450E-B822-DADC7EF8CA09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a1adda8ce86029e7bfef28b15b8ecb98cebe500","datavalue":{"value":{"text":"LTL with the freeze quantifier and register automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946574$E95E8C60-4125-4C08-A363-F551E364ABDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9585231840595f906f14af527d2acab3479a550","datavalue":{"value":"1351.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$0DE675C5-4AD1-43AD-B4CA-3F8156C359BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fc2744a5d1c7045ddf0f7f79e5711f0ed42f2db","datavalue":{"value":"10.1145/1507244.1507246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$06E7366B-E64A-477F-83DD-650D6CE72569","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":"Q2946574$564348B0-DF62-40B4-9903-D4A8B6C4850F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946574$726A2E9E-F44F-449A-A2FE-EC6515257BB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946574$E5C9354A-D76C-4E4A-98C0-7D34ADA37A88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-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":"Q2946574$313E2053-99B1-48B5-B9BE-DBA8065E0FAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$F71DBF54-3514-4F57-B6F6-F818F5F9F167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$5A350BCF-ADD7-4BF3-B493-6E17D632001A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$1C366D9B-6029-4CFC-B36F-452E83AEE577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$4D84CF79-442B-433F-BFBC-EC9F7F91B91A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65a8b894cf7f43eed4f15e4efc2b24a7def0dd9","datavalue":{"value":"6483083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$8078E9BC-E1E5-4AF2-828C-9F74C7174DAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946574$8E356667-63F7-4071-B79A-B7FEB51FA167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946574$1EF85756-5427-43FA-8A68-52EB7A51BE28","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":"Q2946574$0AEF88B9-AA41-4112-80E4-6A986CC1D0C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59a767dfe13fe842f644f512a6b7813565d9c4aa","datavalue":{"value":"https://doi.org/10.1145/1507244.1507246","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946574$597EE79C-4205-4B7D-8704-4EC37074A2EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc987124b803cc5c7f179ded073725d1727640fd","datavalue":{"value":"W2177814128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946574$37C8C229-4D1D-4524-A2B0-951FD7B99D92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d565c72247ad5a56d38206a6e1db40562b58f495","datavalue":{"value":{"entity-type":"item","numeric-id":5386001,"id":"Q5386001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401b8ece9bc1520bb7468bbf95ecd5d172ece176","datavalue":{"value":{"amount":"+0.846675455570221","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":"Q2946574$9B6601C5-2031-4527-AFA7-D06415EE0D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7783eb36735a0c727f1694956c4535c13d1b1c6","datavalue":{"value":{"entity-type":"item","numeric-id":2811345,"id":"Q2811345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7791e7fe88d7dafa5e7043c1c126b53fcc6f7bd","datavalue":{"value":{"amount":"+0.8446639180183411","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":"Q2946574$E6DCB94F-D925-4386-A89D-95E51D078E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1418e696689ff846b3d4464237df88f3ab7d4d","datavalue":{"value":{"entity-type":"item","numeric-id":2946627,"id":"Q2946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b944dc6fa8103e7ddce31e3e660327c6c6b35a61","datavalue":{"value":{"amount":"+0.8399228453636169","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":"Q2946574$A86D2956-1126-4B68-BA2E-01825EBF4C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b7f39777b14bb4b340081697cb5b95a9f241d0","datavalue":{"value":{"entity-type":"item","numeric-id":3182936,"id":"Q3182936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceaaa56a2dc5b078bbfc6d1fcf73f2a93ded2045","datavalue":{"value":{"amount":"+0.832528829574585","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":"Q2946574$C544F0DD-BB0D-40EA-BDA7-ED58D6466A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0204b868bbd8b6798edf95391f9a77b6a6270eb4","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e368e75bff65a7d1e0f916a932942221aba29ac8","datavalue":{"value":{"amount":"+0.801148533821106","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":"Q2946574$4B00E390-DCF3-45AE-A8A8-B9B51B966687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946574"}}}}}