{"entities":{"Q6567707":{"pageid":14178862,"ns":120,"title":"Item:Q6567707","lastrevid":55703551,"modified":"2026-02-17T21:20:11Z","type":"item","id":"Q6567707","labels":{"en":{"language":"en","value":"A proof tool for reasoning about functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876656"}},"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":"Q6567707$3E021C66-20C4-4631-B890-901C621707AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f028967a944b20741447ad2d4db1dfe821d56cb","datavalue":{"value":{"text":"A proof tool for reasoning about functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567707$5BFA1373-586C-4E47-9B23-F519236EDE67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90edbaf4b17f5fedfbca9b140dfe4cc6d617e614","datavalue":{"value":"1543.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567707$272AC7AA-B6CF-4CEB-8C83-AA51BD02B0C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe86daf6a77ba5364e8437e423df805e0187f92e","datavalue":{"value":{"entity-type":"item","numeric-id":2723447,"id":"Q2723447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567707$ED3754AB-D126-46DB-814D-861611B0612F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567707$3B7F96C9-1671-41C1-A4E8-0FF97605B9FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567707$BAA95F8E-3626-419A-A17F-63C9BA8F010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567707$A252F7D5-C172-49AF-BEF6-3222C67616AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567707$FFB4242D-EFD5-414A-A39B-6EB011125F43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ae47ce1f1981cb9821aec03a3a8e61f63aba2b","datavalue":{"value":"7876656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567707$9C72CED5-CEAA-436E-BA01-CA3EF2E120BA","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":"Q6567707$EAC03F27-A77E-4C34-BE6B-BE48B5CA6D5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d3cdc3a8fe04ab8be0b2e3c980c5c222510afd","datavalue":{"value":{"entity-type":"item","numeric-id":3024867,"id":"Q3024867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567707$5C1F4525-B43A-4AAC-B21A-2F3EC61CB0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e931bab6524c19df841d82e431acbd0726513d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4856176,"id":"Q4856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567707$FA7459B2-3205-4D29-B39F-04D15CCAA571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567707$35022649-D36A-413D-A137-1441659D2988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d233e67344072737d280f066a9993fd208f9a94","datavalue":{"value":{"entity-type":"item","numeric-id":3024873,"id":"Q3024873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567707$DD20E243-76D3-4163-8468-35A6B18FB736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26354aae509adca13d07b2fc16a7774541969873","datavalue":{"value":"10.1007/BFB0105400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567707$BCB95FB7-2C1F-461D-B815-7ACB12A5B30B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d33b04e60cd0539d241476a055d3428b577f32","datavalue":{"value":{"entity-type":"item","numeric-id":5464647,"id":"Q5464647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8c4f03795295cc7fab3b2bfd2ab51e53ceb168","datavalue":{"value":{"amount":"+0.7562593817710876","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":"Q6567707$96404257-1D7C-4AEC-A317-2B275CFF889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17a262fe827c993d3cac9909c66d75663722234c","datavalue":{"value":{"entity-type":"item","numeric-id":3623948,"id":"Q3623948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"425ee3f794c867a66624a0954088b7e4dcd78d8e","datavalue":{"value":{"amount":"+0.747056782245636","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":"Q6567707$CB248E1F-4F0C-4B8A-BE07-18BD74BDE6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e7df9e410a17e7a9fe82aa9b0252d2244f09cb","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d22d17e7706c33802323939f0f5740c1b2fdbab","datavalue":{"value":{"amount":"+0.7442035675048828","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":"Q6567707$100954CF-FD60-4948-BF85-57451442156A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040d1e0b8d9f5e97e46baad4df25f7aae1d1b1b2","datavalue":{"value":{"entity-type":"item","numeric-id":4366771,"id":"Q4366771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61890b17d9e079083479d452bd5bc6ca8b321da","datavalue":{"value":{"amount":"+0.7363972067832947","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":"Q6567707$FD977D21-A4E2-4A88-9252-D976BD619539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddfe8706eb56f964bdfd12380be6a420c1d49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746777ed3dca34e0385d2fbeb0910cbb75a0f508","datavalue":{"value":{"amount":"+0.7342020869255066","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":"Q6567707$992AA6F1-CF67-443C-B5F6-DABCF8D42FAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567707","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567707"}}}}}