{"entities":{"Q5419490":{"pageid":7449064,"ns":120,"title":"Item:Q5419490","lastrevid":96171011,"modified":"2026-06-05T10:35:26Z","type":"item","id":"Q5419490","labels":{"en":{"language":"en","value":"Partial Order Infinitary Term Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302293"}},"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":"Q5419490$0434564D-093B-4EFE-8D3E-CD6355A0081F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae0bb77954a66789a08e07a38ee3f313c64a8c7c","datavalue":{"value":{"text":"Partial Order Infinitary Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419490$DF5D4DCF-6F51-4C70-B51F-5FFC3559CF41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e42b2864b67c0ab043468ea3a29b13cc25ce50de","datavalue":{"value":"1290.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419490$60130CA4-38E6-41BB-BCF8-3E5A977446A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baa8ef7f80a617163e0a06cad1f2958a2c501872","datavalue":{"value":"10.2168/LMCS-10(2:6)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419490$9A8D616F-8E41-4593-9E51-C0FF7DC2ACC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419490$D85A9F74-554E-4EDC-866A-0A54EA6722FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419490$898008CC-2FC4-4AB5-96F0-9533D579AFDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419490$C9BB4F68-8E1C-4414-BD8C-03ABE717109D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6da6e035eb08abc9a1b2288b3e1f994d613968a2","datavalue":{"value":"https://arxiv.org/abs/1403.5644","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419490$F5673FE3-33EE-4D8B-BC59-176F8BCAEFC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419490$881B2293-A924-4EF4-8BFD-F52EEA7E737C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dda7d438c157caa192fcce4b5a5d519d47735f9d","datavalue":{"value":"6302293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419490$309074A0-9CE6-46AF-806C-C2D969349F48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51709807060a92d3933fc4d53293a6a68ad4085c","datavalue":{"value":"infinitary term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419490$97902EB6-BC62-47AC-ABD1-B6FFFBA7A84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419490$894A435E-EB12-479F-BFA7-445423B3A49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419490$CCE5AE6B-FA58-4032-B1AA-48BF10BA13B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419490$996401F3-12C1-4AB6-80DA-C039FDEF30C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419490$469EF69B-4EA6-4045-8A70-6CE310609C0A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0dd5160a1899cd1dbc4b2c755a9986e2ea915951","datavalue":{"value":"Q58061590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419490$7C94879B-401C-4544-9AD5-1ECF471866F2","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":"Q5419490$53602488-190D-4A9D-AB7B-9680C13A09C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f881908f3cf345973ac2414f85d9eee100830884","datavalue":{"value":{"entity-type":"item","numeric-id":5389136,"id":"Q5389136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c17642ef108bc3b8c89bcafca2aca6deabe2319","datavalue":{"value":{"amount":"+0.93098915","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":"Q5419490$45CF072E-0438-45D1-BC76-B4968F79B65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f335eb971219eb39fa29dc8c1009b491ab07b14f","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9d85a8c4a4bff1d575b18c8f07b55f47fc1d7b","datavalue":{"value":{"amount":"+0.91370493","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":"Q5419490$2C114296-3C52-4D7F-9E15-CBD9050839D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cca0a2987b129fa09e63ef02cc9b4e4510c9db","datavalue":{"value":{"entity-type":"item","numeric-id":5881203,"id":"Q5881203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4872499898533814bba2dfaf445d178e146aed","datavalue":{"value":{"amount":"+0.88883334","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":"Q5419490$4E68423B-AF4B-450A-9300-DEA0023649F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9784fc600fb67b4b96830236fce75733ee5e9714","datavalue":{"value":{"entity-type":"item","numeric-id":5170824,"id":"Q5170824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbd7b4c560611224fa707fe0fae94d79507a1f2","datavalue":{"value":{"amount":"+0.8824141","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":"Q5419490$A47047A7-89DC-498F-9185-E7EE47DD302E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8f493a5b98a210683b6055b4f316ebface75a7","datavalue":{"value":{"amount":"+0.8823712","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":"Q5419490$EC51F879-F282-4ACC-8827-B8D78B90269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c1e9cfe19bfdf2a5c85a5f5d8f7394e84bd94a","datavalue":{"value":{"entity-type":"item","numeric-id":4246959,"id":"Q4246959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44d41c56be0bb9f1fb477eda06faf61f651f2dd","datavalue":{"value":{"amount":"+0.8819424","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":"Q5419490$8A90377C-103B-4E12-8C6E-F7F9FD2AAB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9468fd16f2669a729f8ba0fd5dcadf77b7326ed","datavalue":{"value":{"entity-type":"item","numeric-id":5898156,"id":"Q5898156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f692e3fe803af58f0512948e2ce7a49b9eb65c","datavalue":{"value":{"amount":"+0.88174534","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":"Q5419490$44424959-402E-4F15-9BEA-58A17B6C4B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df8c04f0397d2ca963f36631bc44f9f45d42c81","datavalue":{"value":{"entity-type":"item","numeric-id":4035223,"id":"Q4035223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3adf0c81bfd15061de38c19e1eabccefd611741","datavalue":{"value":{"amount":"+0.8798497","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":"Q5419490$91EA9DED-C4FA-4F64-855F-73C07B4C8A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbe18dd48fecee89a8e5f3175de61020f1409d9","datavalue":{"value":{"amount":"+0.87907195","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":"Q5419490$2214E7EC-322E-4A21-8A6D-59A2146C3EFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial Order Infinitary Term Rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_Order_Infinitary_Term_Rewriting"}}}}}