{"entities":{"Q4647837":{"pageid":6677418,"ns":120,"title":"Item:Q4647837","lastrevid":51590867,"modified":"2026-01-18T23:09:59Z","type":"item","id":"Q4647837","labels":{"en":{"language":"en","value":"Collaborative verification and testing with explicit assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103222"}},"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":"Q4647837$00D293DC-65AA-443D-9E68-B14EF95F1B14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c860d76aa0537ed7e16c2c4e37d07bdd769ca82","datavalue":{"value":{"text":"Collaborative Verification and Testing with Explicit Assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647837$08F4FE89-822A-47CF-B92F-B1DCF97048D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"234229ebd443506dea0ffe2ef577ef889a1efe03","datavalue":{"value":"1372.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647837$9F70D46F-32C0-4ACB-891E-A7B9800D7E69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03f5289227a3f4f5a997768a79e812802c2258c","datavalue":{"value":"10.1007/978-3-642-32759-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647837$51F207D4-A870-4674-93A0-01AC8C7A97EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e38342e6d11b01a571d41939a71d79db002190","datavalue":{"value":{"entity-type":"item","numeric-id":2145349,"id":"Q2145349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$6FFB57C9-4F15-401B-AF34-207BB243B38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a35f7bcc35ecef12900b8d681e0c43da878793d","datavalue":{"value":{"entity-type":"item","numeric-id":240898,"id":"Q240898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$1FB28DD7-09FB-4EEB-861B-194692A44477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34b2a4a88de19fb0376553c5b86fa81036b86df","datavalue":{"value":{"entity-type":"item","numeric-id":2145350,"id":"Q2145350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$513A6A2B-FEFE-4899-B32A-34B252F0DFE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$E70CAD71-7FEB-44B0-AF18-86087A76E71F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647837$F1B1913E-D646-483F-AF47-95454C213AC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73a895849480317753e20a7b788ac7d3f321f062","datavalue":{"value":"https://kar.kent.ac.uk/58948/1/FM-2012.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647837$EB264D54-4D40-4F6A-A2F6-A6C10F0D6DF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647837$C7B96625-B83B-4CE6-915C-8574F8EA1946","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"025034dc6db363a206a0241f8ab23d39b2ff2166","datavalue":{"value":"6103222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647837$A10437A8-3054-4817-B28D-E8E9B8597769","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$46473EF7-7104-4289-B7C2-752CED77F877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$31094DE3-82FC-4502-886B-EF50D9A12F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$1A9522E5-B6E5-4D5D-BA38-0DC205F72904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4b1f92574c8d5a5c01193172313aa9edb8e24a8","datavalue":{"value":{"entity-type":"item","numeric-id":24720,"id":"Q24720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$3EEEC67E-F804-4798-88CB-C40AE70FA3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$996AB469-175D-45AD-BAA8-186FA2F5619E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$AF6DA75A-21CF-424C-A0C8-E35D013AE0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$8816FD13-3FC7-40A1-B1D1-11A89F7027CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$DC3EDD78-A469-434C-A000-70960C8BFE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$F8DE485C-8FCF-4836-8C09-67DF45C8D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$48A3BA79-9C2A-4141-8822-692EBCD660CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647837$748973BF-44DD-47DD-9FF2-172C2396333D","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":"Q4647837$0D7AF477-04BF-4879-9D67-1A8EFAD48946","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a8abcb1c3eb76185abb32115f3923a6d8830702","datavalue":{"value":"W127773936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647837$88FF4E24-F9B3-4D10-8A28-FB76FD27CD89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc70c595c3ae336c921ab3e9c4df75b66823066a","datavalue":{"value":{"entity-type":"item","numeric-id":4417809,"id":"Q4417809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4e9dd6adff9ae9b484876e25195ea2f91c3efb","datavalue":{"value":{"amount":"+0.7198681831359863","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":"Q4647837$F84587CA-B054-43B3-9380-4126E25F1613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ab1d3a3f59c967d01e2e6ce90754107df83dab","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6edf9fd6e2ffd6ab0413db7e42d4edc977c803fe","datavalue":{"value":{"amount":"+0.6829163432121277","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":"Q4647837$D9DA155B-B75B-4C07-B8D7-D8E42FC263E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc7ba01dd0cea9048b91b9c2ebf54e3e3eaae76","datavalue":{"value":{"entity-type":"item","numeric-id":4778702,"id":"Q4778702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d58ed928299eafce02588c501260c45f82a69a","datavalue":{"value":{"amount":"+0.6671268343925476","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":"Q4647837$FA6D0A0F-D26C-4884-9E56-CDFE6338A041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d1c1822a9f4c185400bde7af500852d5eaa02b","datavalue":{"value":{"entity-type":"item","numeric-id":3296319,"id":"Q3296319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2605f9ae8d4093a2054ff2b418bf919fc625487","datavalue":{"value":{"amount":"+0.6589494347572327","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":"Q4647837$C8F454B2-FA52-4A05-A879-EBD083F22D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aee9b0ee0b9e1f6ad2cfaa09c83b5665b60942","datavalue":{"value":{"entity-type":"item","numeric-id":5178839,"id":"Q5178839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88d2b7799ebbb8d5ce294227208079feff876bb","datavalue":{"value":{"amount":"+0.6563601493835449","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":"Q4647837$5138575C-FC21-4525-8F9D-DB93357AF640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647837"}}}}}