{"entities":{"Q4645744":{"pageid":6675325,"ns":120,"title":"Item:Q4645744","lastrevid":97919807,"modified":"2026-06-05T15:48:27Z","type":"item","id":"Q4645744","labels":{"en":{"language":"en","value":"A quantitative partial model-checking function and its optimisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999993"}},"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":"Q4645744$CBC844D9-8ED8-44BC-8B29-CB660C1777FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a857a8bd11dc6c836c20ae98bad78fbe901d8531","datavalue":{"value":{"text":"A Quantitative Partial Model-Checking Function and Its Optimisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645744$C9A418F9-7745-408D-825C-40FE13AFC89E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2837838d2401d8c473f49d380e42df8b54afa585","datavalue":{"value":"1403.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$604B7085-7551-40FA-9E61-683B834C3997","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b13bb8787cd055b65a65b1882c38bd4deb0aa91","datavalue":{"value":{"entity-type":"item","numeric-id":239556,"id":"Q239556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645744$78DC054F-0CFB-43D6-A7DA-B1946DBDD403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2cacc9dbdb56044ba665838942ae7852e41de","datavalue":{"value":{"entity-type":"item","numeric-id":692279,"id":"Q692279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645744$B6CC7157-F230-4D58-9653-0A5ED39FEDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b85552697d0a8bb8038c8ed5a08bb25091f23a55","datavalue":{"value":{"entity-type":"item","numeric-id":418361,"id":"Q418361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645744$DE3306CB-0863-4707-9F93-99E27B82B6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9617be33a04916e8cd44fb68d00e3c0f51e24e76","datavalue":{"value":{"entity-type":"item","numeric-id":344545,"id":"Q344545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645744$8B4CACD5-DADB-44BE-8F1A-CB0F7CC50FFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645744$1E5A1341-FC9B-48AC-94CA-92BE13646856","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645744$CD6AD0C8-9E70-4D34-A01D-7D85EE230936","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$469AD525-381B-44DC-B3B6-750E9FFD056A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$F0CBBF8F-5F33-41A8-9796-3AD0EB125F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$709ABF0E-0930-48FD-ABDC-A974682D7042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06f8d44ba20a8ed380c467ba31b4d7cf6109b018","datavalue":{"value":"6999993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$304E9F28-C36C-47F0-BF3A-38474BAAB4D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b673b017533274db90e7b133bfb19266b897167","datavalue":{"value":"partial model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645744$EC5A8B33-50F4-4613-B45E-9EDEA2ABEBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645744$48C3152D-73CB-41A4-8919-3E339C3568D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d9324f9aeeea351a8db73f8cf20002060b26de","datavalue":{"value":"optimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645744$563CBAF0-D3E9-4640-AA11-B55E18A551C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10a58454d881a22ac308d0fd7d66a1b96a23a64","datavalue":{"value":"quantitative modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645744$4F170127-D13B-4C1C-89E1-66A63CCB06E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2aa4b2f3243f225046bc1493e654edb44848a19","datavalue":{"value":"quantitative process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645744$1CDAFCB0-2718-4FF6-8B86-CF58D796251F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c26c4a4469b5feb9b12707360465322684d92a5","datavalue":{"value":"quantitative evaluation of systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645744$5B7207D4-F9B3-4F22-AFE7-007B9B149FE9","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":"Q4645744$CBCE263D-633F-4B48-B729-81F88DB51A6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdda8efc1873fa7941fc267ef49afa4f2aeb5d6a","datavalue":{"value":"https://doi.org/10.29007/rb2p","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645744$54F52D60-E6DB-4A7F-AF00-46498FD640A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2634341563213c209fad48d9f92e11ba1a44f2f0","datavalue":{"value":"W2739991869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$113AB936-0B8B-4482-AF22-A0A452506784","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cce82b5be1908529c6dd996c6ae490f404da72b1","datavalue":{"value":"10.29007/RB2P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645744$34C6B053-E43D-4BD0-8A0B-64C6203B105B","rank":"normal"}],"P1643":[{"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":"f8cd15167905a4c7abffe65a124aeb485b70e695","datavalue":{"value":{"amount":"+0.7398831844329834","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":"Q4645744$832CC640-F630-4DFD-A3C4-CEC58203C1AB","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":"c96b1d1e22c5828c0328cfe9cbba59261b64e516","datavalue":{"value":{"amount":"+0.737080454826355","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":"Q4645744$5A1D2C99-961E-406D-B7EB-04EEC57103B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e453b55fff9aa4dfd4ce23c9986a02d2e13412","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd11f32730776e23ab09a13ce6493e15ee3e8f3","datavalue":{"value":{"amount":"+0.7365607619285583","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":"Q4645744$8C2EFC7D-D794-4194-9576-AB647C5568F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea0914b13a36df7310eae0e57882082788752b2","datavalue":{"value":{"amount":"+0.726588249206543","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":"Q4645744$EC30E407-21B4-4146-8176-F94969E45E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11ed5cb4765b2c22d31ee849771487bae0e6f0e","datavalue":{"value":{"entity-type":"item","numeric-id":4635586,"id":"Q4635586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb12d55e3dac347c9671df48e126000d0408a53","datavalue":{"value":{"amount":"+0.7183970212936401","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":"Q4645744$4A33E264-D222-49D5-B7B3-74593E0BECAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quantitative partial model-checking function and its optimisation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_quantitative_partial_model-checking_function_and_its_optimisation"}}}}}