{"entities":{"Q4589616":{"pageid":6619201,"ns":120,"title":"Item:Q4589616","lastrevid":58291095,"modified":"2026-04-04T14:28:20Z","type":"item","id":"Q4589616","labels":{"en":{"language":"en","value":"Guard your daggers and traces: properties of guarded (co-)recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805753"}},"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":"Q4589616$6DD04009-0421-44BA-B5B5-A85380AC4B90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48346fe12aea10031ca204e667a3434a897e5587","datavalue":{"value":{"text":"Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589616$CAC2EF8D-682E-4ADD-B9C9-87EFBE973438","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77f024549f70a5f8ea7ccd4eb10d21c888a8d19a","datavalue":{"value":"1375.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$75109052-ABB7-4673-8FEC-17567BFAE329","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d11b6f571fee978f67b50124ee7c806ec89b7fcb","datavalue":{"value":"10.3233/FI-2017-1475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$799A0951-B9EA-48A7-80AF-A6910375D849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589616$0A1205A2-FF3B-4477-A4A4-DFAFFD42200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589616$22FD6344-0B13-4423-8EF5-CAB4C35F7E5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589616$9EA8AE94-EA69-420C-821D-F60C256FF7C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589616$AC383627-4F6A-416E-B3FF-89C0F546616F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29ab6be215549644d1258b7d0cdbc01cef7bff7e","datavalue":{"value":"https://arxiv.org/abs/1603.05214","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589616$9422EEF4-8718-47C0-8845-B04A6852E36C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$D2ECCEFB-DC72-4CF5-AB5D-6585B66001ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$384B7F5B-EFE3-411A-A2AE-18F9A072F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$697D65F8-589E-47AB-8D0F-7E5CAD3B1175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$F797B2E3-2CD5-4E7D-A09D-F34DB5133AE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c755a1a1390a453d80136c5c4f019925e40f0ca","datavalue":{"value":"6805753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589616$6D887D1A-FB93-4D07-A384-D650FBE88100","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":"Q4589616$BCFECE50-5CA1-4E93-97E6-CE44BEA474C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77168cabc5174e77410c253f991d7f9d9a80ddd","datavalue":{"value":{"entity-type":"item","numeric-id":4992899,"id":"Q4992899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b586817d2d795e0b716afeedb1151592406ed23d","datavalue":{"value":{"amount":"+0.9919460415840148","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":"Q4589616$00C2C107-649E-4B35-990D-93DD9F65BB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a049bc00f8e2c23d9e6c2768adfb19a401abcd","datavalue":{"value":{"entity-type":"item","numeric-id":1652996,"id":"Q1652996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dd4ef84f5b276f58f936b6c99c00f60b1cfe01","datavalue":{"value":{"amount":"+0.8198376297950745","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":"Q4589616$444815D9-4147-4A68-BF64-20444B774E31","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":"a9dc21a1d68f0cc4cddd1075640501e25b31a1b3","datavalue":{"value":{"amount":"+0.7870842218399048","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":"Q4589616$E7C0664A-BC9F-4FEE-84FA-490B2FD139E3","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":"4b592f02a0b9be187cd6f49f28da69c2e2ce0670","datavalue":{"value":{"amount":"+0.78424072265625","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":"Q4589616$9C7A1BF0-8428-4D9B-A638-B10B6B91D097","rank":"normal"},{"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":"8ea42f8cce83c833352711c804e285da97b9cd9c","datavalue":{"value":{"amount":"+0.7616616487503052","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":"Q4589616$9430E030-4C6C-4B4B-A0C6-3B6E2F46E3DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589616"}}}}}