{"entities":{"Q2842578":{"pageid":2853298,"ns":120,"title":"Item:Q2842578","lastrevid":51800921,"modified":"2026-01-20T02:50:00Z","type":"item","id":"Q2842578","labels":{"en":{"language":"en","value":"Exact acceleration of real-time model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198624"}},"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":"Q2842578$E5238CD2-27C6-48E4-9C23-A40CA63F4D4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51722c365b5da7f18fc1a4bf7d53abb82d853622","datavalue":{"value":"1270.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842578$DDCA3BF6-F660-41E0-ACF0-86C1DC23185C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ce4fe6a6e5bdacd6ac0d0c42fd578009f71c7c2","datavalue":{"value":"10.1016/S1571-0661(04)80473-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842578$A73CC88F-2D93-436F-BABE-DFF083220E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3fc31f716f60f8c72a8a510999b6fc80bc19b7","datavalue":{"value":{"entity-type":"item","numeric-id":2842577,"id":"Q2842577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$D71486A0-AB7C-46A3-8D78-D26BB0776068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$DC9F2F4A-0052-404D-B104-3F58184F065D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$4912B4D5-1A55-491A-91CD-7A76766C7E3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842578$D9E31132-4F8A-4AB2-BA23-BBB71F6B7F2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842578$33D9E02C-59BE-45D6-AD18-ED8D01B1A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842578$15838286-EDA7-40DF-9D3A-919B8BC607B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7c607286e0ee6435873195cd14163caa95a1ea5","datavalue":{"value":"6198624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842578$7C9BDB7C-F556-444E-BAC2-8CB299F12DF1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$55FE729D-4211-4E66-B90C-E3CD598F7B53","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":"Q2842578$44597DEF-FBED-48B5-B4CE-F1C0545A013A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$EDA119BC-0ED2-402A-B3CE-3667F4055DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$5A28BB23-A8DA-46A8-A650-7DD21D8D3E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$DDBAA4D0-AB7B-4F0B-98C0-4EB7535F5B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$171FA292-4773-494B-8A69-DC0FA2197F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a860092cae4ad4c5ee631c0a98f0a7ee7f9c9d0","datavalue":{"value":{"entity-type":"item","numeric-id":3241581,"id":"Q3241581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$7B0B353A-888B-4649-8371-AA8CB9D9EDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb97ad59b8d3c6a4e23ab323f66864f1135a91a","datavalue":{"value":{"entity-type":"item","numeric-id":4571986,"id":"Q4571986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$6A9F2168-DDC5-4AAF-9CB4-3B229F841AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4c273abf1b7a13937b62d64f7098791b5e0302","datavalue":{"value":{"entity-type":"item","numeric-id":4509995,"id":"Q4509995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$66BEE15F-7506-45DA-B9AF-DFEA4EC76DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$B95A67E5-F40B-4529-A388-3CA580B6496D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842578$B3B54DD0-AEBA-49F1-8C33-18F37A9D7BDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48df7d6bc4c5c31e2dd3785c91ffe473ba87b7dd","datavalue":{"value":{"text":"Exact acceleration of real-time model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842578$B83F97A4-020D-463B-9E5C-74B117F48FFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9075b0dfa4da5bf50703dc2aa2ef7b6b8a0cb0","datavalue":{"value":{"amount":"+0.794289231300354","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":"Q2842578$037B4C1A-041E-4578-8A5B-C9BE7AB49E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302b82b07731139683d75c35e141494ed4b23b6a","datavalue":{"value":{"amount":"+0.7942484617233276","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":"Q2842578$AC607C51-4A6F-46E0-A4C6-536A3780F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3083834ee8215b327ca92313ad28717e24caeb3b","datavalue":{"value":{"amount":"+0.7929906249046326","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":"Q2842578$8B4CBD26-EE7A-4C18-A949-4D327335685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1cf55a6fe23d7870a30f2904cbe49b6000d134","datavalue":{"value":{"amount":"+0.7707751989364624","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":"Q2842578$22343F99-0694-4799-91E2-4E504B4AF1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f104e24ebd32f5850ee296ab989e76b4f012384","datavalue":{"value":{"amount":"+0.7651118636131287","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":"Q2842578$38FCB699-EA0B-4445-B882-18678A3CF9AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842578"}}}}}