{"entities":{"Q3703289":{"pageid":5733195,"ns":120,"title":"Item:Q3703289","lastrevid":50459750,"modified":"2026-01-14T02:48:03Z","type":"item","id":"Q3703289","labels":{"en":{"language":"en","value":"An axiomatic approach to the Korenjak-Hopcroft algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930340"}},"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":"Q3703289$A63D831B-7314-45E0-8088-D4A3DBE90757","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16910cdd4f12ba09c95741e42ac3e04233d6704c","datavalue":{"value":{"text":"An axiomatic approach to the Korenjak-Hopcroft algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3703289$80F9DDBF-AECC-4CA4-8021-97B1D932970B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"661e3048cbcc87eff5d887a3fe7581ed8c7aef9b","datavalue":{"value":"0581.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$ED8A31C7-0D54-46AA-841E-8854D234282A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a71e4a0974b7063b3cbf15d052b60492022633","datavalue":{"value":"10.1007/BF01744577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$EBBBE1A9-DE3B-4D85-A14A-0FA8C476754B","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":"Q3703289$7CE1FA27-F907-4ED4-80A0-E31D75CF4753","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3703289$B9F3164E-6A9C-4F10-9E76-9468033BBE40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$4BEADD94-0868-433C-AE05-194C553A5D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$901E06F9-5163-4E17-A8D1-5DB71A370E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$D22E2374-74A8-460F-92F0-F06272FF64B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$03EEA35F-BB7B-4EC1-9A51-FC57A284C1D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d205be1f0033ade8f08a96a1ff0e5a249047a179","datavalue":{"value":"3930340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703289$E53531EE-86C8-4D45-A66F-16C0EAE0ABBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"178e8528dd03c120173f5bd82e56dbd20ec3e8ab","datavalue":{"value":"axiomatic approach to algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703289$8C3B3463-EFF7-473F-B24B-D5F77A9B6A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e520bb46718097035eaffae85bf0591fa2d3af80","datavalue":{"value":"equivalence decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703289$5FDCD423-B656-4432-B1E6-0ACE98F34BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f75e8f430718e0f2a1042e291cbf21500b20b","datavalue":{"value":"grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703289$9F2B53E9-3244-4D32-9E8C-27D26C9441EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703289$3D609F98-C4B3-4A86-B59A-8446874FACB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703289$29E98EC0-C13F-4B54-9BB0-2EC26C056845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8dfdeb3e52b9978aeea399f29d38864d45f6d3c","datavalue":{"value":"deterministic top-down tree transductions of infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703289$F6BB8061-1935-4599-B165-90D30FA1CF69","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":"Q3703289$4F6B8D20-8DD2-471A-A8C4-D1D702E1D15B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60852ae7282fd028da50ffa220546408dea9e96","datavalue":{"value":{"entity-type":"item","numeric-id":4772720,"id":"Q4772720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$4D94863E-D7BD-4BA3-8B1B-7FECDC9FC5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583fc00d1fe73786a69f9291791be750d1c45cd","datavalue":{"value":{"entity-type":"item","numeric-id":1246271,"id":"Q1246271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$059AD0F4-22A5-4514-BB29-8EB8E406FE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a4c070589a05d5209b2e8418c45ae0419220a","datavalue":{"value":{"entity-type":"item","numeric-id":3851585,"id":"Q3851585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$8B2DC80C-B654-4DE0-B588-4CCFE1A6A36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$F825D3C2-2282-4FFC-87A5-836544E3B70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66efbf2e399e731235b6fd4201687ec073d1631","datavalue":{"value":{"entity-type":"item","numeric-id":3311643,"id":"Q3311643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$6177AB20-41CC-46A6-80F4-9B3B8729DF10","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":"Q3703289$A12D59EC-D0F7-4DB9-879C-AFA6AD11C89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c5d18b55600060c01f0e98683fd48a87b2d34f","datavalue":{"value":{"entity-type":"item","numeric-id":3925892,"id":"Q3925892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$D26CF7F9-A41F-45DC-9631-1ACAE131F8E0","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":"Q3703289$1E8882C9-1D49-4451-8100-71299ABF8873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$C9CEE01E-0772-495F-A588-C9FA431BB74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f9ed14f47635349292dc1fc5be666cede90cf","datavalue":{"value":{"entity-type":"item","numeric-id":4146263,"id":"Q4146263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$E328E84C-C609-4890-8ACE-7D5B548B9CFE","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":"Q3703289$6E03E756-DCF5-4E92-B463-F027CF3CA86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$FA2388C9-DE32-47EF-A506-3D6EFB7B7B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231f36fec12be08804e8a05cbf0ff1fcdcdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":2560718,"id":"Q2560718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$952921CA-1D7D-495E-AF86-44AC1940090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233d64506c1bbc043413c13cd64bb09b3ed4f887","datavalue":{"value":{"entity-type":"item","numeric-id":1259173,"id":"Q1259173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$DFFCE759-5480-4FCF-91CF-E43A055A6275","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":"Q3703289$9DEA3F4F-022E-4CF6-B7B6-9326C313F88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$F61D4295-2CD2-465A-9751-3E23F624D2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$A98BAAE3-F3B6-4CAB-BA24-1BFA75653FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$EA5D0F91-682C-4DCF-B5BA-C9B95364E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebecac120edee416044dfc9fa2b60d66e0ccbe82","datavalue":{"value":{"entity-type":"item","numeric-id":1238431,"id":"Q1238431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703289$CF7828FA-21E3-4CA4-8F90-8895E98A7187","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":"Q3703289$5E70FBB1-E995-47A4-9FE6-8DE65D4EB715","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":"Q3703289$DA8DE3FD-01F3-4BF1-8763-AFE69CE2D615","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60d4915e05296216bc2e783adc07816ee14f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2458041,"id":"Q2458041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5aacfeb79ac547a80a59811c0bce10c695f2480","datavalue":{"value":{"amount":"+0.7513619065284729","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":"Q3703289$357C077F-57C6-48CD-9FF4-5BCA131206E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6062977386fc40f5efcf9afb5569ac394d473589","datavalue":{"value":{"amount":"+0.7474240064620972","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":"Q3703289$54176754-9458-43BE-BA74-77688FCCA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e63f393e2dd79c56301ca8496e0777c98aeab19","datavalue":{"value":{"entity-type":"item","numeric-id":3484362,"id":"Q3484362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33ed42c4b6b7ac58b0be0fafc59872a990f9ca8","datavalue":{"value":{"amount":"+0.7454930543899536","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":"Q3703289$02EF13D1-E688-4C79-AD8A-05EB4E67868F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b939968d9a83c5ef73be76689ac6142b0757b28","datavalue":{"value":{"entity-type":"item","numeric-id":3332228,"id":"Q3332228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2eef64ce473e1744730ec13fdf2d195a5f4e20","datavalue":{"value":{"amount":"+0.7449663281440735","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":"Q3703289$6AD415BB-EF82-4C97-A419-25DB0C6E4B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389ecb0576ae1535eb6ddb56b4c799cee7b10be9","datavalue":{"value":{"entity-type":"item","numeric-id":3327736,"id":"Q3327736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed572e1135a06f543784be6649f96fde6742d1c","datavalue":{"value":{"amount":"+0.7421854138374329","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":"Q3703289$F51916B2-664B-4672-A330-8DE9BA6B969C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3703289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3703289"}}}}}