{"entities":{"Q1355781":{"pageid":1366520,"ns":120,"title":"Item:Q1355781","lastrevid":46736700,"modified":"2025-12-25T12:07:40Z","type":"item","id":"Q1355781","labels":{"en":{"language":"en","value":"Omega-termination is undecidable for totally terminating term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014265"}},"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":"Q1355781$EC790675-7B59-4957-8666-8CE6526F45B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"879d3353ac8bc27958a8a61351688e199f926ad7","datavalue":{"value":{"text":"Omega-termination is undecidable for totally terminating term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355781$011D5E77-383E-49C8-AE0E-C14D6E6D9E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bac3d5e34e7231d0ab9fafa7b05fe6af58a7199","datavalue":{"value":"0872.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355781$CBBD6EF8-2549-4CB5-8AAE-B8F6FE67E42B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2daae3e1c4a91d851e44eeb961260350c6d531d3","datavalue":{"value":{"entity-type":"item","numeric-id":851145,"id":"Q851145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355781$91A135C4-DC04-49B0-B605-A62D40200674","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355781$0833E26B-67BE-4A80-BA91-C85CC7E55B79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e867b150d8a1bb758643b1fb4dd63cfc4c912853","datavalue":{"value":{"time":"+1997-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355781$416F8D93-D4A2-4882-8B88-357CDAD09A14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bf6004dde30e9a82e212e4514040b93b1e72fd5","datavalue":{"value":"https://semanticscholar.org/paper/25cf2619bb23dee3596a26e30d59fb3341a855cc","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355781$C05D1D66-01FD-4E34-B800-22BFC1142C63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355781$0105C419-2142-4526-9DF9-0739434FD429","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c587f191d890ed477abdd427bcf6b26d97f2c7f4","datavalue":{"value":"1014265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355781$0803A5B6-AF22-4484-87BB-0BF92FA4CA01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355781$E97AFB58-911D-4E30-939F-C95D70E8E429","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":"Q1355781$D9FDD84B-15F3-49D1-AD28-9F0571082C50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"526d446f1a3219c9ce4c3ff460c6717de3ac8af4","datavalue":{"value":"W1999336682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355781$8E8E0A1A-277A-441F-8459-F2DAF35F3483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65c766422590cefced0901c6db008aef0714663d","datavalue":{"value":"10.1006/JSCO.1996.0095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355781$B59262E8-5EE0-4F0F-9315-F8B23F21B798","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d335f8145d775bc612764758c98b47919c42e90e","datavalue":{"value":{"entity-type":"item","numeric-id":1911402,"id":"Q1911402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b3087609e99ef65bd613f7bd07d2f4fc6b8bec","datavalue":{"value":{"amount":"+0.8823227882385254","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":"Q1355781$C52B9CD1-9B90-492B-887B-82021D2A3C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b310a099ac6b90ddf41b1f53c1da03177a8a6ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055798,"id":"Q5055798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a5b804c490ac4f4d8b602d1703776c7f04f8e6","datavalue":{"value":{"amount":"+0.8144565224647522","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":"Q1355781$B45293CC-6794-4453-937B-3DA182D26CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a0a86281dfe37b6610e547cdd3e7d214e70223","datavalue":{"value":{"entity-type":"item","numeric-id":3795205,"id":"Q3795205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8713bfe9ec43c1ce5f853ac229e1344cf3f92e","datavalue":{"value":{"amount":"+0.8134596347808838","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":"Q1355781$8573EFDE-C47C-483B-97EE-97D0B20EC77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd13546199e36837498d0f86201f321fdd87908b","datavalue":{"value":{"entity-type":"item","numeric-id":5941752,"id":"Q5941752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e57396bc00b9c389df74127d857c4a78587920","datavalue":{"value":{"amount":"+0.8109039068222046","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":"Q1355781$63E563BD-DC32-4871-B832-30CA3459F4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd5eaf51e05b1c90484d83647abfcc2a7d12235","datavalue":{"value":{"entity-type":"item","numeric-id":1343111,"id":"Q1343111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e38ecda738dbdf3551a813e4d770e24907b570","datavalue":{"value":{"amount":"+0.8108256459236145","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":"Q1355781$3742D0D8-39A9-47B5-A16C-7030081F0FC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1355781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1355781"}}}}}