{"entities":{"Q5915562":{"pageid":8031495,"ns":120,"title":"Item:Q5915562","lastrevid":53285381,"modified":"2026-01-24T15:39:37Z","type":"item","id":"Q5915562","labels":{"en":{"language":"en","value":"A metalanguage for guarded iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983508"}},"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":"Q5915562$F087E2E1-8404-4811-A52D-9F9ACBDFCBBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e8af5163a2da764ed239a3df66bdb270d2cd1f6","datavalue":{"value":{"text":"A metalanguage for guarded iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915562$7C83C954-EF1D-4173-ABE7-1D68417293FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dce899b972574f5c2cc2d27eab7015cfe305bcc3","datavalue":{"value":"10.1007/978-3-030-02508-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915562$725830AD-A9EC-448B-91DF-A5014A8A7977","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915562$7E61976C-CFA0-4E67-8A0B-117BB04887CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef21ede925cbe85297cfcc48f1f46593c90e8b5","datavalue":{"value":{"entity-type":"item","numeric-id":784134,"id":"Q784134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915562$395C016E-0F1B-48F6-8696-CBC0B13E4704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915562$A422FA3E-18E7-4FF3-8F22-A035BD05ADBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b095d0cadab51b1fa9a52c579c272578deeca9dd","datavalue":{"value":{"entity-type":"item","numeric-id":5915561,"id":"Q5915561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915562$2E8FFA84-01BA-4D44-A448-1C07E4DB3312","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5915562$D419FEBF-FFB3-4332-AB9F-75C1ECE3BE28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f256647cfaee3065e14dac24d21f3eb1c393afcc","datavalue":{"value":"https://arxiv.org/abs/1807.11256","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915562$F648FFD2-EF80-4230-BC2E-9CDAA6AB2DF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915562$13399C8F-4980-46D3-A416-5195F7C405DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c5c775a0a959cf51330472a45cf381a2cc96cfa","datavalue":{"value":"6983508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915562$6E00F136-F77E-4B79-9417-12E1347CC2D2","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":"Q5915562$EC076F3A-644B-49BF-88BF-BB43F1951EE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"261b0363e5feb23ee2e45de180e3ed80b2f8226b","datavalue":{"value":"W3185469825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915562$318A4106-5045-4275-8C25-95390B25A91B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b665782e38b710258a104e6cd072b22939ff8fce","datavalue":{"value":{"entity-type":"item","numeric-id":5918344,"id":"Q5918344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b40d9fd18b85a25404b162c718dc6a19a38d14b","datavalue":{"value":{"amount":"+0.9981420636177064","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":"Q5915562$A20EBB39-BFD9-4AAD-90E1-0C508C245512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccdef63ee65ebe5abf0d9b2a8821e4d27014d69","datavalue":{"value":{"entity-type":"item","numeric-id":2988389,"id":"Q2988389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce4dac68b0d9931c32f078ee698b07dde0c5ca9","datavalue":{"value":{"amount":"+0.8059503436088562","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":"Q5915562$121FDDE4-5F84-4FFD-B049-EF52235992A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0389ebd9577ca841f6eb1af628d78e41c2b9cf67","datavalue":{"value":{"entity-type":"item","numeric-id":4968384,"id":"Q4968384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a78f460d72b57f247bbccecec7a007873b6a27","datavalue":{"value":{"amount":"+0.8011758923530579","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":"Q5915562$36EDA4D3-5085-444C-AAA3-EE71482562B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b7f121ea1a1285d6cc96b4291413562cf80d6d","datavalue":{"value":{"entity-type":"item","numeric-id":5009436,"id":"Q5009436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2574420ebb398366ad13fd540ba37038b82e4307","datavalue":{"value":{"amount":"+0.7860409617424011","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":"Q5915562$1FC6D1A3-179C-4E52-A4B2-0E5B4EC9FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b41f81735e523c06416d3d6f7e4c762d3a5e55ed","datavalue":{"value":{"entity-type":"item","numeric-id":5971407,"id":"Q5971407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cca6c285dba0bad992500dc70a213ccc8837218","datavalue":{"value":{"amount":"+0.7820219993591309","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":"Q5915562$A757D253-9C9F-40F1-892B-8678AB775A56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5915562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5915562"}}}}}