{"entities":{"Q5144643":{"pageid":7174214,"ns":120,"title":"Item:Q5144643","lastrevid":100344440,"modified":"2026-06-05T21:54:31Z","type":"item","id":"Q5144643","labels":{"en":{"language":"en","value":"The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7297845"}},"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":"Q5144643$B2281472-45DC-4941-A47D-711E4C9D58EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc5cbd2cb7f2085a620d343fcf03edb6ac6228d6","datavalue":{"value":"1452.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144643$F09A7933-0DD2-4BF4-8B34-488DB5CF92E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144643$6C107FB0-9261-4A9C-8A62-E9176ED932C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a6366eff7aaafbae626df7f8f5d9201314819a","datavalue":{"value":{"entity-type":"item","numeric-id":2319983,"id":"Q2319983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144643$C3E6C897-59A5-46DF-8727-BF5419BADFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5144643$BADEDC67-6A89-4163-9A61-53FAD5610A21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1a70f16fd8e81a4c35439aeec3d3645cd1e55e6","datavalue":{"value":{"time":"+2021-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5144643$9F555090-95F1-494F-BDFC-F3AB3CABEFCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1233a304148277ce1c477043155cf2da1e94b853","datavalue":{"value":"http://dl.acm.org/citation.cfm?id=3330032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5144643$C6BD89E9-6519-40AD-9DC4-237926F13435","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144643$2CFF7D18-8847-40E6-90EE-15978268847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144643$C748D22A-6E08-493D-A55B-565884357F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aa5f3d0c0741b30013eee6a56792bdbbba2dd51","datavalue":{"value":"7297845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5144643$B4D41137-ECE5-4118-B382-A48FAB950A9A","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":"Q5144643$DF394236-5634-4A6A-B0CA-0C738C41AD29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e691b540aff59dddc761b99e49777d978e5ed2","datavalue":{"value":{"entity-type":"item","numeric-id":5971393,"id":"Q5971393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ea9514020c9c8c783e3ca3805eaf87ba9a23eb","datavalue":{"value":{"amount":"+0.8456584811210632","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":"Q5144643$11FB989F-01D8-41CC-8664-489EC8848E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c095875774ffee57b0e0e5306fd68355b8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":2811330,"id":"Q2811330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c547ec1fafc619798a82bc52e9c6edb3b8eff0","datavalue":{"value":{"amount":"+0.831521213054657","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":"Q5144643$30CC4E2A-9C99-4676-8EC3-45741E8D68FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032e944735cb8eced73fb24ecb5a2f6a764363de","datavalue":{"value":{"entity-type":"item","numeric-id":5139284,"id":"Q5139284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106dff8ea887ca7f2b4687e2b6610509339b7a86","datavalue":{"value":{"amount":"+0.8154547810554504","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":"Q5144643$D06117EA-788F-4735-BC6C-59B3C868BCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2fd2ea949cff30d672bb1718381e792518d224","datavalue":{"value":{"entity-type":"item","numeric-id":5145367,"id":"Q5145367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362327958411638df37dd07f0ae975e373c355ee","datavalue":{"value":{"amount":"+0.8066736459732056","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":"Q5144643$882284BA-4CA2-40AE-8EA9-28A86B3F1844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6922a340f259f222c652fb9237b5b015ff20319","datavalue":{"value":{"entity-type":"item","numeric-id":2974778,"id":"Q2974778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b80be5223f645b1b578bf08c67c72150805395c","datavalue":{"value":{"amount":"+0.7936803102493286","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":"Q5144643$E2D1A0B5-5126-4375-87B6-BD915162AA88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_clocks_are_ticking:_no_more_delays!:_Reduction_semantics_for_type_theory_with_guarded_recursion"}}}}}