{"entities":{"Q2908489":{"pageid":2919214,"ns":120,"title":"Item:Q2908489","lastrevid":58054809,"modified":"2026-04-03T15:16:52Z","type":"item","id":"Q2908489","labels":{"en":{"language":"en","value":"Taming past LTL and flat counter systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076907"}},"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":"Q2908489$F5DA879C-E410-4D66-9771-4317BAE71668","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96bcbc5ac6b6037642c702caff97b1fdfb5d5161","datavalue":{"value":{"text":"Taming Past LTL and Flat Counter Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908489$75254C83-7903-4B5A-B6D4-346EBBA32B7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3fbbd5bb7e7421221a5b6fd8893e8b00ff63add","datavalue":{"value":"1358.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$72E0DA94-7C6C-45D9-9CEB-273ACCA07B40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4815c7b5963a8ee2fa99f7fb9b9fbf24a892a2c9","datavalue":{"value":"10.1007/978-3-642-31365-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$33CCCBCD-8E09-4F08-9F1B-2E188EF0D848","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":"Q2908489$7DDAAD84-99B4-4CEA-A0EE-7A90821043DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1c823f5d5fd5b0c407dc7510efaf74dcd5c92d0","datavalue":{"value":{"entity-type":"item","numeric-id":780265,"id":"Q780265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908489$565DC9C8-96AC-4CE2-B792-9E6DB1737781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908489$A92D664A-706F-457F-B9F1-C91FFE815323","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908489$5F96BE86-D221-4ED4-8EE1-565FB4EF6E61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908489$9804AF05-B8DA-41C8-91B7-C0FD96279FE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9c252e3ad19332e4fb12784f047b4ee1aaf45d8","datavalue":{"value":"https://arxiv.org/abs/1205.6584","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908489$E465CA0D-074C-49C7-875F-B0F078B6FED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$CDF4A0E6-A25D-4869-84AE-7C244B4D3913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$09D307A8-7002-443B-A196-96117279FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$AAB7DC03-6553-40E7-B19D-4ED90F7B228A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$4C47F528-5F3E-4308-81B2-2E74CDD75DEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75986b0e0e4b99021928f02efe089d499bee68ed","datavalue":{"value":"6076907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$02DFD191-892F-4835-8166-720633AF7919","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908489$EF5E4F51-E16D-4D86-ABB6-406FF4B62C0F","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":"Q2908489$983F6C1B-9991-4793-A744-FB0493DC4DBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06b6f7e2d850869a9223c643679c622ea5e695e0","datavalue":{"value":"W2162230135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908489$307398BD-D515-4330-8003-D11D3AA2EABC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a60713f33a858482cc4bb513268b0f992b076a","datavalue":{"value":{"entity-type":"item","numeric-id":2346416,"id":"Q2346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d20296f452bc116407daf0c357356895585a10b","datavalue":{"value":{"amount":"+0.9925313591957092","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":"Q2908489$6216CB96-00D3-4408-BAD3-B1354CCD972A","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":"2497640f53162df2015289e5e7fcabb8da96bd79","datavalue":{"value":{"amount":"+0.8242316842079163","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":"Q2908489$B2CA8AD0-BA63-407C-968C-540FF8C88707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b072625db9e5d2baad940c695baab4855f6af98","datavalue":{"value":{"entity-type":"item","numeric-id":1990502,"id":"Q1990502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b302b5fe6aa785572733a2a6879649129448958","datavalue":{"value":{"amount":"+0.8220565915107727","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":"Q2908489$50233924-42C1-42D5-B0F4-AC66E8990DF5","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":"7506feedeb3136be3e5fae8ddd4bc4cc3d096ae4","datavalue":{"value":{"amount":"+0.8177055716514587","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":"Q2908489$AB924E81-0EAD-4BFF-9A4F-D6BF56CBA03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf37580c23209469b489f72776ed474f89593902","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e02987a9f1bb8dd39f5b9b63a4cc86e23739f6","datavalue":{"value":{"amount":"+0.8119462132453918","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":"Q2908489$EF149CE5-DE90-4D77-95FD-6898D92562EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908489"}}}}}