{"entities":{"Q1342264":{"pageid":1353003,"ns":120,"title":"Item:Q1342264","lastrevid":70191936,"modified":"2026-04-13T13:03:51Z","type":"item","id":"Q1342264","labels":{"en":{"language":"en","value":"A complete equational axiomatization for prefix iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 710253"}},"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":"Q1342264$25D3555B-BEF8-4A93-A2B8-0DFE07574EAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01d93c5e960279f78cb49f1e3e071fd975556a4c","datavalue":{"value":{"text":"A complete equational axiomatization for prefix iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1342264$77B89D65-2EFA-4FB9-B4CC-28B160E2801A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb4d7e26c87674aae053d08fa0225226920c576b","datavalue":{"value":"0938.68697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342264$B784EBC9-64EF-4A7C-ABFE-7046E7D92065","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50d7b9e4e9c4e8845d624c8e0258a9605182646","datavalue":{"value":"10.1016/0020-0190(94)00163-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342264$2B9AFF32-C9EE-4BC1-9551-D752AFB18AD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$F09F5296-C443-49BB-861A-BD3D130F8DBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1342264$505DCB25-1C61-42BF-A7E8-BE30B4FCF701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"919812a150a94d4ab8cb85816fdf060adb7320e2","datavalue":{"value":"https://ir.cwi.nl/pub/2250","type":"string"},"datatype":"url"},"type":"statement","id":"Q1342264$157F79A9-C662-47F4-83DF-3414E9859B2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342264$4D28F573-4F1A-44BC-A269-C729DF91545B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342264$801A2734-C16E-4708-9072-E95B9AFEA883","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e993ff34141e602a0c2c0abb6d9e0a922401e282","datavalue":{"value":"710253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342264$0A15CDA7-A0CB-4A4E-99E8-0CA7ECDD61D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$3689EE3C-C475-4582-BF72-08E7239A76D7","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":"Q1342264$17DA8606-5FF5-4A02-BDC5-4D1B678A05E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09a5b0950237a7103ec6b7b4cd30c2674431f5b9","datavalue":{"value":"W1977683351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1342264$14A671E8-5745-4B0C-B84E-039C64CFABCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe0ad1cced0b430191c4bc3b4c9a2082c3c31ff6","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$B8F01145-329E-461D-B294-2DD299840854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$6617AAE6-2842-4DBA-8A62-7E8CB4B90753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$0A59E6CD-2C0A-40B3-BA5B-2AE10267DD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca6e166906d2d799b792c72930618fb1bd06bba","datavalue":{"value":{"entity-type":"item","numeric-id":4490742,"id":"Q4490742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$3B6D8D57-E4EB-4F30-9B1B-0FCECAA7004D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$CBBA37CC-362A-4D07-80D3-7BD1BC08F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b358e960c9fa8ab3d484400993238ee2020554","datavalue":{"value":{"entity-type":"item","numeric-id":5839933,"id":"Q5839933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$E8DD9968-AA3E-476C-B6D6-39483711B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$A47E416B-87B4-4E34-BB93-C8545374D0EA","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":"Q1342264$036D22AD-DB73-4E97-A2ED-807C29C3474E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$D821653E-41BB-4E62-AB28-5AA6B112A221","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":"Q1342264$3E25B525-44FE-4D7F-B9CB-466F96AC6983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1342264$0B325630-9BF2-460F-A62F-4017A135C7E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc45bf783bf70ddd003533537f8bed9c6b2a7dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4880140,"id":"Q4880140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7064641659eea744b7fd30b0c7c5e763898b1f1f","datavalue":{"value":{"amount":"+0.8553325533866882","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":"Q1342264$E4CE6F68-5BD8-4F1B-A4EC-DA37DB229300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f1458852af739861d37be6077dda96fde53cbdd","datavalue":{"value":{"entity-type":"item","numeric-id":4375631,"id":"Q4375631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a333a468a7aa0ffa2bb540ff01a4ddd5d27172","datavalue":{"value":{"amount":"+0.8543052673339844","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":"Q1342264$A2DF9398-6342-45C2-9F8E-C8F670E5F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8768305c3a9fb9fdae475923e2b36dd9d0056098","datavalue":{"value":{"entity-type":"item","numeric-id":5415608,"id":"Q5415608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a333a468a7aa0ffa2bb540ff01a4ddd5d27172","datavalue":{"value":{"amount":"+0.8543052673339844","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":"Q1342264$6167BEAD-37DC-4210-826E-13FDD0B16936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0eed1bff4ce59801a27c768da91be71c0d3e6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1274456,"id":"Q1274456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e676ea8798a712ddebe845aa912513315485111c","datavalue":{"value":{"amount":"+0.8498225212097168","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":"Q1342264$443C5802-2494-480B-9820-482C7E7A2E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f64caf4b9d63b7edad2ebef44a150e41e3263d","datavalue":{"value":{"entity-type":"item","numeric-id":5491512,"id":"Q5491512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19569cf0f9f1f73c8aa542fd86395d7861736ad0","datavalue":{"value":{"amount":"+0.8404474258422852","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":"Q1342264$3FBF0A84-A02D-477E-905C-92BCF059317B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete equational axiomatization for prefix iteration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_equational_axiomatization_for_prefix_iteration"}}}}}