{"entities":{"Q4992899":{"pageid":7022476,"ns":120,"title":"Item:Q4992899","lastrevid":58390080,"modified":"2026-04-05T00:27:30Z","type":"item","id":"Q4992899","labels":{"en":{"language":"en","value":"Guard your daggers and traces: on the equational properties of guarded (co-)recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7357542"}},"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":"Q4992899$9393A81D-822C-47F5-90E3-5F577000FB3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c93992a0bf0e26f11865d83ff975322937aa2e8","datavalue":{"value":"1462.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992899$E258E4E2-3826-4A4A-9472-DF2EC47A1950","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":"Q4992899$61F96008-8DDA-4C50-B098-0809D7C129C9","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":"Q4992899$1BAECA2C-2CD4-4A8A-877E-22C393B67B14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf9bde99ed3c9f1a4df3c98d61827e461c1007e2","datavalue":{"value":{"time":"+2021-06-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":"Q4992899$435DF511-3328-42ED-8F4A-6819A40B4CD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"040172aee99c78b79c4a94bc84e91d04703e1301","datavalue":{"value":"https://arxiv.org/abs/1309.0895","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992899$B9A9BBD2-88F5-4384-B711-DCF8FC1C5EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c03f225cffbf75b19a2e4b281e0de90692a1cc7","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS13.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992899$DCED0D5B-8D60-48F5-88AF-8DDBBA6C2098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992899$7419F4DF-8DD6-449F-AFC0-A17C55641F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992899$FAB3697B-50EB-44A5-8538-F2DFC57DA3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992899$EA72D5D1-E533-42EB-8E1F-7959231D1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992899$F9205D0D-52DD-4D5C-9364-A8B6E10765B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e3ef62baddfeb90bd14f66642fce50a4dff2af","datavalue":{"value":"7357542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992899$BD49EA28-5521-486D-84EC-2E066B4D0210","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":"Q4992899$C427FB67-6B1E-4F8A-9E33-B58C39827885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d78b07d74319f5838ee1b4b5d03a4cd9859517","datavalue":{"value":{"entity-type":"item","numeric-id":4589616,"id":"Q4589616"},"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":"Q4992899$64CF41F8-45B0-4FB3-A71D-9A79A69E8655","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":"5c766271cc539f809903099d24c44ff3e7e1995f","datavalue":{"value":{"amount":"+0.808800458908081","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":"Q4992899$49EFDB75-CC5F-4CCA-8C47-BD16190070D6","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":"b7fb5af9aceaec93fed299b0a82d44473378adaf","datavalue":{"value":{"amount":"+0.7775977849960327","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":"Q4992899$F8403773-96A1-42ED-96B6-1184ACF701EA","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":"fdf0a206b251f47ecdb4f244f491f525f8434a8e","datavalue":{"value":{"amount":"+0.7762673497200012","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":"Q4992899$D18FC500-913B-4BC7-B77D-9800C5DE79D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abc09905da1147c1a800f214238ce1eb70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1704599,"id":"Q1704599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d053fc241d7dcee9e709f456e1c643904648dae","datavalue":{"value":{"amount":"+0.7636904716491699","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":"Q4992899$843AB7BD-8B45-4715-88D6-EFD1F074610B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992899"}}}}}