{"entities":{"Q2709211":{"pageid":2719950,"ns":120,"title":"Item:Q2709211","lastrevid":82800710,"modified":"2026-05-06T22:06:52Z","type":"item","id":"Q2709211","labels":{"en":{"language":"en","value":"Fred: An approach to generating real, correct, reusable programs from proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585293"}},"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":"Q2709211$7AE8F414-4E9D-4AC5-8CB0-2A122F08B9C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"081d4d3d2b487cac02c8f29178e8e2eb272d20ca","datavalue":{"value":"0963.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709211$34A61B02-F38D-4D88-B536-410C219DC87F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709211$07846EA4-4721-4E13-9908-40F90CCD5D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05601a30d2332fb5b5c95c774ac3fc8d65c65046","datavalue":{"value":{"entity-type":"item","numeric-id":2709210,"id":"Q2709210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709211$1356A813-1A4C-417A-95C5-2D998D48910D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b979e3677626f8f1c6e0b80a827f63ed73cd5e","datavalue":{"value":{"time":"+2001-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709211$1B632C0C-5704-43B8-9096-BCD24C449CD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cbfe0b2e0a407759b6709c9697853c2d0666968","datavalue":{"value":"http://www.jucs.org/jucs_7_1/fred_an_approach_to","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709211$D0145319-CC09-429D-B1E8-EB02BFCE158B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709211$69E43A7A-EDAB-4D03-BAD0-8F755312D293","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc37a397be5a489ca3f524171359cbdddc1e45b","datavalue":{"value":"1585293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709211$36A263D8-E4B3-4547-98B1-DEDE2C8DE6E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982750ab9bba5d12f516767283dcad37e368d8ae","datavalue":{"value":"attribute grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709211$1EF03E15-53C7-40CC-8C00-61539901CC62","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":"Q2709211$E8C9AD99-9C23-401A-9DF3-280FC8035C67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60a67fffe31341616421734f20a52c85810c8b9b","datavalue":{"value":{"text":"Fred: An approach to generating real, correct, reusable programs from proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709211$D99FDE67-5F14-4C0B-83FB-F391EB8B5202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c6d23f5e6d6bf1cc5470572ba2ca753041c02a4","datavalue":{"value":{"entity-type":"item","numeric-id":6768184,"id":"Q6768184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709211$8790F3E2-70B9-4A37-A7D0-1D9C8D10C1A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee95f8b8314e459b74ef07fba4d36eb7d931a34a","datavalue":{"value":{"entity-type":"item","numeric-id":2709213,"id":"Q2709213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e062f4ddb5e1c2639e25239bd0506d50b87c7c5f","datavalue":{"value":{"amount":"+0.8896541595458984","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":"Q2709211$7AF02C5C-ED51-48D3-9A88-B3F863B9A253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68bf090af4e70066238797b1ab10c796fb4adf2","datavalue":{"value":{"entity-type":"item","numeric-id":2640347,"id":"Q2640347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59643b36ad5936ae3b6bb080464fb4c5b5c0120a","datavalue":{"value":{"amount":"+0.7554831504821777","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":"Q2709211$98BCFCF5-9394-42AD-80B6-8FD72AA1E868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a1fb8055a298b3eb27d1846216ad45d95525de","datavalue":{"value":{"entity-type":"item","numeric-id":3773307,"id":"Q3773307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2de1e813e151e1b2d3c974aa92eeb4610f10b5","datavalue":{"value":{"amount":"+0.7451361417770386","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":"Q2709211$4BF93265-2230-4FDC-8F1A-52CDBB25CDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbeaeb39d022a4d590b6aa5f88a7725ad9d71072","datavalue":{"value":{"entity-type":"item","numeric-id":4019939,"id":"Q4019939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a07cae42e00a3efba8f97842134b4959941038f","datavalue":{"value":{"amount":"+0.7438386678695679","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":"Q2709211$CEB844F8-7980-4148-B6FE-856B67C4CC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b8317439d3f2fee718c7529156b5cde8e42875","datavalue":{"value":{"entity-type":"item","numeric-id":4694720,"id":"Q4694720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a07cae42e00a3efba8f97842134b4959941038f","datavalue":{"value":{"amount":"+0.7438386678695679","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":"Q2709211$9841B5CB-577F-47DB-ABAE-D9F020AD831B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fred: An approach to generating real, correct, reusable programs from proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fred:_An_approach_to_generating_real,_correct,_reusable_programs_from_proofs"}}}}}