{"entities":{"Q4916054":{"pageid":6945635,"ns":120,"title":"Item:Q4916054","lastrevid":51697709,"modified":"2026-01-19T13:13:43Z","type":"item","id":"Q4916054","labels":{"en":{"language":"en","value":"The new Quickcheck for Isabelle. Random, exhaustive and symbolic testing under one roof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155870"}},"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":"Q4916054$A148A0B2-977F-4BA1-BF77-03D3334AB6A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b01365e66b213ba44a3d4b5b4e929fd5ef1922b1","datavalue":{"value":{"text":"The New Quickcheck for Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916054$FE1BCC84-6726-483F-9ED3-BB8723D4F003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"616f48a93604c8a3fb7b60e6bccd2833683721e3","datavalue":{"value":"1383.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916054$E7525C6B-BBA3-4AD3-8020-0D445C18CC27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5829c3cd5ac1350f427cca819e468824baba62ac","datavalue":{"value":"10.1007/978-3-642-35308-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916054$EF4BDC8F-DC11-4112-970D-CBC3F72C26DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f6a76b1a5751a176b642aca232b1b00d17f433","datavalue":{"value":{"entity-type":"item","numeric-id":2891446,"id":"Q2891446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$7D6D0385-2926-4E47-BB9D-402AE54942CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$A739D998-E864-4DCB-B112-D618ED1E36C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916054$5251FB61-C14D-4DB7-8D76-361E4529D4E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916054$54A2A3BF-82D8-428C-AECC-DC552627CBB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c82b0a1c1ba9d6f58c6df4128b35a7787335c3a","datavalue":{"value":"6155870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916054$125B078F-F9CC-48DC-B239-2CCC06190DCA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c4793700802fc4b6806c93ba28d9924c390db48","datavalue":{"value":{"entity-type":"item","numeric-id":21714,"id":"Q21714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$795A288D-C0E9-4A4F-BC93-5898C6ED6017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"657c2b69172e91ce880ab1b5eeeaa41535edcd29","datavalue":{"value":{"entity-type":"item","numeric-id":21715,"id":"Q21715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$EA25A1EA-2826-4E6D-8A6E-BB69F86FECD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$6C312955-7D08-486B-BE94-C9506BBFE4E4","rank":"normal"},{"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":"Q4916054$06FE981C-C834-46C7-9A30-5A916A9C1370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$6436CC4E-28FF-4B42-BDE6-46F0FEF52C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$A470889C-6D98-42A3-B8FB-22574D8B56E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916054$2401A21B-113B-4E25-944F-A41EB66E563A","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":"Q4916054$422F9D78-0195-4B88-947F-D7358AB6F5DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd1df967e7aeeca235be2d0a706f52c80299080a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35308-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916054$6D0F680B-89C3-4C95-86B2-1A1C86D373B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21b5348f65b37dd6d86c9df7b2aacb9942ae04e2","datavalue":{"value":"W1507441114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916054$E6EF01DB-F856-4183-880F-30653F128A35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cbff27cd6dc88db32992a568d5380594e729c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2891447,"id":"Q2891447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce900410f253b6b20561816738f28ee4c9673937","datavalue":{"value":{"amount":"+0.8082971572875977","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":"Q4916054$2007E9FF-E686-4BC5-8AED-C1EA51AE5675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74a82172e8d2e3206534bd6eace46c46c7771ac","datavalue":{"value":{"entity-type":"item","numeric-id":2909153,"id":"Q2909153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4a0683cf7269a80127009f5c1b79d745583bb56","datavalue":{"value":{"amount":"+0.7605740427970886","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":"Q4916054$A5EEDAAD-EA40-4A7B-AEC2-F487A6DBEE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db2bb10ecc705215cdfbf0270a38f2d76925583","datavalue":{"value":{"entity-type":"item","numeric-id":470025,"id":"Q470025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ab4f7faf5a5e7a449f4114e438ae8a9ccf40e1","datavalue":{"value":{"amount":"+0.7381712198257446","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":"Q4916054$B10EA95B-7F8E-4449-B489-C118CAA035C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0deab03664bb05ee0ab93f02e3e2aa8174c99308","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f55ee582ce501ce26cbf6ff0874407abddb9c2","datavalue":{"value":{"amount":"+0.726922333240509","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":"Q4916054$57E88742-FCC8-4172-A7F0-05722C678643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a67c67d4c012926c268edac675be709f69b2f2","datavalue":{"value":{"entity-type":"item","numeric-id":1624592,"id":"Q1624592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebfd7a42df2bba5b743a3e5228d820d0d441904","datavalue":{"value":{"amount":"+0.7154518365859985","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":"Q4916054$3A3D5585-3707-4388-8BDB-5B27555FAC0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916054"}}}}}