{"entities":{"Q805246":{"pageid":807094,"ns":120,"title":"Item:Q805246","lastrevid":77860859,"modified":"2026-05-06T10:13:29Z","type":"item","id":"Q805246","labels":{"en":{"language":"en","value":"On guarded recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4203733"}},"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":"Q805246$8EF5EAE7-7A94-4A1E-9BF9-FEBDE0F8EE45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0887429f89ddda6d9a3897285e0aea6f1c174b3b","datavalue":{"value":{"text":"On guarded recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805246$B966114C-8F4E-47B1-9F2A-BCA365F4E75F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46990ce9300b6a53d544c15c77afaa003d457e4d","datavalue":{"value":"0728.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805246$F14C1501-1A9B-4C93-A830-5CD134E2A5FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3236c3598d225d86dfcf0a1c3e40f4d93cec8c68","datavalue":{"value":"10.1016/0304-3975(91)90231-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805246$D2E4A272-9F99-44BF-A964-0B82BA3FD2B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"676bf375f547cb28c0bec5be0d58668c6af73045","datavalue":{"value":{"entity-type":"item","numeric-id":805245,"id":"Q805245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$9300E650-1CC0-4D3C-8222-3A75133D66CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271829170669ce43b1b4f10856578a74e1f3e05f","datavalue":{"value":{"entity-type":"item","numeric-id":557785,"id":"Q557785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$4EB91AF2-BD50-4F17-A713-182BDFC329B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$346ADA29-531B-4F06-A10B-877CF1BFC7E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q805246$21E6E2E1-953C-4180-B031-B1F3ED92799D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ba4a289c8a336ad594db3af539db23d33c74573","datavalue":{"value":"This paper presents the new logical notion of well-guardedness for recursive terms on arbitrary signatures in process algebras of structural operational semantics. Then the authors suggest a simpler form for the logical rule that gives the behaviour of a recursively defined expression in terms of the behaviour of its unfoldings. The logically equivalence between the simplified rule and the general rule for well-guardedness terms is proved. Finally, an important feature of this simplified rule, that the terms appearing in the premises are always simpler than the terms appearing in the consequence, is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805246$5F61930D-BDE4-4A5E-9271-314A48DEE86F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805246$46CE737F-742E-47D3-86CC-7DC7F7130786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805246$342D24CA-FDBA-4FB2-9D2B-2106D3B25C57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57794859d4fb01fb0980e6d36bb5244d8534fb02","datavalue":{"value":"4203733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805246$F966A525-4118-42D8-9F13-8EEBCD1FAD77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3689354ddf574abaaefd3225fc25027d4643934","datavalue":{"value":"recursive terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q805246$24B59CD1-6287-4DBE-A350-F1CEBD77E8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q805246$92768A05-A61B-4B93-A8BC-1C2C0D17DE76","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b838b70233056ed7ed17285e2cb38a1750639542","datavalue":{"value":{"entity-type":"item","numeric-id":203307,"id":"Q203307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$A9A34CF9-7620-4E84-81C1-56296CC3AB46","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":"Q805246$4025D103-9F08-4A20-A93D-8FC24214E6EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2beb8168ca6a29281ccb972aeeb93082e0c97730","datavalue":{"value":{"entity-type":"item","numeric-id":3700824,"id":"Q3700824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$3D6A34F0-D88E-4206-9F4E-DC3056A0E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$081DA9AC-00A5-4BC6-ACA4-7D5ACB8D8440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805246$F4BB5363-89AE-40E6-A6BE-84BC6567FAE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe3ea92cda4eb530f03815ff22273bfcd77f4d5","datavalue":{"value":{"entity-type":"item","numeric-id":549175,"id":"Q549175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99356002976c350a504409fb1b0e389942925c6b","datavalue":{"value":{"amount":"+0.7514774203300476","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":"Q805246$DBBE7DC6-201D-41F1-98CB-EF306D09D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dba8764871d1e6bc265eaa06f35bd9d4b99ed60","datavalue":{"value":{"entity-type":"item","numeric-id":1183608,"id":"Q1183608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706cdb33f196ac37205c1e9f750dc43e7dabd349","datavalue":{"value":{"amount":"+0.7275689244270325","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":"Q805246$03C5D5AD-7875-4C95-945A-8B62C0A9AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038e991c90958baff72363c673bac96b27a2c3c9","datavalue":{"value":{"entity-type":"item","numeric-id":3698284,"id":"Q3698284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706cdb33f196ac37205c1e9f750dc43e7dabd349","datavalue":{"value":{"amount":"+0.7275689244270325","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":"Q805246$BEB002CC-5024-4E99-93D3-1D496B4FAAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac4512ced2c72f7a0c125e13a4ae5338f9ee55d","datavalue":{"value":{"entity-type":"item","numeric-id":911748,"id":"Q911748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3996d92ee7721e0a9b360c1fa84cd3c24ba28481","datavalue":{"value":{"amount":"+0.7271260023117065","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":"Q805246$DCBF25C3-C133-4633-8EEE-BB5BDCD23988","rank":"normal"},{"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":"11fc227c3d2fb1a3560a36f096ad09a380dd2b84","datavalue":{"value":{"amount":"+0.7248907089233398","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":"Q805246$9CC7F01A-1A2E-4138-9661-E6F88CF1617C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On guarded recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_guarded_recursion"}}}}}