{"entities":{"Q1879000":{"pageid":1889742,"ns":120,"title":"Item:Q1879000","lastrevid":71631069,"modified":"2026-04-13T23:31:16Z","type":"item","id":"Q1879000","labels":{"en":{"language":"en","value":"Simply terminating rewrite systems with long derivations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2101700"}},"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":"Q1879000$50A2AE19-F084-417C-8BBA-13F562CD99C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cff0f4d6348f1ea2efe7488ab7b571feac8bd50","datavalue":{"value":{"text":"Simply terminating rewrite systems with long derivations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1879000$3718E75B-6808-4EC3-B541-35959265177A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"278d45739a084316290667f96c721c3a205fadc4","datavalue":{"value":"1113.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$75971020-4D30-4E38-9127-2884ABDB4BBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b075a825863e8f2994344a3238448ae86f4ea047","datavalue":{"value":{"entity-type":"item","numeric-id":236470,"id":"Q236470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879000$BC4CB1CB-1033-4B31-B87C-3332C6773441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879000$4D5D9EE1-46F7-449D-AB15-F841D3D9DF24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1879000$664C32BE-E5A9-40AE-8EED-721368B2FBCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$7CC27A3D-3B65-4134-8E3C-65EC0830C90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$5E59F4E5-D850-4D4B-A778-A5195E5C0F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$3994BA70-208D-4D43-9C01-64156139D366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$95080BBA-CD51-4000-8541-A598E299B6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$143D8810-4760-4BD0-8008-2E22C2ADF7BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11f9f53a330cb55b8160e59e0e1a03672a258fa3","datavalue":{"value":"2101700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$438CE491-E7DE-413F-8D79-6EA33239481D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5584eed4c119684122f4cb3caa9d7b4d12a9d721","datavalue":{"value":"simple termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879000$C4BFDFA2-F6FE-4AEE-A92C-B4BC2BB3C4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba60e0c3545a5fca9336f00d3944b0b7357a69fa","datavalue":{"value":"Hardy hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879000$3B4E9959-812C-438D-AF52-F7CC8EE8DCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57da242a060834399383edc8bdf284129ac1354c","datavalue":{"value":"fundamental sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879000$0A903FD7-003E-40FC-A591-D858A036C7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b1fcf4bee164a31557e5c695fb0406f777b924","datavalue":{"value":"Hydra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1879000$C01EED2B-7578-4CF2-9704-69940D7BBB1F","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":"Q1879000$268E7189-E0B8-4924-912F-EBA83FEA173C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"780717c7102b756e8b6f22bbc550bca0da121636","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0190-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1879000$BFEC1125-1F37-430A-885B-A3ABF2C1490D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45ddabc28e71f4ee1bdcd52001b2a016aa606d5b","datavalue":{"value":"W2045080264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$93F68120-324A-48FC-9994-07AEFFB14F3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7639dd6a99099d31e3034dbf3185a29d7cdeb73","datavalue":{"value":"10.1007/S00153-003-0190-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879000$58ADF847-E39C-4855-B190-ED69BF0BD123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea089901fddc1de9ab687f8b8630b13dd7ab8901","datavalue":{"value":{"entity-type":"item","numeric-id":4541806,"id":"Q4541806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f316470ea356a102596069aa6c47f0fdd2b7e0bd","datavalue":{"value":{"amount":"+0.817981481552124","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":"Q1879000$FED0B4EE-302E-4B3E-972A-11D63B161D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc6b33cf441e0b7f2fe2cde41ee2e48556cc8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5897797,"id":"Q5897797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f316470ea356a102596069aa6c47f0fdd2b7e0bd","datavalue":{"value":{"amount":"+0.817981481552124","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":"Q1879000$036151FB-E311-4FC1-B4B0-678A629526DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c97b35bc1cfdaeaffc42e30e8a1efc28df7b3d68","datavalue":{"value":{"entity-type":"item","numeric-id":1267850,"id":"Q1267850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66a27fe754ec7fd781094463fcfc0cd94abd80b","datavalue":{"value":{"amount":"+0.8178288340568542","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":"Q1879000$666C7432-EECF-4ED6-9076-FBD25CB5439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f2c453961344bae1dd022d2aa173253945d6e5","datavalue":{"value":{"entity-type":"item","numeric-id":4834485,"id":"Q4834485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ed2c5b7762982508abab43ea412f9e7cd485d1","datavalue":{"value":{"amount":"+0.8172966241836548","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":"Q1879000$F6974034-7E3E-44E7-98D7-3DAAAF599C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5775882499b986725830eb3bafa6b9f82af9f964","datavalue":{"value":{"entity-type":"item","numeric-id":5297489,"id":"Q5297489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648ddd581a51df4bcedf38452f4d55a1b3b5ff6b","datavalue":{"value":{"amount":"+0.813872218132019","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":"Q1879000$846A0D2D-FB9A-4989-B6C9-3B0ADAFC9A22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simply terminating rewrite systems with long derivations","badges":[]}}}}}