{"entities":{"Q5310683":{"pageid":7340257,"ns":120,"title":"Item:Q5310683","lastrevid":50182712,"modified":"2026-01-13T10:29:21Z","type":"item","id":"Q5310683","labels":{"en":{"language":"en","value":"Real-Time Model-Checking: Parameters everywhere"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200153"}},"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":"Q5310683$503DBD93-7F01-464E-BCE4-FB339FDB1E9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d54833f756cbde20bc92a388da5cd8acb6d1c1d7","datavalue":{"value":{"text":"Real-Time Model-Checking: Parameters everywhere","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310683$D5292CE6-1B31-43EC-9259-BDDCF4C725E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d3cad2dc47414d05d1f3ac50ee94a986944122e","datavalue":{"value":"1128.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$4B3FB650-CC5A-4099-9333-EA4FD36E514E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4671ecc1e6b335da4a4b5e699b77a94871b9a36","datavalue":{"value":"10.2168/LMCS-3(1:7)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$697A79BB-690F-493A-BE9D-AACC66764B7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310683$1A19F357-238D-437D-A9E8-8B3B84983380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310683$755BB01D-780D-4FCC-B6F8-43D4D4559A5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310683$C99813E2-5C32-4E49-B154-9C9C1E72FB42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310683$D3AB3203-3ECB-4D67-AFF4-ED141C07C696","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$1F84690C-4898-4A74-9650-40120708F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$6C8A591A-6D89-4216-ABF0-9BA14C2282B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$33DA31E1-35CA-4239-8D62-A6963F08045F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$0FA54B36-73A7-48FF-AA74-4382B4B305D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cad5221b3848e915cd623d17ae161a1d1c3c8c37","datavalue":{"value":"5200153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310683$C9449009-6489-4AFF-8AA1-106264A06E78","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":"Q5310683$D577960D-C2D8-4D98-A9FE-2FF5A3508E5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777b659034765ba97ec7584f13d2d6fd89b23b91","datavalue":{"value":{"entity-type":"item","numeric-id":5191509,"id":"Q5191509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84f31245d9743b3591cddc95f8ca78c0b832775","datavalue":{"value":{"amount":"+0.9930446743965148","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":"Q5310683$18AF7DFD-1717-4ED0-9AA9-1E009EF223BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8186a12bab447c11fd2e30f81d62a3384c64907","datavalue":{"value":{"entity-type":"item","numeric-id":5277801,"id":"Q5277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9f02569a8c6b3078a20b2155b5ea2428a1edd0","datavalue":{"value":{"amount":"+0.8539531826972961","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":"Q5310683$13F6DAD0-8228-4007-A7C1-2C92BF63EF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8fd1bb6d753711bea90da658d7852aad9f0b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4418693,"id":"Q4418693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1faada6a813b3c6e65a23adb5846d33c3259864","datavalue":{"value":{"amount":"+0.8476802110671997","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":"Q5310683$979E4157-C7D0-4A86-A354-40EAC0830903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf74bfc70089b0193f8945067a6efd15d74c2305","datavalue":{"value":{"entity-type":"item","numeric-id":2934895,"id":"Q2934895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea941018550bee71110e0072650c12c80fc8010b","datavalue":{"value":{"amount":"+0.8428837656974792","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":"Q5310683$8AE8AB5F-0C31-4CCE-8BBD-7A39F890C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc891cd3cd4abf7c545bf4e9ee204f9581e99c0d","datavalue":{"value":{"amount":"+0.8357581496238708","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":"Q5310683$74637C1B-2715-4BA4-8C53-11FE676E950D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310683"}}}}}