{"entities":{"Q4988914":{"pageid":7018491,"ns":120,"title":"Item:Q4988914","lastrevid":58402353,"modified":"2026-04-05T01:40:29Z","type":"item","id":"Q4988914","labels":{"en":{"language":"en","value":"A behavioural theory of recursive algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350023"}},"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":"Q4988914$D408E6B0-A763-43A7-A9F8-3F8E1BA235EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48af9ba5fd9bd22317be1e39975b4d452ef1b41a","datavalue":{"value":{"text":"A Behavioural Theory of Recursive Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4988914$07A91CF5-88D6-4FA3-A404-0E80A5AE857F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbf7326a36bc749ff504fc57ab867bc15aef133f","datavalue":{"value":"1497.68552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988914$3E2CDC65-01E6-4777-8E11-B5DC314C2454","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f66556b74d30b9679404035cbc3e87bad0fc227","datavalue":{"value":"10.3233/FI-2020-1978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988914$FAB0C460-66AB-457E-A422-986AA6DC644F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$2E88DA65-0461-47C5-83B1-D9F07A9F581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$ECC8B2E1-A8FB-4512-BEA0-840F2F58EC66","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":"Q4988914$F0FD0D6F-112C-46B9-B2FC-C552E450C4DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4988914$8D2554E5-69B8-4588-8047-A0E644F15621","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5abdc0565f1270aff1bfde331c449e0055590921","datavalue":{"value":"https://arxiv.org/abs/2001.01862","type":"string"},"datatype":"url"},"type":"statement","id":"Q4988914$D8D039E4-AC4D-48FF-9F24-1CEF104B4839","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988914$90C407C4-C7DB-41E3-B2CE-F60DB60E759B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988914$3A7BBDD3-7387-4C5B-823C-51B1CADD4CE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfd30a75b411bb5c84d90ead69c675716629ca60","datavalue":{"value":"7350023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988914$5210D5EB-A70E-42E0-B719-3E6A7F3ED16B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de50abe28b132f30830c7ff0ecfe03db67a7c9dc","datavalue":{"value":"recursive algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988914$B76F8D72-3541-4195-9873-0425E3E0345F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e3e4ef4d7ad5503a0e3c221889727d76b52add","datavalue":{"value":"behavioural theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988914$394CF55A-226D-4F0B-827E-96F48A90D99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf00e43fd6ab092796109964f1a55fca40cc53e","datavalue":{"value":"abstract state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988914$B9FD1328-12A8-4FB6-869C-97CF667E9A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c85715316da07b47af8021e36cec414820c4f7","datavalue":{"value":"concurrent algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988914$52B54608-CC4D-49C6-BA29-00DE234BE674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49afadce17822ef66fef9e86a92102e574ea8ee4","datavalue":{"value":"partial-order run","type":"string"},"datatype":"string"},"type":"statement","id":"Q4988914$12324F57-52E6-4FF5-AAB2-3302CB52BEB2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$6D7DCE7F-A6F6-4973-A2C0-8F382DA7B22B","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":"Q4988914$CDD9FA6D-DD17-4FE5-BE87-348F9F1B33C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$4A2749ED-8715-4767-8049-6D7A25692624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$36EE49C8-6029-42FE-AC9B-C9D7297FD338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$EC16FBC9-ED5C-42F4-9040-12A153ECA6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$A36E6DFE-C13A-4AF7-8D17-6E3228CBE074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5b813f7d8a3c2627f5c661a61c9efa024187d9","datavalue":{"value":{"entity-type":"item","numeric-id":3734395,"id":"Q3734395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$AA1EA1F7-8BD0-4DAC-8D26-0DE61A5C4F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edf89aeb0ec6a96e3f018981b770bfe813eac26","datavalue":{"value":{"entity-type":"item","numeric-id":4247024,"id":"Q4247024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$FE6502B6-CE23-4A51-B30C-3A664A7A5012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb3266b58c98cc717fe852553b690119d8b369","datavalue":{"value":{"entity-type":"item","numeric-id":4690192,"id":"Q4690192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$476D41ED-0F80-4DF3-B4ED-4161021F5624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59db72b93439521ae3cd41e3ca971f5415b36847","datavalue":{"value":{"entity-type":"item","numeric-id":2762147,"id":"Q2762147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$2A65EC65-9500-45B0-98CE-FC612962CF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$39A016E8-489D-46A5-B4B0-E936E1EDD928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405566ae834e656f6e70245d9102b65508976eba","datavalue":{"value":{"entity-type":"item","numeric-id":4520494,"id":"Q4520494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$0AAE8326-3945-4DBA-BB85-398B92486E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00747b7d5f3ebf75431b233a6b2e68e3d93d5a7","datavalue":{"value":{"entity-type":"item","numeric-id":4413680,"id":"Q4413680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$CB8AEADB-ED5C-4AD7-9908-181DF7E43603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d43a79c0ae6a51e3ee8d6d884ba11b7ef973f4","datavalue":{"value":{"entity-type":"item","numeric-id":303691,"id":"Q303691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$A623E442-0B7C-4511-9838-52BA8D6294B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$B84593E6-0F04-4037-A883-825C7D2A9A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c05624362743dcf18cd7516d2d4ac1a17321f80","datavalue":{"value":{"entity-type":"item","numeric-id":5040367,"id":"Q5040367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$5BE9A7B2-BF39-4846-AE6B-A68098EB4DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$A875E3EE-D4ED-41DB-B609-6244D46BD9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec06257c029bf1b731815e2de92c31bf9e67d458","datavalue":{"value":{"entity-type":"item","numeric-id":313981,"id":"Q313981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$AB4A61C7-E45A-43E0-8927-60F72AD7C3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74e617c9723e99d44b7e1123eb6be42a553b53c","datavalue":{"value":{"entity-type":"item","numeric-id":5267442,"id":"Q5267442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$055D4092-592D-47AE-A3E5-0019AAA85583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444d7f48d91075048d7bd6076712f603cd1bfd7b","datavalue":{"value":{"entity-type":"item","numeric-id":5277808,"id":"Q5277808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$BD75BEB2-4A51-4D79-95A9-B48FC27029D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05034ea26869e2698730db6894356aa44e577a02","datavalue":{"value":{"entity-type":"item","numeric-id":3077363,"id":"Q3077363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$28B67074-E8E5-4792-87A1-B8A46AA774B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b59b2d783b3d46c63264fb85fd03e75ac3e35d","datavalue":{"value":{"entity-type":"item","numeric-id":4644545,"id":"Q4644545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$F0EA647B-8814-4613-9AC2-217034DCD9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$EB4A92DD-D99B-4382-B3DE-EE8BEA39BF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$AFD36885-22B1-41C2-9324-4F440E29D504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9708a02a37c1ad60d7143ba5b0134c95e3668","datavalue":{"value":{"entity-type":"item","numeric-id":4331844,"id":"Q4331844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$BD9C3664-B51A-4A83-8037-D9B4D995DD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4988914$2811AF2E-3A7E-49AC-9DBF-D2E4ABA48B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4316a95fa1f96228aa9b3c23dcd7b1fa373cebf6","datavalue":{"value":"W3114754551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4988914$9B8B8BB7-EDE9-4266-8706-25FD50EA10B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba6d2e80c8228267b316f47978632be4c91ac54","datavalue":{"value":{"entity-type":"item","numeric-id":4520494,"id":"Q4520494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4608ca7dae7929308efed1d7264ac84fb1a7c3b1","datavalue":{"value":{"amount":"+0.8219391703605652","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":"Q4988914$1F2C0413-B74B-4FA8-BF4F-85BDF92E0E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e12325629b09018cf01d19696e7e7239fda91d","datavalue":{"value":{"entity-type":"item","numeric-id":4989672,"id":"Q4989672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c00c36d9c84e4d72a70a196a8d2bc394d43f208","datavalue":{"value":{"amount":"+0.7882310152053833","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":"Q4988914$3ED7830A-314D-49FA-BBC1-891D68D05A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0880ee80b7beb32d2c3013be80413e6601a39d4d","datavalue":{"value":{"entity-type":"item","numeric-id":2762147,"id":"Q2762147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a829f9dd14126b697aaa9372383d61f4e16024","datavalue":{"value":{"amount":"+0.7870404124259949","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":"Q4988914$E16CAE01-5702-42B6-BB99-5EFD062F9643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628ce173ec2f1f0b47f238cfeb7b1e96b605ab23","datavalue":{"value":{"entity-type":"item","numeric-id":1424349,"id":"Q1424349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e381bd825b71f76074227c9e39ebd1ea52741b3","datavalue":{"value":{"amount":"+0.784803032875061","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":"Q4988914$D0B71C76-BD49-4749-8C16-D4554A4B6EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdf36f7c42f1774fdde46b2f5fc8b4aae353957","datavalue":{"value":{"entity-type":"item","numeric-id":4665733,"id":"Q4665733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7248c8922e22bbb9089b53924a83df2ea392480","datavalue":{"value":{"amount":"+0.7796763777732849","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":"Q4988914$892BCCBF-A116-4571-916D-EE24B2C1AD95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4988914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4988914"}}}}}