{"entities":{"Q2226734":{"pageid":2237477,"ns":120,"title":"Item:Q2226734","lastrevid":57685896,"modified":"2026-03-31T22:04:19Z","type":"item","id":"Q2226734","labels":{"en":{"language":"en","value":"MetaVal: witness validation via verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307964"}},"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":"Q2226734$D111942F-C145-4F19-868D-AC585006D0D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a06e4db7f31437e6b216acc3421b189292bb4885","datavalue":{"value":{"text":"MetaVal: witness validation via verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226734$2B7CB33D-86D9-4A60-AB19-2B6A50EFBA9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8386849aaa04c25c3f498f42726ebae43f36ee89","datavalue":{"value":"1478.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$529F1FD5-1AE2-4B6C-AACA-01F416530717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb1617dcd8e54ee9cd330bc6059669619b670c3b","datavalue":{"value":"10.1007/978-3-030-53291-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$446A3EE7-C3ED-4D20-9DCE-9CF74593DC8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4125ba106c69323576edaf1300fa9e74bc379cdb","datavalue":{"value":{"entity-type":"item","numeric-id":930432,"id":"Q930432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226734$A52AB0D1-3304-49FC-A03F-48B26C3927EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855ddbacd969a9e9445eb7c516f5e99bbe0b0a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2226733,"id":"Q2226733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226734$530CCCEC-1AB5-4F8B-AE4B-2365800BAB97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226734$6728B878-A454-4922-BE0E-904706B9FAC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$80CEA394-04B5-43A5-ACBF-EEF1471F1B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$F5C2F5C5-3634-4E09-8437-2ACDEBD4239F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$67E8AEBD-5F96-4745-ADA0-C1C8403CFD74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33af9c9f07b319a2957538cced3817756197a268","datavalue":{"value":"7307964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$B532AD84-9C9A-4820-B5AA-48FA5AF48C4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$3C941E34-043F-439F-885F-393F85F1AEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$D136AC2C-EDE8-4187-B1DE-A8FF0390398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$5429E7FD-3F14-4FE5-A6BB-378CAF1F49A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$B81ACF3F-8D15-4DA1-BCE1-3CD10ED5A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58d5c9c0cf89b4b4891f5c481837b69838035e8a","datavalue":{"value":"certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$E8993516-9103-49F6-B596-01E0312E87DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493e4d78112686eb2c3ebbfebf2bcbae1698316f","datavalue":{"value":"verification witnesses","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$1914D144-05D6-45C4-ACA8-6EE03FB8D8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae7653d53885a0029e3b8adbb1462fdef4d13ee","datavalue":{"value":"validation of verification results","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$3718DD82-542E-4495-8908-E5C6126BB026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d98c1d073ee7f939afdbc4ae1dba6dafdea07a23","datavalue":{"value":"reducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226734$0876767D-C9CC-424E-8DA4-0CD8770AECC0","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":"Q2226734$B0805623-84B1-4C83-9B19-B90376314D03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91353892970bce182d7d0d47635a0dbe16360833","datavalue":{"value":"https://doi.org/10.1007/978-3-030-53291-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226734$6E1E2C33-7451-456D-8928-998944475E81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fa27a2342345cf94389ddf3d35d0718597ab433","datavalue":{"value":"W3043762393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226734$BFB0001D-FA1C-4B14-BF2E-DB31212D6138","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b44bb49a7d62d33db7c1ca96c4f492eaf36c641","datavalue":{"value":{"entity-type":"item","numeric-id":5194654,"id":"Q5194654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7cc983649f851f9e3bb5c6e16ae0771ee3daae","datavalue":{"value":{"amount":"+0.7123995423316956","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":"Q2226734$DDE7914E-0802-4544-9699-CA901B8EBF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb1747c92faad7d395ac335eb5397a4cac09f2","datavalue":{"value":{"entity-type":"item","numeric-id":832275,"id":"Q832275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33d630523276b7453e9453343734ba53f3d1ecc","datavalue":{"value":{"amount":"+0.6922153234481812","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":"Q2226734$F8A12A6F-B8CA-4464-B646-4238B349EA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6224010e4277d90a50d38be7e4387a9f0c9c37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1865858,"id":"Q1865858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17199132670d6a4ba717bc3cdd44c107fb42be1d","datavalue":{"value":{"amount":"+0.6824111342430115","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":"Q2226734$0C1ED8A1-829E-482E-8CA7-25C17C0B0F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79920ef7605bb713caa5a42ff8cc7e8602bf01e3","datavalue":{"value":{"entity-type":"item","numeric-id":5899056,"id":"Q5899056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfda7834d3b5dbc5eede33dc6be107f622ca01e","datavalue":{"value":{"amount":"+0.666225254535675","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":"Q2226734$8A839AA8-4957-49C0-A449-3C55BC6DB7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a931a3f8df512eb1a350e565690a12a855d183","datavalue":{"value":{"entity-type":"item","numeric-id":4804916,"id":"Q4804916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19188f4738150d606b73eac915061033ef8fa90c","datavalue":{"value":{"amount":"+0.6641343832015991","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":"Q2226734$F64EEEDB-3E73-4DFD-BA03-509EA09DB6A9","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226734$9CA589EF-3CE9-4974-B2C9-FE8C10107926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226734"}}}}}