{"entities":{"Q1348527":{"pageid":1359266,"ns":120,"title":"Item:Q1348527","lastrevid":68799669,"modified":"2026-04-13T02:08:23Z","type":"item","id":"Q1348527","labels":{"en":{"language":"en","value":"Linear time and branching time semantics for recursion with merge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1739902"}},"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":"Q1348527$80A67A38-C0BE-4263-B4CD-77A8A8014236","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc9a718fe3479395549b4d89e8f710e6183cb13","datavalue":{"value":{"text":"Linear time and branching time semantics for recursion with merge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1348527$B40E7DA4-78AE-4594-AF07-CC0902FFF9B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e60a60e2f294d113188d9d2baba49637790b07f","datavalue":{"value":"0985.68517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348527$78816974-B8FD-4968-AE8C-EAAC1FF84FD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139e8386271514566dc2935966e791e25ba33335","datavalue":{"value":"10.1016/0304-3975(84)90114-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348527$8C2FC3E5-13AD-499C-AFBB-6C9B7A82F83D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a570112bd3074b9470b5a0d571863e20309ed27c","datavalue":{"value":{"entity-type":"item","numeric-id":789889,"id":"Q789889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$458F3D3E-0D19-452F-88C5-1C3F7EF6C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$9A5D077B-754E-4B57-8C8F-6E54FD520F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$999B4D6D-4586-4372-B761-20D8F0BAA34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$E13D1C3F-C5A6-4972-8D5F-B74C39CB1813","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":"Q1348527$6B933C7D-AF17-4928-B531-E3B1AC143282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1348527$12551116-25EB-4D3A-BBCC-B592FF191FB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70c51045a54a87750b8be358440a67986607fb66","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/12755","type":"string"},"datatype":"url"},"type":"statement","id":"Q1348527$A6D1E10B-836B-47FB-85D9-CA7C1D9E8EA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348527$C79631C3-1974-4CE3-96CF-7D9BB58DA9C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"347f0aba6cdca55cf06e112ecbcbaec14b4621aa","datavalue":{"value":"1739902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348527$A6834A57-784D-4F4E-A33D-AE125AD4CEB1","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":"Q1348527$937D8C71-058D-4556-B3BB-A381D2FF4320","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"808153a20e7960950f8e41a4e847988b3cb03d9d","datavalue":{"value":"W2129965117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348527$BBB6D6BF-ED7E-442E-9659-A074488CD2B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$3CBCC33B-6FC8-46DE-A1B3-E4F775C0D247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85898103617eb605ec91331d5350defc899693c1","datavalue":{"value":{"entity-type":"item","numeric-id":3042376,"id":"Q3042376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$F95472BD-3617-4FAD-A9CA-807921A61ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$DB672A9B-5C0F-430E-A6EA-488D0B99DD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$E1AD20A9-9DF6-4737-9FE1-B40817ED3CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$F660C2F4-EA42-4C2C-8BFF-EC1E9936C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7218fb4217aac67a16394ff1ca6cf143809e636","datavalue":{"value":{"entity-type":"item","numeric-id":3750114,"id":"Q3750114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$A987605F-4540-4748-A3C6-DF07A6AB500A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$D998976E-3E25-4704-9686-1BFF76125AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5e2324f149dbe2e1e967c7649328144557e5db","datavalue":{"value":{"entity-type":"item","numeric-id":4147597,"id":"Q4147597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$6D3387A4-3534-4E2A-BA4B-CC1D0083A910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2159dd9c5a98c068eb1d54cc56d1f54410d08a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4168081,"id":"Q4168081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$C9916255-1D40-4A98-B14A-506905FE3FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$C7921B18-A328-4E5C-A00E-3764C5CA9FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$361C86C1-044E-4516-A498-2C8384AF6D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$ABF7356C-D76E-4803-8D8E-1A14F38C064B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$B2BFDE67-4BB5-46D5-AF6D-E6D5F51DC03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348527$F36A8BE0-05CB-4C28-990B-B40404B3FB73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a4ed90bc9a04f0ad37cba545b1373b583ced04","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff495619ef1d85e17170ee9f4a6c2c86ae8ffa1","datavalue":{"value":{"amount":"+0.8089560270309448","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":"Q1348527$1AF3E261-7828-46F4-A099-CCF87E9AECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0119b73bc2d1304d3993a32b079fd3bd3e30726","datavalue":{"value":{"entity-type":"item","numeric-id":1082070,"id":"Q1082070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eded7e8a02e1b5354a5f729c39c9681a5be204da","datavalue":{"value":{"amount":"+0.7767356038093567","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":"Q1348527$A07839BC-B577-429F-900D-B7ED2B787A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1c1e2afd8c3d1cf3f3366e411a677a11914296","datavalue":{"value":{"entity-type":"item","numeric-id":3347277,"id":"Q3347277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb1d7ae201bcb0dbadd2c225697be8f129335d3","datavalue":{"value":{"amount":"+0.7757607698440552","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":"Q1348527$E4981DAC-3D44-4E30-AB42-ED1085D9BB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35382cc3114928c742c53a8067acc3f3b06fab3f","datavalue":{"value":{"entity-type":"item","numeric-id":3510781,"id":"Q3510781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc9cdc2a1f9999189b14fc2fe914b0f7d15f188","datavalue":{"value":{"amount":"+0.7675255537033081","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":"Q1348527$7CA9097C-419F-4115-B23E-130BA4FDCB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35c4e5cc2ccc1d6a4fa542b84dcc25971001e08","datavalue":{"value":{"entity-type":"item","numeric-id":916408,"id":"Q916408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c147b84984855f33452d5034f1678fb080ff789a","datavalue":{"value":{"amount":"+0.7612311840057373","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":"Q1348527$9564BB22-995A-4755-8495-82D1B0DF0CD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear time and branching time semantics for recursion with merge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_time_and_branching_time_semantics_for_recursion_with_merge"}}}}}