{"entities":{"Q6934059":{"pageid":21107914,"ns":120,"title":"Item:Q6934059","lastrevid":84115184,"modified":"2026-05-10T10:51:02Z","type":"item","id":"Q6934059","labels":{"en":{"language":"en","value":"From compactifying lambda-letrec terms to recognizing regular-expression processes (extended abstract and literature)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089499"}},"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":"Q6934059$299F2A3B-F4A2-4EB2-B270-0970550E7B45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab3743d9eddf3ef7007c31935f0bdd0a2a1b97f4","datavalue":{"value":{"text":"From compactifying lambda-letrec terms to recognizing regular-expression processes (extended abstract and literature)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934059$D6562371-80B4-4ACD-993B-BC389D94C9E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3864d42ab19397e053e2d647fa8ff1d314c6460","datavalue":{"value":"1572.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934059$4DAFA3F0-FA82-45EC-A068-CCD0A099C485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2520c81ace607655e433585092c8dc7ce3ea5fc0","datavalue":{"value":"10.4204/EPTCS.408.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934059$0DC2AB71-CB18-48D4-826C-204A05109419","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae708085a2d1c988643623ada05598df1c0e3e4a","datavalue":{"value":{"entity-type":"item","numeric-id":6649465,"id":"Q6649465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$CDBCD268-AA8D-4014-A067-48B846F06863","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934059$E498D06E-A32D-46C6-BCD8-DDA0A0965928","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934059$092EFF45-C660-41D7-A744-AAD0F3A035A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934059$37E5DB16-AE0A-4B52-B0CB-305A360BE1F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2837c710d748d24f17baa7e690843c91ff98f44d","datavalue":{"value":"8089499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934059$30A9C11E-ACA3-410A-B4D3-CF81D6317FA4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$96565698-3D88-4C45-873D-CEC2948B52C1","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":"Q6934059$CA8737B3-B7F6-42F1-84DE-15866324EE3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a9850341396e3ff64841f7a01d1db9e64b68d2","datavalue":{"value":{"entity-type":"item","numeric-id":5018493,"id":"Q5018493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$DC03AA47-36A7-40D5-8F42-D7FABF4DE0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72beaa6cc6b2cb9c82d9650d23a20da7953c291","datavalue":{"value":{"entity-type":"item","numeric-id":6934059,"id":"Q6934059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$066C38E1-2922-45A2-A0EF-CEF6779944B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e4be35d0888519e5872195dc487ef081b60487","datavalue":{"value":{"entity-type":"item","numeric-id":1583366,"id":"Q1583366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$1AE7898D-ABD8-491D-842A-846CFB16A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d735e90b4257541e522fb214e00a6b2f83297a","datavalue":{"value":{"entity-type":"item","numeric-id":5013813,"id":"Q5013813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$DA518FEC-FFFB-4B03-9808-BB9A95BDAC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83949e200fc99a70174efed4f7e8220038456e7","datavalue":{"value":{"entity-type":"item","numeric-id":2958385,"id":"Q2958385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$80795FA3-562F-4477-BB76-8DDD913D5847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bae6c3f006b629194786e0727d5b923e28a8714","datavalue":{"value":{"entity-type":"item","numeric-id":4968386,"id":"Q4968386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$CDE0321E-8FB4-4829-AC34-9557A92B29F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57ee7d7f4643db8eca309b5535f9130bf119577","datavalue":{"value":{"entity-type":"item","numeric-id":2819667,"id":"Q2819667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$1FF9A2E0-4693-48EF-B4BB-29A98B0B1422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$D07CF679-0753-40D5-A1DA-A5D7368F12BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c470b811b3ae857bda9e3928eb08971e10759b3","datavalue":{"value":{"entity-type":"item","numeric-id":3546331,"id":"Q3546331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$44ED6570-0659-433B-989A-EBB383A9C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f0b0c038b959a0812af35f76a323825b95e64b","datavalue":{"value":{"entity-type":"item","numeric-id":4542240,"id":"Q4542240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$201EA1D8-412E-4263-B3DE-35D217EA34A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59dbaa0ca0b602b06e54bd2cf64dacb22bf6ff","datavalue":{"value":{"entity-type":"item","numeric-id":4571987,"id":"Q4571987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$068CF866-AB11-47B2-89D3-589B2A037407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e7ff9a2777e13e3829e9bde851aea37bde0f91","datavalue":{"value":{"entity-type":"item","numeric-id":6061676,"id":"Q6061676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$E5B4C057-A936-4A31-B27E-356FCE09A671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92762655154219e5906519932d01838efe4ca90","datavalue":{"value":{"entity-type":"item","numeric-id":5021231,"id":"Q5021231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$AF1A536D-CC7F-499E-B971-8F19936ABFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3107b4924e8586116088af8042a95304e153d0ba","datavalue":{"value":{"entity-type":"item","numeric-id":6649466,"id":"Q6649466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$797A2A5D-BC3C-4104-BA53-143352053B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f300bd13b8af1abb98382432d45b6ef216b919f","datavalue":{"value":{"entity-type":"item","numeric-id":6135767,"id":"Q6135767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$56D1242C-F526-4C86-9734-D75A66957BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f16179dcc68fb16c71fabd40f0adad6e5c9502","datavalue":{"value":{"entity-type":"item","numeric-id":5145655,"id":"Q5145655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$F6B4A97E-8882-4E32-847D-D3F3C30AB120","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":"Q6934059$88A0BB63-164B-4237-B955-821955B53DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$91814321-712C-492C-AA86-5014775166CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$66F11545-24C5-4723-8CBD-512EF4B0D661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c85a60dde9480bf55e884fe683bd91513b3034","datavalue":{"value":{"entity-type":"item","numeric-id":5234262,"id":"Q5234262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$25F84C5A-2BB0-4284-9CE7-A67F0B0E604B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e637f8be1385e63b80e630a6a4462e0fcb7b8974","datavalue":{"value":{"entity-type":"item","numeric-id":5901567,"id":"Q5901567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$2282373C-6C28-4D9E-83C2-BACF16507CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829f5b0c9a8596371152476f637de46f27903024","datavalue":{"value":{"entity-type":"item","numeric-id":1872703,"id":"Q1872703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934059$11D9524B-AA80-4A02-90D0-6C04C96CAED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From compactifying lambda-letrec terms to recognizing regular-expression processes (extended abstract and literature)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_compactifying_lambda-letrec_terms_to_recognizing_regular-expression_processes_(extended_abstract_and_literature)"}}}}}