{"entities":{"Q2852036":{"pageid":2862756,"ns":120,"title":"Item:Q2852036","lastrevid":51838592,"modified":"2026-01-20T07:17:27Z","type":"item","id":"Q2852036","labels":{"en":{"language":"en","value":"An approach to post mortem diagnosability analysis for interacting finite state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213647"}},"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":"Q2852036$1D66BC79-82C9-4619-B449-BDA3D90BB040","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deabff22c6ce8d111563235b3372d0397bce8adc","datavalue":{"value":"1273.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852036$A87C8019-0E4B-4822-8154-5DB9017FDF91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7736542046f33f156fb756422474afb2e50701d8","datavalue":{"value":{"entity-type":"item","numeric-id":2852034,"id":"Q2852034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852036$D6CDE176-D851-4CA1-9E84-A68CB40A84AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05debd28d30b5b089c81f4235d4b68fae4d5a6f7","datavalue":{"value":{"entity-type":"item","numeric-id":174606,"id":"Q174606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852036$6087718D-B430-42FD-A53B-4C79304B4C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e06a441b6d80262d26dd81ae3a94694baa0f8099","datavalue":{"value":{"entity-type":"item","numeric-id":2852035,"id":"Q2852035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852036$7EA4D48F-250F-49A4-914B-21431437A6E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852036$F6893A43-2267-44CF-894B-DAAD4EDA66E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc0716d53739c490a303f620c0f994dcc6fc26d8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000740","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852036$9F554303-71DA-42B5-875A-746982EBA4E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852036$ADC9A2C3-72EB-4C21-939E-009DD6B4171F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852036$4833F61F-86CD-4B61-9BCD-34AFDB61ED96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21f6f94365e2b8786a8d415a9ce4b5dc4d38b7d4","datavalue":{"value":"6213647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852036$C1DBF36B-8BD7-4A7E-BDAB-07BAD3EFB93C","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":"Q2852036$BA86B2A6-F267-4D44-870E-459F2AF855EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46732ef6b7c163a205a3ad90d78a15e1d410e76d","datavalue":{"value":{"text":"An approach to post mortem diagnosability analysis for interacting finite state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852036$5A760088-AACF-464D-AA5C-EC1E8DDD1803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ad73dacfa2435f1a2ddb39d27469d128b5b541","datavalue":{"value":{"entity-type":"item","numeric-id":962191,"id":"Q962191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcfca553c48640a63fc79fdb3e421a8dcb70657","datavalue":{"value":{"amount":"+0.7405424118041992","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":"Q2852036$3BED96A5-A595-4AE5-8DF4-CDC01EB50EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940add302d5ce51fabcde17d727200a860c17019","datavalue":{"value":{"entity-type":"item","numeric-id":2988919,"id":"Q2988919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300c661f01336dc583e61c9c64c4ac6523eb48b4","datavalue":{"value":{"amount":"+0.7243218421936035","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":"Q2852036$7DAE6E65-6598-4794-B61F-E4F5C369D24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46595df2f3ad3f4304d2333c5529d1e42c52a5e","datavalue":{"value":{"entity-type":"item","numeric-id":732254,"id":"Q732254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41740fb93269cffdfbc97a6e0d11aea0c1a70307","datavalue":{"value":{"amount":"+0.7192370891571045","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":"Q2852036$CB4A3640-A423-4DBB-B28B-A96F31B777AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3adccddc81d0eda2ed0012d716f0789ccf92f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5117254,"id":"Q5117254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0cefb1de2f7850f9c9bb9ba65fab2bec8afb31","datavalue":{"value":{"amount":"+0.7099575996398926","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":"Q2852036$85AA10BA-F011-4CE5-A5BF-19699130199E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1aadffdceec9da6d069816f3f262a77309c744d","datavalue":{"value":{"entity-type":"item","numeric-id":513189,"id":"Q513189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f42ad997b8ae059d5a74679fb10c940dcb21dc","datavalue":{"value":{"amount":"+0.7062807083129883","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":"Q2852036$8FC4FC7B-5C95-4340-9EC8-E3B6F94B0EE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852036"}}}}}