{"entities":{"Q2848445":{"pageid":2859165,"ns":120,"title":"Item:Q2848445","lastrevid":51834140,"modified":"2026-01-20T06:49:29Z","type":"item","id":"Q2848445","labels":{"en":{"language":"en","value":"Early verification of computer systems temporal properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211933"}},"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":"Q2848445$BEC5DC4D-F218-48C5-A519-B91628CA7546","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"268157db15275d4fe1b3ff01ec128ec4ebecbc8a","datavalue":{"value":"1272.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848445$518866E2-C2A4-4576-A9FD-C7A9B678C2AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a616f71363d6ed78bdd16f570286f689e16272f1","datavalue":{"value":{"entity-type":"item","numeric-id":2848444,"id":"Q2848444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848445$B7C30F48-5C80-4E5B-B82C-4EDF4FDF2A4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848445$D7CB67A5-F5DE-42A2-A17A-89A16D15F51B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d53de3a61b217061ce7d5b4b5dabec87a20836f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105002227","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848445$7ABF80DF-7F27-4231-BA7B-CB8CC25C1434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848445$B2393FAE-DB37-4DD3-937C-08846E7874D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12b2ae4249f880005b2b8e546320dbaeb2008565","datavalue":{"value":"6211933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848445$CFC8964B-A824-42C4-8046-226BBA1FEE0C","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":"Q2848445$F757EFB4-C806-439B-A949-D38240750D8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50e37074cb8f21b03eee5cc14513354a6c04259f","datavalue":{"value":{"text":"Early verification of computer systems temporal properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848445$EF856366-FDCC-4253-A5FA-E9A5188403A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a47fb3023f97db33e6b7d5ff395bda83ce45d2","datavalue":{"value":{"entity-type":"item","numeric-id":4536991,"id":"Q4536991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766e9a0a3bd52a13aefa3170f99610eca7beaaf2","datavalue":{"value":{"amount":"+0.7728148102760315","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":"Q2848445$05633A1B-6A88-4FEF-8B02-F43B3E31A09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df813948198e9c8b06b5042f80b99306efb0330d","datavalue":{"value":{"entity-type":"item","numeric-id":3564019,"id":"Q3564019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbb866478be71c848d85775a0b0b7716e1847ad","datavalue":{"value":{"amount":"+0.7668811082839966","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":"Q2848445$7A78F33E-8A7E-44C9-855B-0F78F35F549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf364e22632878f7388a3c1e565dc98b4f2dbc4e","datavalue":{"value":{"entity-type":"item","numeric-id":1406345,"id":"Q1406345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15216d326b3eebb4946135335bebec6f4be6f94b","datavalue":{"value":{"amount":"+0.7665427327156067","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":"Q2848445$271F95B1-6D5D-43D6-9740-6C3C0D799725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1277794376849bb8f34258a8526e7291a8d3087","datavalue":{"value":{"entity-type":"item","numeric-id":2849550,"id":"Q2849550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc71e91f3fff2031a1804701b9b7318c58b585a","datavalue":{"value":{"amount":"+0.7606703639030457","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":"Q2848445$4BAD99F1-520B-4B93-ADED-A6082CF8CB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110c5be88e5d0a3ee51ebd063404c930a97e602f","datavalue":{"value":{"entity-type":"item","numeric-id":2908850,"id":"Q2908850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e284098da6ef20019578b92b720132b43ca6f32","datavalue":{"value":{"amount":"+0.7583867907524109","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":"Q2848445$1EF7099A-F5F2-4229-8991-EE6DB6605470","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848445"}}}}}