{"entities":{"Q3585021":{"pageid":5614925,"ns":120,"title":"Item:Q3585021","lastrevid":51066266,"modified":"2026-01-16T11:44:14Z","type":"item","id":"Q3585021","labels":{"en":{"language":"en","value":"UTP and temporal logic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776598"}},"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":"Q3585021$9CA0D851-556E-4004-8B38-AAE82B9C28B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"328605fbc12e3f24053c069440abdeb641e4c471","datavalue":{"value":{"text":"UTP and Temporal Logic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585021$3ADFC915-2D9A-427A-8868-54A5C5506B5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df8741a0459c5e8b4bb060fed1a406f4c0f4a45b","datavalue":{"value":"1286.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$363B05CE-1AF8-4AB8-A778-3DE1E75AF1F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a25a650a6045fd5c50430b0c251ee41a63b6761","datavalue":{"value":"10.1007/978-3-642-14521-6_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$1E6F35D3-ED99-4BF6-9C7F-482CCB320274","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62b3dfc014c74aff5045bbfa1bb9df12462ebb33","datavalue":{"value":{"entity-type":"item","numeric-id":3585020,"id":"Q3585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585021$847006FB-5DFA-4F8E-B7DA-2E1788E3F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede0e2bf224582d937e25999a53eed000472ee0","datavalue":{"value":{"entity-type":"item","numeric-id":264537,"id":"Q264537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585021$7DF3BB68-E9CD-4061-B2DB-B0C72E898609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a554aec36fc4a6a6f650f34c2516421d15681542","datavalue":{"value":{"entity-type":"item","numeric-id":1004292,"id":"Q1004292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585021$3FE56372-FE51-4BFB-8ADE-75A55BBBD1E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585021$3B4B365C-7B42-42DA-AEB0-114ABB09E746","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585021$53327C2F-24FE-4459-B694-BDAEE0918CD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$27923993-153A-4CCF-AD31-0D916BF7F8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$99E0C728-82CE-48FD-8CA8-1C5B03B1912E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c520531155c2b5d095495d951d6d6675c41d47e3","datavalue":{"value":"5776598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$2766861F-AC71-4CC1-8DEF-81071094DC63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585021$2FA5CFA7-7F7B-438F-8FA0-A0CE802ECD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585021$7EE65913-16DA-4C3B-AD35-3AEEF0DC2606","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b3a94f5be842e178d0619226b93011a748ac4c77","datavalue":{"value":"Q57936888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$C4264288-3C64-47BF-9BE9-A1198875386F","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":"Q3585021$5A24A784-9ABF-41CB-8748-ED3868835A79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ed511a4437ae8a4f54b52ac1dfc8d4cc02e9192","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14521-6_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585021$CAB9A5A3-7D93-4499-BCB0-C8E90B870F5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec2e001b392ec4ef0c37ee66258e9f7303c5308","datavalue":{"value":"W2100214469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585021$C0E620C6-3362-484B-BD7C-AF5A2B6B4DE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87b330d0cf51c443d9dddaca849be813ed5d019","datavalue":{"value":{"entity-type":"item","numeric-id":2661764,"id":"Q2661764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4917d39f7a404b10cee67efee342212924eff47c","datavalue":{"value":{"amount":"+0.7722598314285278","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":"Q3585021$576BE5B2-3A33-4E08-B8C5-66FB2A9E0CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88da56b57f21f286e595a1fed99771e1d4f5133f","datavalue":{"value":{"amount":"+0.7635534405708313","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":"Q3585021$A7716C49-1918-404A-BFD5-B3EC108961C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11a87e47b48402e3f9193082c908c09bf382f2e","datavalue":{"value":{"amount":"+0.7598130702972412","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":"Q3585021$BA8BE1D4-7E4E-4F27-9729-1957D4BC38B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703098d28f9d515f26515b8f0364c519314d5033","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e63e030a440e562d6e2c174d7ad00e70e65192b","datavalue":{"value":{"amount":"+0.7574688196182251","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":"Q3585021$1D67AD06-BB75-42DB-8B03-12FF7D7C76C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea062f3ec467a551f94d1e358ca38e5a03ec63bf","datavalue":{"value":{"amount":"+0.755143404006958","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":"Q3585021$683B885F-6B9B-4494-943C-DD25476430F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585021","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585021"}}}}}