{"entities":{"Q3527306":{"pageid":5557210,"ns":120,"title":"Item:Q3527306","lastrevid":87311084,"modified":"2026-06-04T11:21:57Z","type":"item","id":"Q3527306","labels":{"en":{"language":"en","value":"Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347570"}},"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":"Q3527306$D45B035F-DB79-42E1-9867-2B6C22862833","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aad3480f44f06b9e8de92d2cb05e9cde97a34372","datavalue":{"value":{"text":"Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527306$300160A6-D426-449C-8CE0-3B0B1A09CE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f772600cfadc86bcd9f7a9292b77b45e083a9bed","datavalue":{"value":"1151.68455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527306$FBC35E3B-EFBC-44A3-B47E-38D7F6EF243D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdc44830783ee642fd71f3716642c121714dae73","datavalue":{"value":"10.1007/11805618_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527306$4006D0CD-E233-4880-9CC0-029534F5001F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aece9782bbdecc24a1c3873cef15672aaa16f82","datavalue":{"value":{"entity-type":"item","numeric-id":258540,"id":"Q258540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527306$9E635F71-BFAB-4C98-8F79-64409991DBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b66c1b86c92371b7f16ebf6453aeaedd4a478d2","datavalue":{"value":{"entity-type":"item","numeric-id":407554,"id":"Q407554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527306$D534A2B4-488C-4C04-8B3F-4903F813CFA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527306$44D305A9-ACEF-41AF-A146-9060DBCD9F0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527306$37D7BD20-ED24-43BB-AD66-E527FE4F248F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527306$6D99C27F-81BA-4004-A934-1B1B04E4214E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e83f9bbdb268c0a2d5bf117b144ff74bf5ae414a","datavalue":{"value":"5347570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527306$66B541AE-2AC8-4EE2-8117-DA4F5F36656A","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":"Q3527306$3B8C907C-1987-4706-B813-8EDE88C6DFC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1fad15e99e808577229e586578bbdcd56c60b35","datavalue":{"value":"https://doi.org/10.1007/11805618_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527306$037039DD-EE68-4FC7-97E4-39446CA6B46F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fa36d04b16116fb4c285aa78ebab1db9b796522","datavalue":{"value":"W2107851833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527306$1ECADB0F-CC10-4DBB-9BBB-A5BF2A7F7130","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab7e6c86b9d582d825b2de7964e5957f7abda92","datavalue":{"value":{"entity-type":"item","numeric-id":2873675,"id":"Q2873675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa6efa4b023a8f22fcc3315879d2452c2b0e2fc","datavalue":{"value":{"amount":"+0.8747584819793701","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":"Q3527306$53B24FC1-A2FD-48A8-8573-FB5AB4EBDE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8b1e4af45c6abca0f8445efcd001520a6103c9","datavalue":{"value":{"entity-type":"item","numeric-id":5394612,"id":"Q5394612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9bb310f3758d44b6bce40d870141736cf1d2da0","datavalue":{"value":{"amount":"+0.835966944694519","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":"Q3527306$CE5FA694-50C2-4E32-B5CB-2FC17645EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8af9f99090c0623d0d0b8c9765ce5b0255695c08","datavalue":{"value":{"entity-type":"item","numeric-id":2786124,"id":"Q2786124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c3750613f7984532d22db442f77d3f036130ea","datavalue":{"value":{"amount":"+0.8044435977935791","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":"Q3527306$E63F7DAC-415E-4351-A20A-8D159C093F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42315fbf5ca9c988037b846db27992e8a7c983f5","datavalue":{"value":{"entity-type":"item","numeric-id":5432342,"id":"Q5432342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59ec79f8befb0717a868e0c9faf6f3072f8f617","datavalue":{"value":{"amount":"+0.8037696480751038","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":"Q3527306$37C69849-F925-4E7E-9574-35CC0FFA00B8","rank":"normal"},{"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":"373cbda52826575dc72ca961c94b0174b33e9a18","datavalue":{"value":{"amount":"+0.7878776788711548","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":"Q3527306$11C3A139-0B4B-406C-B1E6-894CF70947D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_Termination_for_Semi-constructor_TRSs,_Left-Linear_Shallow_TRSs_and_Related_Systems"}}}}}