{"entities":{"Q5718566":{"pageid":7748120,"ns":120,"title":"Item:Q5718566","lastrevid":39842498,"modified":"2025-01-27T18:47:03Z","type":"item","id":"Q5718566","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2247254"}},"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":"Q5718566$3A6C609E-2367-44EB-9303-88C74D58F35E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2e9451a3e495452d5acac9da7ad30f9c0e3b95","datavalue":{"value":"1102.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718566$64589EB4-0C75-4DAA-9148-8AADE88B187D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bed22bc62df500e7e19c7a1e4ccacb492e3950fe","datavalue":{"value":{"time":"+2006-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5718566$1C3F1F7C-0A80-4AB8-88AE-E0A083E14E23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718566$AEEA16AF-E978-4246-A9A3-743784740A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718566$81B74C7F-8B10-4C53-9460-55C3B38CADD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718566$E93C9AAB-FFFD-452D-8874-C03CDA8116B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718566$4D2A8BB3-2D47-47BB-BAB7-9AAD6A8841A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74601131250cf76a45e1dcf508eb05cfe0bea815","datavalue":{"value":"2247254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5718566$F38D3975-6D5C-40E4-99C0-C7A4B815FC55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66954dc55697e3109704b6a7a606f2f25afc2b18","datavalue":{"value":"interactive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$3B47E77C-94DE-4237-A7F6-31A227468BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$9E5C908A-96DC-4B4A-AC3D-790D7ADF3653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$A1C95A9F-F702-4C1C-B286-28FA01911D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c92d1ad143a7e509269fd7192c5aae548246102","datavalue":{"value":"monadic I/O","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$4888EC8C-C28B-41FA-8FF5-21C60B9773B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25cd02022f6d52345a5e51c007f25c76983b7896","datavalue":{"value":"weakly final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$C6C0E927-3C7F-4734-A052-7D2368831FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe27eaf1b18446d01c49bb7a6e29c4c0d1fa574","datavalue":{"value":"guarded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$3EC3717F-2979-4DFD-B0A0-5454762E56A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa88eeefda2663ffe31ef72bf67fc4a581e99203","datavalue":{"value":"coiteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$973FB98E-AB43-4BAA-8581-ECC38C3D5A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$7E9926B2-62CF-47E4-9E73-823B3BF734CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9626c84a08b96c486dfb14ab0c6ad74fed4dc4ba","datavalue":{"value":"state-dependent interactive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5718566$0EB6BB3C-6134-40D9-8EF2-DDEAD078083B","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":"Q5718566$0804E344-A6FC-47C5-8A9E-71255537B6A6","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":"Q5718566$B4C291BD-8E57-4849-9A67-37F67BFD298C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d314eca77b725a7ecd863408b025bc4d09438404","datavalue":{"value":{"entity-type":"item","numeric-id":2849882,"id":"Q2849882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04a721885f4b7deaac806b5e3361a63718dfc47","datavalue":{"value":{"amount":"+0.9127543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$D053B818-188F-4753-AF7E-31DBD1764FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c255d6a590e5593f65102871d92cc4d27751b6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2503336,"id":"Q2503336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94eb6489846e51b26e8c68abf9c398db353628e","datavalue":{"value":{"amount":"+0.88277495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$81103965-5B0A-46B2-89B2-319FAE3CECD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e088cbec1988368e76bc1772341a1c24eb4604","datavalue":{"value":{"entity-type":"item","numeric-id":2753682,"id":"Q2753682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43ee514663f3115f66ad4573919542219e60d37b","datavalue":{"value":{"amount":"+0.8724245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$C38CE419-4D4A-4F64-ABE4-DCD173A2FDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d5a7f7c75195facb34a525a726911d710bb2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5897609,"id":"Q5897609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2fd3618e3cc40b83ca6644c2b91f5d926e3fae","datavalue":{"value":{"amount":"+0.8237684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$653A1B55-8749-45AC-8638-2CB1BCF023E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a32537bffbbf8732107336f2b63efd209ad8de","datavalue":{"value":{"entity-type":"item","numeric-id":5372002,"id":"Q5372002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fef8b9e8c9d5179eef5b83c08c8cace574bcff8","datavalue":{"value":{"amount":"+0.81813383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$342ADB93-58BF-4BA7-8422-46B63FEBC2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a9a1cb2c762ff8bfb3334266634affdfe71512","datavalue":{"value":{"entity-type":"item","numeric-id":5193019,"id":"Q5193019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14716ee59630b8afd48bd70032bce6fa7d72835b","datavalue":{"value":{"amount":"+0.8074457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$B6DC2DC0-8A09-4A4C-B4E5-30F84BAE9E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de650f9c1c06853ad5aa480c6f7ce1a1e9810f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5014439,"id":"Q5014439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0c0a9aaa79dcd6e1622d0f691dd2c02f80362e","datavalue":{"value":{"amount":"+0.79539305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$5135C00B-9340-471D-900D-C480033BF56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef52d51345febc8002a3819e9f1b87f6fe4edcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5372011,"id":"Q5372011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9697b2c035df292eabd74b573565c5e02a289688","datavalue":{"value":{"amount":"+0.79313445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$5ED650BE-BC50-41DC-9FB9-7E43A78CEF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb0096e51fe72945897f2d9dd3aa6e3ce451589","datavalue":{"value":{"entity-type":"item","numeric-id":2985778,"id":"Q2985778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57da97cd7267325b8db37dd44a9b90e73aa7282","datavalue":{"value":{"amount":"+0.7925363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5718566$3D67C8B3-34A8-4358-8582-4FB17F4467DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5718566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5718566"}}}}}