{"entities":{"Q2891447":{"pageid":2902172,"ns":120,"title":"Item:Q2891447","lastrevid":84877115,"modified":"2026-06-03T03:06:18Z","type":"item","id":"Q2891447","labels":{"en":{"language":"en","value":"Smart testing of functional programs in Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046609"}},"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":"Q2891447$976CBDC6-2060-4291-9E85-A90F83873BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69a91014edeb34a225f4989f04ca89d336b65485","datavalue":{"value":{"text":"Smart Testing of Functional Programs in Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891447$986EB168-472C-45C4-BCF0-5F9D2A945886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bceb6a7d7a1dc21e415c7b4c9912ef7ad758f87","datavalue":{"value":"1352.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891447$EA3A2495-A841-4976-91C9-55ECBBDB52BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"383e696ec970842f0e3370ad8f481a1bc1c544b6","datavalue":{"value":"10.1007/978-3-642-28717-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891447$837D3713-A3C0-4144-A8F9-E5CE08147D55","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":"Q2891447$A1A75256-C0AC-4925-BABD-D5E107429D81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891447$D5B8B508-396F-46E5-A784-BA566B177D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891447$A8389D25-F9D9-461F-8EE7-48C3BEDB5C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891447$F6ECBB69-F1E8-413A-81B3-42C7488F9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891447$854EDB26-EA33-4941-B9F2-4454537DAD9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb81c3e49fce6866be308c0f4fade02bd6e8a671","datavalue":{"value":"6046609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891447$B40DFF1E-961D-48C4-B2D1-B15DECA7C549","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891447$1A00B298-A94C-4D05-8B81-AF33112D51E1","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":"Q2891447$B572AB58-A112-435F-B1EE-06D0EBFE4144","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":"Q2891447$51BBBF0B-5D9F-473D-9A69-811EC3EAD836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891447$B2A64AA4-96B1-446D-B9BD-39CB36FF0DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c046302539f14b2ad63336b9fe377db050f17169","datavalue":{"value":{"entity-type":"item","numeric-id":18557,"id":"Q18557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891447$DC24912E-C009-4E27-903E-6D8CBC217AC7","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":"Q2891447$6757FF76-406D-4064-B6B7-79F0B21D4363","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef512b2f94d0e4427c9dcaf586e8873e2676238","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28717-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891447$431AE3BB-5654-4BA7-967F-CD85A94CE3B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dba7913fb48290315fecb901f10c5c30dee80f69","datavalue":{"value":"W37906187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891447$8B2AF50B-F55E-4D33-B26E-9BD9990EF9D5","rank":"normal"}],"P1643":[{"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":"3718fa02e0c567242919641ddf06256830ca2df2","datavalue":{"value":{"amount":"+0.9467360973358154","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":"Q2891447$C1AE585C-27C1-4BAA-BA30-B2A52E75264E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886992ee869413cc1904993b6cc35c7699115271","datavalue":{"value":{"entity-type":"item","numeric-id":4916054,"id":"Q4916054"},"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":"Q2891447$4131CA1B-673E-41FE-A1B2-94A65A59F6E8","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":"e75031dc4b1b5bed90de5ce01dbcaea4a52ae3cd","datavalue":{"value":{"amount":"+0.7764055728912354","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":"Q2891447$D9CA5848-8364-4501-8FCF-6E8877EAD472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f8d744b05816c910e19f8299304b2f749c65c5","datavalue":{"value":{"entity-type":"item","numeric-id":6039393,"id":"Q6039393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a91172a6eb594766d0ac52bb84f0a16b385954f","datavalue":{"value":{"amount":"+0.7352696657180786","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":"Q2891447$DF4CDEED-87B6-46C4-9396-625F0D85FECB","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":"7ff1e59247903df59d4c477f66771d775c612873","datavalue":{"value":{"amount":"+0.7229136228561401","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":"Q2891447$6F7B33C0-ECC9-41A8-8B34-619EB21E6B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smart testing of functional programs in Isabelle","badges":[]}}}}}