{"entities":{"Q4036557":{"pageid":6066275,"ns":120,"title":"Item:Q4036557","lastrevid":55240849,"modified":"2026-02-05T05:29:45Z","type":"item","id":"Q4036557","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176728"}},"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":"Q4036557$7ED78FD1-67E1-4985-8242-C3A52DA41CA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"737f0558601300bf18c92c3bc41e7a06c53c640e","datavalue":{"value":"0769.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036557$450748F7-D8A2-494F-86D2-FB54A37A984B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036557$0A2A7D10-50CE-41A6-AEBE-4E97A46AAE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036557$C858CBBA-83B0-45E8-B342-96495E7623D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036557$969F3CAD-0B6C-424B-870F-694C475C90FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebd260342b77102d2a5932490e55ad3ae139bdbe","datavalue":{"value":"176728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036557$5649B9CD-F871-43C0-90BD-3A1F0F026591","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2640df5d71bbce7690bb4e23bef618257bef8a","datavalue":{"value":"verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036557$A04CDCB6-04C4-4743-A7AB-AED7279BEB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036557$6578603C-E397-4E70-B60D-7D08359B0F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7dc42f6eb77bf022348cf80be5d69452cd29c84","datavalue":{"value":"stochastic real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036557$1C8BD632-A7E2-4193-A76D-E0754B6F0DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1403a64a54fab9451b4468fa6823ce97ec7978","datavalue":{"value":"branching-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036557$060B74C8-CFB0-4FEA-9B8B-6E1D5C5F9F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995e406bf9943cff5b60451430ba3df724fd61d9","datavalue":{"value":"generalized semi-Markov processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036557$F01A0B90-DA21-4A72-8EF7-B57AED844E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8d4987a9b4a4a5a2afdcac6fe64e718a416131","datavalue":{"value":"finite-state discrete-time Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036557$91D3A57E-527F-47EC-A9A4-9BDFC02C382B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036557$48AA90C6-C85B-459A-82A3-467B26B036B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c2d89859cc335b0ba27e856d6b1afbdeb4530b","datavalue":{"value":{"entity-type":"item","numeric-id":689090,"id":"Q689090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036557$91792CA3-2FB9-4667-87BF-CA4A1BE710ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036557$866613E5-B172-4CD3-9505-C9E400BB278E","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":"Q4036557$43561AAB-93F0-4CE0-BFA7-3DBD4184F928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb8f51e06cd7af3a1e24fa953ae37b4250bd009","datavalue":{"value":{"entity-type":"item","numeric-id":4503927,"id":"Q4503927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db0cae52f80af5777c3e3829c10eca6c9872276","datavalue":{"value":{"amount":"+0.8833368420600891","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":"Q4036557$9F1D9B15-CA72-49D5-A568-FD69B42C5CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28139c6597904d6fa5a48a63bd231a058e8c9a03","datavalue":{"value":{"amount":"+0.8767076134681702","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":"Q4036557$AE29D351-5828-4739-B15F-0E44DA3A0DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"248e4416597f0aeb623d6f274be542d503fc3cce","datavalue":{"value":{"entity-type":"item","numeric-id":5267439,"id":"Q5267439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07acbacd414cc27f0850a30275fc865454a60c63","datavalue":{"value":{"amount":"+0.8590561747550964","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":"Q4036557$00A9235C-351B-473A-881D-1A0A55818D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178619ee87846f4a8f8e495a2dae479458f40149","datavalue":{"value":{"amount":"+0.8576513528823853","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":"Q4036557$A32949C5-5796-4749-AC71-2C80DA9B760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d0dae2625133f96ad04f51eb7cdccd127f47b","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3159bcdb80b8302bbb4c62ba1c97ef24bbd255","datavalue":{"value":{"amount":"+0.8568673133850098","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":"Q4036557$B77F4A76-DDCB-473B-90B9-9DF921EA7CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036557"}}}}}