{"entities":{"Q5688910":{"pageid":7718470,"ns":120,"title":"Item:Q5688910","lastrevid":46762089,"modified":"2025-12-25T13:19:21Z","type":"item","id":"Q5688910","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 970725"}},"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":"Q5688910$2A6BBFC3-435B-4D74-9724-5887227A8906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca8c93d248e9eb83a37887d43e221a9d64474148","datavalue":{"value":"0860.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688910$AFF6864A-7EA0-43F8-B551-57D8BAB372BB","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":"Q5688910$7A11E17C-DB91-4BAC-AE08-5E5DC15DE6A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bc48ff7272712d3abc20a4d87040a18a4c3fff9","datavalue":{"value":{"time":"+1997-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5688910$13DD9BA0-8A15-4715-839A-E5141FA25B31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688910$6A39E13D-3BC9-4988-ACD0-FB552A3A6DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688910$CE3B0510-1F81-4D98-88CF-6B60A5B8E581","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb2c77c7020873523dfaf85184c6594c749f7d42","datavalue":{"value":"970725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5688910$1C652BFA-093B-430D-A314-9DC21F902938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$AD1909EC-02F6-4564-9CC0-DC83F0E77FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$3A4F115A-FA5A-4854-B5D8-6C19CDA7125C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$1609748C-5406-4BDD-B625-A7A0ED0DB084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe13fb5d918b9b1d5a3e37985f22bf4eb1155a2b","datavalue":{"value":"realizability interpretation of coinductive definitions of predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$976E6F92-3D2D-453A-B34F-B9EA962FA6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eff9850ed7cf0e3e8a1cdf9d1513fa101d53315","datavalue":{"value":"extraction of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$49C92A16-F4C9-42B6-8079-6CD79234B894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$D6F94B3C-28F3-4724-A018-27E61B4AF70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24bb3c56bc1379f34c2a8039d5be99f1d3eddaa8","datavalue":{"value":"untyped predicative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$4369EF06-7E98-43B6-A201-B34845877E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$4DA1D9CD-E1D0-47E0-9BDC-B2CA5808D339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846cb546de3cbd1bcf14392ecf63d780b7eb5a14","datavalue":{"value":"greatest fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$E9393BBD-F60A-4C6F-B86E-CF4C9F486A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4f2b6b83d22b3ecf77f580d3bd970b8e9a14a0","datavalue":{"value":"extensional equality of streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$6650E5D0-702E-4F55-AF87-9A81FCB0142E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5688910$9336753D-6AD2-44B5-A375-944C4C493301","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":"Q5688910$DB37A159-552A-40F8-9901-281CE1B607C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64015406b821fce89f52c5e97e56c1d4fde683d1","datavalue":{"value":{"entity-type":"item","numeric-id":1314420,"id":"Q1314420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b23518beacc46de9227eef3a61a975d973faadd","datavalue":{"value":{"amount":"+0.9899635910987854","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":"Q5688910$C03A4639-0E59-472A-9C92-E2E926F18EC5","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":"781bdc9a2583859252cdb03d8df141aa8624d46c","datavalue":{"value":{"amount":"+0.8321711421012878","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":"Q5688910$342A4E3E-DCD5-4BE8-ADEE-3FE714B9A40B","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":"c35233eccb4be4583fca4bcdbd1151f45d34ca2d","datavalue":{"value":{"amount":"+0.8295794129371643","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":"Q5688910$A62EE77B-77C9-4172-9006-0AE21D92C964","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":"dd685119799eacffb845608964783a941319f554","datavalue":{"value":{"amount":"+0.8271646499633789","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":"Q5688910$13033FDD-6E15-432D-9E2A-BD170C360D16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5688910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5688910"}}}}}