{"entities":{"Q1169813":{"pageid":1180562,"ns":120,"title":"Item:Q1169813","lastrevid":66428364,"modified":"2026-04-12T10:01:29Z","type":"item","id":"Q1169813","labels":{"en":{"language":"en","value":"Regular trees and the free iterative theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3780562"}},"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":"Q1169813$0A445D7F-F50E-4CE3-8ED0-56AC06F642B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e87c766b8e6b1470a78f7f14914dce70ae186cb3","datavalue":{"value":{"text":"Regular trees and the free iterative theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1169813$73FA32B8-2D17-4BDB-80A7-46F60ED68463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16dee450a3bb49762b816b0155a7187c909620a7","datavalue":{"value":"0495.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$CB4FECB2-9501-497C-B222-9C3B373A342D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9fbe08b15afe6e722ed5d1aa33468ff83098ffc","datavalue":{"value":"10.1016/0022-0000(79)90032-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$2E764A93-B285-4331-A29B-28AD2FD4F3EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c2fddd1964c943a1881687fdd34452c0c0eca8","datavalue":{"value":{"entity-type":"item","numeric-id":1169812,"id":"Q1169812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$D5559F46-F7A9-4D76-A90A-FC205FAB0663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$452457E9-B727-42F1-ACB5-05EAB53FD79A","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":"Q1169813$9DA24F8C-47DC-4F6D-89B8-432068B5E68F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$F5B23346-9132-4AC4-83AF-DA040033CEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$8D8E8CBA-AF04-4FE3-88A1-BC4F5628E094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$ECA4390F-7D04-4C81-A084-3DFB1944D4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52348cf07f6193bf68442254f9147e57382c26e5","datavalue":{"value":"3780562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$FB6A1BA5-9F7F-4052-875A-711410319502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddf7273d06afa2a291520247e840ef7c63f1039","datavalue":{"value":"equationally defined trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1169813$05633E82-CA37-4A1E-8AC4-38C869BF80A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d5410825b25cd2060c9357b22081e0004561549","datavalue":{"value":"Elgot's iterative algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1169813$2720ADDF-854D-44E7-8793-00DF4A61A7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac33e6341bb9c9992b876887523f7bad9a838efd","datavalue":{"value":"free iterative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1169813$67E7A555-625D-4CEB-9063-00AEBCFD358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ca395e613e191e516e13a2e387a233952f50a3","datavalue":{"value":"decision problems involving flowchart schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1169813$7EF82085-A8C0-4B77-8FFC-A382FE424A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1d3a93188c69e912c64a660d3de5aaaded1fbd","datavalue":{"value":"fixed point models for iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1169813$A896FAC7-225F-4EBC-A925-91343F749B2E","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":"Q1169813$204FA4E4-0B69-4233-9119-044F40100EC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"540e5b8bfe3a51ddf9af343bbaec777ec9c9ea1d","datavalue":{"value":"https://doi.org/10.1016/0022-0000(79)90032-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1169813$FF783781-8802-4E1D-8B0E-66A74E6819F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b4608bc6a81add5064e98865f180537ff7041cc","datavalue":{"value":"W1984467134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1169813$36E1EE19-6869-4244-8BF7-489F8043CF54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bd32c43f80b4526740c56b9e5f69eb0bf94371","datavalue":{"value":{"entity-type":"item","numeric-id":1228350,"id":"Q1228350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$6BB2F7DA-37E5-47D1-B1B2-7A69FB2EED0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c8cb30ad32b9270e4d5117a37a9038bce01a05","datavalue":{"value":{"entity-type":"item","numeric-id":1238420,"id":"Q1238420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$E962B4D6-528C-4307-ADD1-18A176C57A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cc0b2d2e9b4efcfed1fa36448689099fc27d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5565124,"id":"Q5565124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$13F7E5BF-AE85-44C3-97C9-089C1F0D8283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912eef190988de0cc5af613dc27f0c7249868025","datavalue":{"value":{"entity-type":"item","numeric-id":5736455,"id":"Q5736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$D0EF76CD-5C7E-473D-A277-F434C36EA23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fde64b48d10651443eaae13be9a8239bb95c303","datavalue":{"value":{"entity-type":"item","numeric-id":4118796,"id":"Q4118796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$F903EAF9-0653-4838-B792-2F224F08F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb94282ae3fa231c879cc083dc603764fadc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4168048,"id":"Q4168048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$32565C98-51CB-49EE-B2EC-CA8D0075031E","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":"Q1169813$FA7B0B44-5B52-43FE-B78F-7E1F275C847B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$DA70A714-84E7-4F38-BE05-81E467C49DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$9584A03B-1A29-4BF9-B78B-1BA79A5A472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$3F36A715-7EEE-482E-9977-432B6E116DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1169813$96A5F184-6828-48BA-8302-9BBDD0D36393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular trees and the free iterative theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_trees_and_the_free_iterative_theory"}}}}}