{"entities":{"Q2849551":{"pageid":2860271,"ns":120,"title":"Item:Q2849551","lastrevid":51829094,"modified":"2026-01-20T06:13:10Z","type":"item","id":"Q2849551","labels":{"en":{"language":"en","value":"Logical specification and analysis of fault tolerant systems through partial model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210205"}},"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":"Q2849551$0E0ECE73-805B-4353-913E-184922D3B1D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93349b4fdebc589cf46cd0ea6d371371e180086c","datavalue":{"value":"1272.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849551$83A5E0C8-2820-4862-9418-8F3546E7FE93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849551$032FCB1A-BBD2-4467-803E-1D5F0A651D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99a0bd6daeb5673e486d816df9db4db3316f939f","datavalue":{"value":{"entity-type":"item","numeric-id":2228446,"id":"Q2228446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849551$D9BF141F-CAEC-499F-8CCC-E98FF98E480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcea2e3355f222b5f3857addc3a0ab28d9cff0dc","datavalue":{"value":{"entity-type":"item","numeric-id":6245022,"id":"Q6245022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849551$C5574BAA-BBEB-4E3C-9248-99665F60C02F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849551$3225B934-13F6-4B7D-B191-94316162878C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"159ba5f9efdb011493d17a25bd18dcfdbf005b65","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104053241","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849551$3C4CEAA5-0B01-4E3B-A3DA-C7462D854361","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849551$F45144E1-0726-43E4-8B2C-923F5654BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849551$178A1801-1290-4ED6-BD3D-E8AEAB729A55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a358c42d2c0f1e105b07d00ec838fa971587d29","datavalue":{"value":"6210205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849551$B6538230-49A4-4F1D-B9A7-CAA3C9F4CF5F","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":"Q2849551$AF943038-3E71-4912-B534-A87BA94C2A05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6140541963bafa1d36b7da6866cb88ba60729ad1","datavalue":{"value":{"text":"Logical specification and analysis of fault tolerant systems through partial model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849551$2549324D-EC23-4987-921F-7D398EA841E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840413a97a81c5aae3b4b290eef25c08019e7976","datavalue":{"value":{"entity-type":"item","numeric-id":2730080,"id":"Q2730080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb2ef30e594ae6607fa3455adc6f6cfc111dc56","datavalue":{"value":{"amount":"+0.8042689561843872","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":"Q2849551$32119383-FCFD-4E9A-A44E-C6D37EB0CF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee23ab2446803e5dc2c4d9889a16b13693fade4","datavalue":{"value":{"entity-type":"item","numeric-id":3347281,"id":"Q3347281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3020169a921a1d83f0af6a48ca8ca092101dbf30","datavalue":{"value":{"amount":"+0.766623854637146","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":"Q2849551$296BE2BE-4714-4C1C-A98B-370C4EE8E47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c9f16645ae1bd89f915a28b04f5e50e13328de","datavalue":{"value":{"entity-type":"item","numeric-id":4520798,"id":"Q4520798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f83c5bbd4fad6e8afd9cd362a763c7189ae579","datavalue":{"value":{"amount":"+0.759812593460083","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":"Q2849551$DA9C7A0A-D3C0-4BA9-AA24-3A23DBCA2466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fac2278b8b3213614e4ce74417e1dc0cab8b9a","datavalue":{"value":{"entity-type":"item","numeric-id":1176076,"id":"Q1176076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3b641b0febe056dae414ebc62feac4f0903782","datavalue":{"value":{"amount":"+0.7540262937545776","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":"Q2849551$9FD7D6A2-7DED-4354-95F4-6CCA428147CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfd56b2a89d39c5255748150839f1bef6e7f640","datavalue":{"value":{"entity-type":"item","numeric-id":2486257,"id":"Q2486257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3082eacd952fc2a8e574913ad42704012a6b8a","datavalue":{"value":{"amount":"+0.7534087896347046","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":"Q2849551$6CD0CBAA-4BD0-4528-B783-9243BE64DDB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849551"}}}}}