{"entities":{"Q4783363":{"pageid":6812943,"ns":120,"title":"Item:Q4783363","lastrevid":48019453,"modified":"2026-01-03T09:30:56Z","type":"item","id":"Q4783363","labels":{"en":{"language":"en","value":"A case study in the mechanical verification of fault tolerance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1841875"}},"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":"Q4783363$064858AA-6A8F-44F8-9268-8DF707D45CD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e665cb1d621dc8e5ebcac57eaa4caa662bd0cd3d","datavalue":{"value":{"text":"A case study in the mechanical verification of fault tolerance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4783363$B917BFBF-B02C-406C-AB8C-27F0F322C036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e289d2619eebc468befc629ea63511371cf0b87a","datavalue":{"value":"1010.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783363$2B35317C-E659-445C-9CA1-27657730EC6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab55db16b5b453150011f84c7135f989e85a440e","datavalue":{"value":"10.1080/095281300454847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783363$C06FDAD5-D5F8-4911-82C3-44FD4CF3FBEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$B448308E-BB2A-43FC-958C-F52C32EFAF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34eeaff0a730c5e0c7ba791082adcdf3000ff15c","datavalue":{"value":{"entity-type":"item","numeric-id":436800,"id":"Q436800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$4425C096-F9DB-4B7A-89CF-4B702049C5B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$8E68A3CB-61C5-4B81-AFBB-9AD58B2F26FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cf73c80cb926fe51132043358b392232a3f30b","datavalue":{"value":{"time":"+2002-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4783363$70F85C18-4847-414D-B101-D4313CD0A1D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783363$B33E285E-6CCF-463D-8BE6-8E696B4025F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"302885e2a0ef20ba9a21ce2cc40ef056ce7d69d0","datavalue":{"value":"1841875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783363$2509757D-5E0C-4FD5-813C-3DE933F1A136","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff513d24e10502d41033b35d41538efbc83c1eee","datavalue":{"value":"modular reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783363$522F3674-84DD-4AB4-92CC-95E03CCADC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728a60392fbbeb8fb0985af3abdb00b6f1f89d13","datavalue":{"value":"fault-tolerant systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783363$6E2675EE-3698-49CC-8165-9E6A1E942423","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$D7E7615D-F9F8-46CF-A1EB-1EEEC2882EC6","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":"Q4783363$42C49511-72C0-4252-A068-F5C7460DBD78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6a10eafecb54e8b0a7e7322294e41ae4b8c0a1f","datavalue":{"value":"https://doi.org/10.1080/095281300454847","type":"string"},"datatype":"url"},"type":"statement","id":"Q4783363$260D8AD0-0260-402E-88E3-017A08140FF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d25ca744f05f657070df1992b71224ae1107b2b3","datavalue":{"value":"W2058759043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783363$FF6C9771-2431-411E-8DE9-134E2D352453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$324FEAF6-B23A-4406-A970-EBEB97911F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$D295D97E-150A-4EFF-ABC2-42A3EED394D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$E348D753-F57B-41C9-A038-B8B6850CCD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$B93AC988-0373-4260-9D29-B2AA78CA5639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$BBB4F6F1-DA4B-4540-A0DF-7F12636CFFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413db7e9e3486e14d698141c457596a3a928e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":1367077,"id":"Q1367077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$C680AD87-6F76-408E-8E38-EEFA812FBB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68570c590aea6577fbdb8c1b492181e368e89267","datavalue":{"value":{"entity-type":"item","numeric-id":1201297,"id":"Q1201297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$4863C54B-5D75-4965-AD6E-35251796E1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b100f22dc7bcd734a5e00b20003f111871444130","datavalue":{"value":{"entity-type":"item","numeric-id":1330423,"id":"Q1330423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783363$6B8E718E-D0BF-4116-ACBE-8262B7E9FC03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f456567a94c89e8fcf49d6cb0baf155a9c0e8482","datavalue":{"value":{"entity-type":"item","numeric-id":4952308,"id":"Q4952308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d84d288313b8608ab0ec74ce420e4a06e37f9ed","datavalue":{"value":{"amount":"+0.7680392861366272","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":"Q4783363$E5E11633-D77A-4A1D-AC07-33FEEB95B53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7398da6ad48566bdaeec82532921db68f08c6d6b","datavalue":{"value":{"entity-type":"item","numeric-id":1330425,"id":"Q1330425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10d39b78f5eea7e697c86f0e630a4a491762f7f","datavalue":{"value":{"amount":"+0.7680392265319824","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":"Q4783363$C98C6528-ED49-4DE9-827B-0C9A36145266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70af52d3f63897dc7577fdb57c747815034fea93","datavalue":{"value":{"entity-type":"item","numeric-id":5754538,"id":"Q5754538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4080d82288dcee7b21d2a2feb3f2d1e15dbe27","datavalue":{"value":{"amount":"+0.7474132180213928","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":"Q4783363$06DD7E92-B7A7-4566-A182-266B9D46341D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32044f3fb51ddb3f58f94d35bdbb3753cc44f9ad","datavalue":{"value":{"entity-type":"item","numeric-id":5464653,"id":"Q5464653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55a1bb6f88811722905c4f1e2980879047c11af","datavalue":{"value":{"amount":"+0.7467926740646362","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":"Q4783363$4D374E0F-E7CC-4975-B710-20364B1F39BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706132c4f847fe146974b37aff86c988ea9b6fab","datavalue":{"value":{"entity-type":"item","numeric-id":5458792,"id":"Q5458792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e89a4bd7bf71db457d1831b41408c8fb335703c","datavalue":{"value":{"amount":"+0.7427935600280762","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":"Q4783363$80228D51-D9FF-41A3-8309-60EB349939BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4783363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4783363"}}}}}