{"entities":{"Q1314420":{"pageid":1325170,"ns":120,"title":"Item:Q1314420","lastrevid":68438598,"modified":"2026-04-12T23:43:00Z","type":"item","id":"Q1314420","labels":{"en":{"language":"en","value":"Realizability interpretation of coinductive definitions and program synthesis with streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501221"}},"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":"Q1314420$6745487E-D018-479E-BDCB-C9B61EBEDA23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62df0a68178b896fc6d482cbf475b308ed38dc5b","datavalue":{"value":{"text":"Realizability interpretation of coinductive definitions and program synthesis with streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314420$3AC20FFD-FDBF-4F8F-B985-1C9A617F7C48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a380a302eded4c7b5d0a78e6ea3cbca675c8ed80","datavalue":{"value":"0801.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$7C9430BC-D2F8-4164-928E-60C95736869E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e2e13c2e7ae7b3851a6a7c8183792cb5aab1f7","datavalue":{"value":"10.1016/0304-3975(94)90204-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$E2ED353F-6951-437A-AEB7-46D920567D28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$6A35D4EC-F84B-41F3-AD79-A14804934622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$860D8302-1BD9-46D8-A469-23CB1816CC94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35f07f26077989a46e074a3e6621ef2f811b12d9","datavalue":{"value":{"time":"+1994-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314420$9038AFCD-CC40-4695-841D-F1007C41C37A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$DD6AFB5D-6D41-4E2D-B8D2-C7D7230D892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$A3F5D5C3-1BFF-4805-868B-996D7379A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$80F68C32-D9BF-4AF3-9A94-CC1DCD513A82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"026d9e46531f7778ffffa7001aa81d2f19cb4d0f","datavalue":{"value":"501221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$CAD990C6-9474-497B-A228-980778B049C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e38eddc991256e227a918089c766bfaf67f197f","datavalue":{"value":"coinductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$5EADB5C8-1A70-4A4B-84F6-F8B89976794C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$F60C81A7-9EC4-4AE5-9599-EDC4C8C8E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$47431720-D98E-49E8-8901-3D102F740982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$5A235883-9EF3-4038-BEF7-0D2F5D4AE283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$510843A6-F38A-4703-A4FB-3A256B3509D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846cb546de3cbd1bcf14392ecf63d780b7eb5a14","datavalue":{"value":"greatest fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$780D05E3-590B-453E-8792-052EBD56AEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$B88F8DDE-3BBB-4E1C-B35C-AFFD4C58E342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314420$8379B4E1-FFDD-4781-AECB-4236E9864BDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$954869FE-D223-4D47-99C6-4EC861B31D44","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":"Q1314420$7A7BC53B-A1F6-4F5B-8FE5-FC6C589F0263","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a0c055e9b443d4447eaab8589a4c296f8eae8f5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90204-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314420$0E49A386-F91E-49AC-B38B-1E7C1F758DFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ac09fe4df191fdba39e15282021a9c35e6f0b71","datavalue":{"value":"W2054667551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314420$C9718D7C-C41E-454F-A85F-57EE0A10773A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$F6159E82-313D-44AB-95AF-E1AB3C4E63EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7544da91423b08c51d47a6b3c4b66e9cba2f7f73","datavalue":{"value":{"entity-type":"item","numeric-id":909439,"id":"Q909439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$AEE4EE6E-1A66-4291-BAA5-42F4C199C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$8B6DE880-8456-4D53-9B6D-D438166BFCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947f377ca9b6bb3fda91c2ab02f06c0ede20fc8a","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$1F286538-F3E2-40D2-B27A-AF76091BB8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939e01a663b1e5e6403998f24408568d125ec994","datavalue":{"value":{"entity-type":"item","numeric-id":5096211,"id":"Q5096211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314420$C0211679-86C7-4A4C-A432-F1AD2D2A0631","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f99dc52b1e1c275cec240ada5c0f64286766e54","datavalue":{"value":{"entity-type":"item","numeric-id":5688910,"id":"Q5688910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12f2c41a47b7905acacd37b2b9e2c080dad4fbb","datavalue":{"value":{"amount":"+0.987848162651062","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":"Q1314420$3A1E9047-0040-45EE-9CAB-F5AB0FEC4F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43c8caecbde7694f12ec3164da9e4d96d586bac","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038b837ea7f431c4b6716c3f43a01959b35244ca","datavalue":{"value":{"amount":"+0.8272194862365723","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":"Q1314420$E31F5974-ACEB-4031-B0F0-9552A1924A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d80213a2c062f7c2f483fcce36adba4f0d8444","datavalue":{"value":{"entity-type":"item","numeric-id":3081640,"id":"Q3081640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04bd5f9e9e7f5b78f79e46268e7fbbf5f723451","datavalue":{"value":{"amount":"+0.8254106640815735","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":"Q1314420$4BC87865-1943-4900-B9AA-0395657E1C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6b13962684c8466629888c66ea6edcf94e7000","datavalue":{"value":{"entity-type":"item","numeric-id":3576189,"id":"Q3576189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2e4bbe530a8d530d50a7d3f3518d64853f7427","datavalue":{"value":{"amount":"+0.8211472034454346","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":"Q1314420$8F6B393F-6A46-4EB7-9E0C-F0ABE02871D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7778a3b0fad03a534fe748f7fe793684e3fc1be4","datavalue":{"value":{"amount":"+0.816382110118866","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":"Q1314420$B37DB2E4-F378-42E1-8A53-55DFC69BEF43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realizability interpretation of coinductive definitions and program synthesis with streams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realizability_interpretation_of_coinductive_definitions_and_program_synthesis_with_streams"}}}}}