{"entities":{"Q3851585":{"pageid":5881490,"ns":120,"title":"Item:Q3851585","lastrevid":54524747,"modified":"2026-01-27T22:43:20Z","type":"item","id":"Q3851585","labels":{"en":{"language":"en","value":"Infinite trees in normal form and recursive equations having a unique solution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3651717"}},"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":"Q3851585$10BDAA24-0504-40CF-B6A1-EFCD9E8C904B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1305dee85de48cc3b1c972de6d6999264661b09","datavalue":{"value":{"text":"Infinite trees in normal form and recursive equations having a unique solution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3851585$012FEEF8-D590-47FC-BA84-ABD326CDD81C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d89a97797f00e07a1ea6cace66e055076718203","datavalue":{"value":"0418.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851585$2522721F-3089-4854-96B7-196954B67D59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"765430da56e8c0a27806a8e91df22f50144abb34","datavalue":{"value":"10.1007/BF01744293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851585$8149A645-F4D2-4A13-A46B-9668E8D6C13C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$ED46DB14-F18C-48BA-B9D8-D096DBCD55AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3851585$6424AB94-A111-410C-8F75-80A243FB2523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851585$EC4B3BBC-24CF-4977-AF1A-2DC0822B4B2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19da10d974452bd4af023f37e15f738c30036a86","datavalue":{"value":"3651717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851585$875F3935-AE90-4AE8-921B-39496FD2C2C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ee7cdc76dd0a861c5d3d12b62c6e1a0f63021c","datavalue":{"value":"equivalence of recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851585$354C4F5F-1C6D-4F32-B9CB-6EC37D24F9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2db3f359fa57183e06e69ff3b28e5524b64756b0","datavalue":{"value":"correctness criteria","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851585$783E5D3E-8623-4A0D-8CDB-46D62C26A521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851585$6052321C-E905-475A-AB20-8E8D3930B533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae9281a8d895c66e9deba057657411d0cd54f6f","datavalue":{"value":"equational classes of interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851585$12DB84DA-F9E7-4364-B51C-2B447E7BD4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6e9d2ebc39c513d41f0debd0e2f38c573b56ad","datavalue":{"value":"tree rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851585$A5738AEF-1D88-4F37-AC1B-8F8C49BFDEC1","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":"Q3851585$6548481D-5920-4810-88B8-5C34F634F5DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57101cb21ff906893e492c71cd098957f3b06720","datavalue":{"value":{"entity-type":"item","numeric-id":4138104,"id":"Q4138104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$71665A24-54B4-442A-A22B-45D68F747C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$CA13D645-FC29-4BBD-A56E-7501B4A655B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$C0652AAE-5D4C-480C-9F4F-C24DAC51E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f527d72b96c9481541844d5a6ff6f3274415d596","datavalue":{"value":{"entity-type":"item","numeric-id":1137390,"id":"Q1137390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$599EEEC1-439D-4CA5-A16B-19CBAB5BC49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16ad904f76e6f0cc6057e01088da66a8b30e916","datavalue":{"value":{"entity-type":"item","numeric-id":4192947,"id":"Q4192947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$2B41A6E8-83C6-4F2D-ADD1-CA68BF99ACF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf665bf2f0b9e1dc10920d6cef545ef5dde3941","datavalue":{"value":{"entity-type":"item","numeric-id":1251892,"id":"Q1251892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$E3A9CF76-C6EB-4E79-ACD1-4EF301F91180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$BE08E147-0841-4EFC-BFCB-2CB2FDC3E3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f74bfd35147b7190ef986a865640caea98fab7","datavalue":{"value":{"entity-type":"item","numeric-id":3912630,"id":"Q3912630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$A56C2843-E5DF-408C-80EC-AC6F9FC7149E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed064d2aa1673b15586d1589ade04e39cc9ec0f1","datavalue":{"value":{"entity-type":"item","numeric-id":1232171,"id":"Q1232171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$A14F283F-BE6D-4065-A54D-7C8C45944FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9bb51b99d141ad44282a05cad656f6d90fe4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1224418,"id":"Q1224418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$7229E30B-B06D-4EFC-B755-DABF4E9F4828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ac8ec4fec93c2506ea7759f7ea656b5ca3a428","datavalue":{"value":{"entity-type":"item","numeric-id":1251061,"id":"Q1251061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$FECCC7DF-ECCC-4FB6-A70F-1CF69E2C5480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dba53b11e07bd388230fb3794b135d3cc90dce","datavalue":{"value":{"entity-type":"item","numeric-id":1235014,"id":"Q1235014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$8F039DDC-B4FC-49C6-B466-3170FE083BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a2683c14499aa11e6f27fa400a157ff6431c25","datavalue":{"value":{"entity-type":"item","numeric-id":1238426,"id":"Q1238426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$B2CD01A2-086D-4EBD-AF30-FCE559AC3BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$90C211AA-3DFA-4E2B-98D6-1F17A91C21CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$AEFDE8F3-38A1-4FDB-999B-00008DAF9721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$F08E4C46-C9B4-4FA5-BCC6-55756E0F4987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab888deae243328aa7ee17874b3dba914a011bc","datavalue":{"value":{"entity-type":"item","numeric-id":4192941,"id":"Q4192941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$8DB46431-B21D-47FB-B31A-B1FF4B6F0841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee166b05c438df2f9df3e5908beede0a2381eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5657655,"id":"Q5657655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$1FA84CEF-4DF7-4386-8256-F5DD18B39A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e85cd0f6b188ab1c1b71db2a56555536feb7268","datavalue":{"value":{"entity-type":"item","numeric-id":1216171,"id":"Q1216171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$A9BE8544-68F3-4137-BA32-4CA7507ED024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72633b52472d0f8390ccae00659e14b279a7da7a","datavalue":{"value":{"entity-type":"item","numeric-id":4094899,"id":"Q4094899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$4F23EABD-BF29-422B-B584-BF636BFF7A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$875270DD-382E-4915-A4C9-51B2D4DC34F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ead2548cafa915e52db69fc55088e5fc0a6b75b","datavalue":{"value":{"entity-type":"item","numeric-id":3854604,"id":"Q3854604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$8FF7DFCB-F1B8-4874-A0F9-E9E2B0242891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$0DC68911-CA94-4C14-ABF2-7292D569BCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$7CB249A7-6FB2-48C8-A1C5-7FEC148A92A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217b6b87bbc767cc8c404df4d32d0c568775c0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5402543,"id":"Q5402543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$15CD04D3-AAAE-412E-B723-FBC3D235433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$60263A39-1A99-40C4-B12F-1D52205ED18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf6944f80eebe7f0300fea38bd21c01d7561f29","datavalue":{"value":{"entity-type":"item","numeric-id":1221492,"id":"Q1221492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$D7EF455D-B45D-49B6-95A4-B418BD8BFC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cacb4ab303cc7c9b6cd6474a07b57d8333f8c8","datavalue":{"value":{"entity-type":"item","numeric-id":809105,"id":"Q809105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$C6FB82D6-B2EE-4155-844F-9D2098AB10DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"084bbbb4df82d594477fd68358151d484447708c","datavalue":{"value":{"entity-type":"item","numeric-id":6482121,"id":"Q6482121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851585$A9D1FF55-97A3-46BE-B769-D4BD5DB2EC3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3851585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3851585"}}}}}