{"entities":{"Q3402273":{"pageid":3412976,"ns":120,"title":"Item:Q3402273","lastrevid":50894822,"modified":"2026-01-15T15:23:07Z","type":"item","id":"Q3402273","labels":{"en":{"language":"en","value":"Compositional and quantitative model checking (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665751"}},"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":"Q3402273$A4C71BD4-D06D-4D48-B7A9-82B97F159274","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"203e7f35948c2405fd78189f30fbc254715935d1","datavalue":{"value":{"text":"Compositional and Quantitative Model Checking (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3402273$AF6A5A45-9C3B-4047-B3A9-2A8E21C90A9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3f7bfb474eb958e819b78508221dde452ca8139","datavalue":{"value":"1274.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402273$4C29752C-7DD7-4505-9642-34A1C53CA8AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9d9170680bb6c379c5e67ed7234a59e53edfc7e","datavalue":{"value":"10.1007/978-3-642-11486-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402273$3C229503-3FFA-45ED-861B-8C9BDF9452E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402273$12D420C0-4B83-471A-AB79-3E5F70FDA52A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402273$DE771DA3-834E-4DBD-AE65-5B92FCBC3281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402273$1AD84782-5D3C-4639-8F12-0925FF6057A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402273$5C1346AB-D9E9-4923-8E58-592E1FEE6942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2bee07785bd44c347f72f53bb345bbd2d094656","datavalue":{"value":"5665751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402273$69D7DED7-EDC9-4549-83A7-DF0FBC43CD12","rank":"normal"}],"P16":[{"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":"Q3402273$884604F0-7A65-4C7F-9D00-2C1AAD0DF56D","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":"Q3402273$068F27AE-7B5C-451C-B378-1FF90AD28070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"31bf3027ee57ebf0b4882fe2180aa72139101f2a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11486-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3402273$F407EE77-E215-425C-856D-6C4BD7B7BA8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"436a1e8f5d3b6a49ff0629294bd331bb25419b60","datavalue":{"value":"W1557994546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402273$0785A2A4-4851-43EA-89F9-440771D858E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e30e8daab4f57fd88830344c4a26b2c239f77ca","datavalue":{"value":{"amount":"+0.821090579032898","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":"Q3402273$44A09D11-E13B-4EE8-B7C7-08623DAA2E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec26bf5909b22f86d6cad4cf52fffedcce5c4995","datavalue":{"value":{"entity-type":"item","numeric-id":2754097,"id":"Q2754097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ba8fb739a81b481f491a355c8821ff51a9e5f1","datavalue":{"value":{"amount":"+0.8180607557296753","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":"Q3402273$9B97E7CF-B192-4FA2-9BC5-563FC1827EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2c1cd39c50c03fe715c5e427b49ea871cc596b","datavalue":{"value":{"entity-type":"item","numeric-id":2851668,"id":"Q2851668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17280fa9483c7309f0f93f36c02b3de8c75e17ac","datavalue":{"value":{"amount":"+0.8021059036254883","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":"Q3402273$5A25EAF1-5FEA-41D7-A542-4410B8F6AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bde315b63c24200778e30897f764d9614da5f43","datavalue":{"value":{"entity-type":"item","numeric-id":2894270,"id":"Q2894270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039a88c86d67e2568012f7c190189295d008ea3f","datavalue":{"value":{"amount":"+0.8017584681510925","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":"Q3402273$978D9399-6862-4790-9C86-376ACD85BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959d3e2d9fee2bd612a3fb8d6b0bf11e9ec36177","datavalue":{"value":{"entity-type":"item","numeric-id":703588,"id":"Q703588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e638ed8fc54bdca56251f29c419378da16fc9ef","datavalue":{"value":{"amount":"+0.7976445555686951","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":"Q3402273$5E446DDA-BB31-4D74-956E-F5B02C945D27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3402273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3402273"}}}}}