{"entities":{"Q1944100":{"pageid":1954842,"ns":120,"title":"Item:Q1944100","lastrevid":71945727,"modified":"2026-04-14T01:36:36Z","type":"item","id":"Q1944100","labels":{"en":{"language":"en","value":"Counterexamples in infinitary rewriting with non-fully-extended rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6150414"}},"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":"Q1944100$8E3CE9C6-BA4C-49EA-AF5E-0A3061DB8F2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9cdd9939dadf64ac28feeef4872629aa58e74e57","datavalue":{"value":{"text":"Counterexamples in infinitary rewriting with non-fully-extended rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944100$4906B56C-1CB1-4ADA-A838-AB98F9ABFAC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc5b9b0dd705e8f2a1b06b213bfbb1389f85dade","datavalue":{"value":"1260.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944100$67A4616D-C538-4B91-9B58-296D9FC348AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$AFAEA981-B937-4527-8E2A-4F6B9502D337","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":"Q1944100$B749AE23-29D3-4F2D-855E-259D2A8C24C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed03f72b49df8968931f2c7d2aea5cd917c04029","datavalue":{"value":{"time":"+2013-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944100$BA81516C-1A47-4FE8-BD8E-27807238E957","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944100$04872A6B-52D6-4BF5-81BF-A387DE227D98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"725f6f4f8e2a8c7d3c369825a9a6d5f45be38485","datavalue":{"value":"6150414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944100$17B59BFE-7232-4DA9-A2BC-156D40AC321B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944100$E4B014EA-3CB6-4137-95A2-B7EB09FA15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944100$371E575A-77C2-4327-B0E0-28D367B12CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944100$31DB3BCC-F1E4-461A-A025-A3D3F6830CDF","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":"Q1944100$BFA8A094-9953-4F6B-88EB-0C4FAED1745A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb2009af744ea1386440f48788f4fce2d1195017","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944100$0F548F87-D7B4-4274-8A62-A8C0A7E49FF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3736f89c151c6014910c9fe1ec83c4c3c7786224","datavalue":{"value":"W1965164466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944100$E6F24FAC-949A-4AA9-9DAC-63F59DEAE40E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1b8911e64ffc31033b193fa755ce6a3c929f1a27","datavalue":{"value":"Q124821979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944100$0027B9DA-D178-4B4B-B022-48552C1E1ABE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3b89a09d0a3121a53d05d395c198853f4ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$3F914BF6-746D-40BE-90C4-78F8D67DB1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$AF11AB18-8BB8-48E9-BCAB-DFDE2EB5742E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$4466B631-8DF4-4A88-829C-100C96CBA307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$1324CD3E-E1D2-4740-AD79-E4C05385FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b21b5e7ff75a15c9b15750f1be0f27f788a17119","datavalue":{"value":{"entity-type":"item","numeric-id":3522017,"id":"Q3522017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$29A2A53B-C8DE-402E-B375-7A96AC9B572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7ce97644ee3beccdc41cf0c7941b4098c00d1a","datavalue":{"value":{"entity-type":"item","numeric-id":3636829,"id":"Q3636829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$0618F5F7-464E-4E78-80DF-D4DFF8A4AA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca528652bb2a8f9b2577cbdc5bd94d0c20f3219","datavalue":{"value":{"entity-type":"item","numeric-id":5703868,"id":"Q5703868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$79807B6C-F087-46A9-88CC-C46EFFDFF628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e9d43bfb79d6e0478a065742aa748f3541821c","datavalue":{"value":{"entity-type":"item","numeric-id":5387840,"id":"Q5387840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$AF1B536B-40AA-4D97-9443-D78FB0B2272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566543c1125c8b503b0127cfcac10f578be09c76","datavalue":{"value":{"entity-type":"item","numeric-id":3401138,"id":"Q3401138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$4B86C727-B1A8-4533-B571-B89E9F5E0076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110085e9c608d36ba8ac7bb6bde942280b7c12a0","datavalue":{"value":{"entity-type":"item","numeric-id":3575299,"id":"Q3575299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$DDF48011-3448-442F-B790-9C9AC171F2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$252A99FF-B39D-405F-B08D-3295DB3E424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$DF61DBD7-350E-4630-878A-B5F72522E4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633cf83c67ac473a486616e110e8d647c9885ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5055875,"id":"Q5055875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944100$D449EE87-B669-47D8-8048-45C3DC7EB748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04f9cc9417333d7fc17f917572abd8499eca3358","datavalue":{"value":"10.1016/J.IPL.2011.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944100$EBA138C4-7F27-4AB6-9383-D98DB7246816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3e13ec7d137f01950a39a61f32d43b8a63ecab","datavalue":{"value":{"entity-type":"item","numeric-id":5419491,"id":"Q5419491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd68388c07a7adc0ea8c36cdfbf348338dedf07d","datavalue":{"value":{"amount":"+0.8392372131347656","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":"Q1944100$14E2241D-55BC-4393-98F9-F09520910348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbaf0d3e1af855baae00d620cb6996a42ba6672","datavalue":{"value":{"entity-type":"item","numeric-id":5387840,"id":"Q5387840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82655ca3545272fb0d9ae2c4d85913ea998058b2","datavalue":{"value":{"amount":"+0.8065751791000366","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":"Q1944100$3B2EDE98-479B-4B05-A642-16B4CD93AE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724e38d90db6e49b0184e8f5f1ca682c40c8133c","datavalue":{"value":{"entity-type":"item","numeric-id":5389137,"id":"Q5389137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3bda324ef4327f10c21095a0747d44230e8693","datavalue":{"value":{"amount":"+0.7997826337814331","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":"Q1944100$6E90C667-5273-4294-86DE-68BE47BA7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7efbe295023f85a518478030ca13aebe3c12e4","datavalue":{"value":{"entity-type":"item","numeric-id":3401138,"id":"Q3401138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce7f943aea7c9563508d485cbe077d2a5b43a55","datavalue":{"value":{"amount":"+0.7967894673347473","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":"Q1944100$220C239E-FB9E-4B34-8BD5-CDAF8D426A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3a0b5cd885b6a4663a0877fb8cbc03331e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389152,"id":"Q5389152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778afe8df75f6d9e7d2f4dc0b27c049e608b7c37","datavalue":{"value":{"amount":"+0.7945414781570435","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":"Q1944100$FE3FD242-A0A4-42CB-968A-CCCF0F94BBAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexamples in infinitary rewriting with non-fully-extended rules","badges":[]}}}}}