{"entities":{"Q1106011":{"pageid":1116760,"ns":120,"title":"Item:Q1106011","lastrevid":66449793,"modified":"2026-04-12T10:09:31Z","type":"item","id":"Q1106011","labels":{"en":{"language":"en","value":"Independence of the equational axioms for iteration theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4060683"}},"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":"Q1106011$7B74042B-D437-4015-8DBB-6162B48F5F70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e3b8ecab813c542b14899b5ea64190f544ca921","datavalue":{"value":{"text":"Independence of the equational axioms for iteration theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1106011$3E6C99A7-6C6A-4E2C-8B8A-72C7563055EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"832d21e5dc09d2aea93ea53cfc95c68c0cddfc74","datavalue":{"value":"0649.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$6A2A13A1-DB92-484A-94A9-BDA5FBD83DCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3620b78b671a50fbd3210280c879b701761e46cd","datavalue":{"value":"10.1016/0022-0000(88)90020-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$F3016906-D989-4FB9-91D9-2DBC190F2BB3","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":"Q1106011$8AE678C5-7A66-425E-A4BF-AFE13FB62FA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1106011$28E0AEC0-7148-4FEE-B178-F813F356B7F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d054d6cb00eca8eb3a8c03b810bd3a40346185c7","datavalue":{"value":"The author's characterization of iteration theories by five equational axiom schemes [Comput. Linguist. Comput. Lang. 14, 183-207 (1980; Zbl 0466.68010)] contained one redundant identity [J. Comput. Syst. Sci. 27, 291-303 (1983; Zbl 0532.68011)]; in the present paper, four models are constructed to demonstrate the independence of the remaining four identities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106011$A7BFB059-B7B7-436A-AE5B-0ACEB4CD3F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$CE020EC2-A6C8-45CB-9273-242371ADA958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$1E9C134C-1BD3-4620-B905-AEFF07AA834E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$D7713DAC-36A0-4209-B4D6-F1ACF2941100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8b833675ef04115b2a1dba219d3aad168415bf6","datavalue":{"value":"4060683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$87E17312-4656-443A-98D7-736308B229FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90e59aa252643ff293b9fbda24757ffd3072aef","datavalue":{"value":"many sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106011$E1361330-375D-47A2-9B4D-8668C0552C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7656e9fd025828a6267e725707cc84232244e881","datavalue":{"value":"iteration theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106011$78960297-7EFD-4F03-BF51-0728F31E52C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e45fc509316ab5c5b6df797e3c7cfb4a1a3caa26","datavalue":{"value":"equational axiom schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1106011$78E6458F-E4E3-49A3-84FC-5B477E760BE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8d9cf49106f3f0387f09bff168b311cdcc75a53b","datavalue":{"value":"Q114685264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$F1BCBD82-3F89-4624-8F08-8281E818351B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$C93D608C-1F7E-44EE-A203-EF16C0C7DA20","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$C22D890C-AAFB-4AC2-8E3E-2C4257983040","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":"Q1106011$EE592EC1-18BD-4F26-B4D7-DDB7C1CD71C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee03b9b4517fe5ba5c1f1a9ad37e3ceb1f3b06bb","datavalue":{"value":"https://doi.org/10.1016/0022-0000(88)90020-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1106011$27AC08B7-9B00-477B-B1DD-815B174F92DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46cff1380f8078ed1b7201d3dd22abe8e2fe6157","datavalue":{"value":"W1998189680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1106011$3BC8D61A-80D8-4BC8-8255-64F62769534A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3b8c13d8c46c314dfbddd00cb0db389fb82ac0","datavalue":{"value":{"entity-type":"item","numeric-id":1137858,"id":"Q1137858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$9DCB9623-502B-4285-BD4A-3F1D8ACCCE6A","rank":"normal"},{"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":"Q1106011$56D2C9EB-A677-4145-82B8-448037BB18E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c202e33227baa2761e40f0ccd9a07adfab5acb","datavalue":{"value":{"entity-type":"item","numeric-id":3901654,"id":"Q3901654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$8EFFCC38-F8D7-4F9A-9BE2-8E46E6053FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad98d1ac390c8204b3fb3f67b8275ff485f67d82","datavalue":{"value":{"entity-type":"item","numeric-id":3911392,"id":"Q3911392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$D2C6E504-A810-4AE1-9DD2-E3982C13BE10","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":"Q1106011$4A96E1CA-33B2-4DE8-A1B5-2E487B6C7D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d99c7f244c600607afce58286b675cb1cbea7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3919058,"id":"Q3919058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$271E4508-A9B6-4E41-AE79-AC6DF72C0CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4816e1d3a572c04918b2f91bdf72de68672877bf","datavalue":{"value":{"entity-type":"item","numeric-id":3957911,"id":"Q3957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$498198B6-0C6D-4EE7-9B11-B74AF4014C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4007f4b03862510122f21d79ff06fc3e5e09218d","datavalue":{"value":{"entity-type":"item","numeric-id":789159,"id":"Q789159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$BBB034E0-5C7C-4E1C-93FB-0A10C89FEE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7c803eeb33ef9faa8069319dfd06429ffb34f9","datavalue":{"value":{"entity-type":"item","numeric-id":3702515,"id":"Q3702515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$FBF080FD-CEEA-43B6-AECE-B9B8FE7FD81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edd63a19d15d4cd7eb23de702ab330fee30f8915","datavalue":{"value":{"entity-type":"item","numeric-id":4741696,"id":"Q4741696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$5329F0D6-9248-48E9-B3C2-EA53AB53FCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5dcaf87e1f6745acda14dd55addff15f8a3933","datavalue":{"value":{"entity-type":"item","numeric-id":4134935,"id":"Q4134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1106011$2C092996-CF50-4F9A-9BAF-6CA61B9C74F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aee3c822339d4617b77075bf4bf5b12c86be2d8","datavalue":{"value":{"entity-type":"item","numeric-id":5055843,"id":"Q5055843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04ba49894df2ac3ea12ce97b743c8fe410a6dc4","datavalue":{"value":{"amount":"+0.90401393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$6633D207-A58E-449E-9A62-86C9FEC2DF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0625918869d8e97af9bf9fa2b1e4ad37888f5ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5203698,"id":"Q5203698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1525539cf47d4434de750da546b9e56da1f4e51d","datavalue":{"value":{"amount":"+0.90356624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$AC0446D8-4072-455A-A8D3-8158544E33E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd8c7ea47d2f0030c6bdd70722142961ed41970","datavalue":{"value":{"entity-type":"item","numeric-id":5579483,"id":"Q5579483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07054693435cff61a40a0e60c81245dc5038a67d","datavalue":{"value":{"amount":"+0.8970146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$631EC136-9FB2-4E26-9260-11C8623B45F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddb606d7569c1f1eeb1da7bda65cee812358e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5213644,"id":"Q5213644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c133d809423f3b9af21d3583de89efa060ef950","datavalue":{"value":{"amount":"+0.8872316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$99340684-0839-469A-9154-D482971CEBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9985928ce85af5415458f01657254b2042469c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00af2e22b81e6b0dcfed4fde5fa45f346d0bbac","datavalue":{"value":{"amount":"+0.8853568","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$87394F96-F1DE-4368-ADA8-29C8FDA5F750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff14c4338728256de7d3fe337ac76aedcbe81421","datavalue":{"value":{"entity-type":"item","numeric-id":598297,"id":"Q598297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7183b445f75ea582e3644cdc953de6ca240fafb0","datavalue":{"value":{"amount":"+0.8809003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$42283338-65F1-4575-B224-60EE33578DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a817ed3b4c8dbe5a7b04a11b5e9d5062d5b0e64","datavalue":{"value":{"entity-type":"item","numeric-id":1071794,"id":"Q1071794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53c40a39623c79316b92b4295ae41e147e1f7e6","datavalue":{"value":{"amount":"+0.87786627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$5BB05980-A4FF-45D2-B7E5-FB2B86B5E87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6d9ad45740d23596fbe48f0cc64e294c62568e","datavalue":{"value":{"entity-type":"item","numeric-id":1199547,"id":"Q1199547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b2992e46c9f8f5d6442ce186435165ba226e17","datavalue":{"value":{"amount":"+0.87718636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$749D17E3-B968-47B2-8ED1-D84F97623983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ecae5a5a232ef00aa702b331ce6228e152df452","datavalue":{"value":{"entity-type":"item","numeric-id":1913874,"id":"Q1913874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118447149208ce57589ab2fddda5bcf67ec99209","datavalue":{"value":{"amount":"+0.87635255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1106011$548F5DE3-3153-4D64-8779-F23A6152B832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Independence of the equational axioms for iteration theories","badges":[]}}}}}