{"entities":{"Q2904621":{"pageid":2915346,"ns":120,"title":"Item:Q2904621","lastrevid":51528440,"modified":"2026-01-18T15:56:05Z","type":"item","id":"Q2904621","labels":{"en":{"language":"en","value":"Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066146"}},"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":"Q2904621$FA6F55EC-69D7-4811-A46D-9D823917BE0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17f284d7b8afabcb3a97684fd1a0e54c98f453dd","datavalue":{"value":"1252.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904621$8E756010-D795-48FF-91D6-7DC9E72B7842","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdecc8d648e2a82ed37651161ab02be48147786b","datavalue":{"value":"10.2168/LMCS-8(3:4)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904621$CF32FB8F-749F-4749-A5B1-1109D012DFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904621$4AC0CEAC-7D41-4DA0-9C94-9C640EAFEDD0","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":"Q2904621$00F86A40-74A1-453E-BC69-E14EE68C5AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf90f946b2c89ca17522366492a000f00eed5be","datavalue":{"value":{"entity-type":"item","numeric-id":1248364,"id":"Q1248364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904621$BBA803D2-98D1-445B-80D6-BAA2BBB8EEDC","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":"Q2904621$70C7DAF2-5B59-48D6-AD73-3606E59B1F50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d6e2cc55c86aeaf01079a3703218502664deb6","datavalue":{"value":{"time":"+2012-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904621$C3234742-60A0-4606-8765-58D0DF45B857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904621$74A546F6-EA0B-41C6-A24C-2D1144DF4A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904621$5BE5AAC3-4555-48BE-A15E-DE7D06FF5D7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa0a9813b1e1df4b2296a1f9fbc15b4988e2765","datavalue":{"value":"6066146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904621$05F7C6CD-AD42-4811-BF94-B99DF036D398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904621$5B9453D9-1B50-4364-AEB7-ECA8253F6F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904621$F41CFC01-FBAC-43D2-91EC-786523F6D029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf64db4b48b9a0502fea288f474dde5d26f4b9d0","datavalue":{"value":"unraveling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904621$1128223F-E25D-41E7-ADB4-9A3C7EC8C5F0","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":"Q2904621$CA3B0569-8F5C-412A-91C2-0B588F93E6F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b37042fe4ae45feeabd3579a8e3b67d0b857aaa","datavalue":{"value":{"text":"Soundness of unravelings for conditional term rewriting systems via ultra-properties related to linearity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904621$E2E90B8A-45B3-401C-9F5F-08925E772A1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0e492def82c36322d9e3696ceb34c0e9198b1f","datavalue":{"value":{"entity-type":"item","numeric-id":5389086,"id":"Q5389086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a32df4bcd65027f4cd62bfc9df4e0de5695a77","datavalue":{"value":{"amount":"+0.9921197295188904","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":"Q2904621$5375A386-55AB-464A-8D97-390F9769EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea9d8b8ffb8e04ee2e7ea8960d3d9cf7d16622","datavalue":{"value":{"entity-type":"item","numeric-id":5111905,"id":"Q5111905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1205233b76d093ef44531e275e8cbc9ff176527d","datavalue":{"value":{"amount":"+0.9398027062416076","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":"Q2904621$980C4482-1B74-4AB8-98F2-F150AAE9CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8597e85bad679a40ee518fb41f35a5e976827f","datavalue":{"value":{"entity-type":"item","numeric-id":5389139,"id":"Q5389139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bdadde8d99318aaeeec724f59bbc348f148c63a","datavalue":{"value":{"amount":"+0.909151256084442","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":"Q2904621$A56B3987-84B5-419E-99B5-E4C845513BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de99ea9165fdcd58ec7a69836bc83c599401a21e","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fb849f357e181ff4971a4455f1f9756a02cbd6","datavalue":{"value":{"amount":"+0.8719457387924194","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":"Q2904621$2DB8E814-19A2-4018-BBD5-1D570A76222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f677df763df26fd462928cce9123ab3a10e4e6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2866802,"id":"Q2866802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e26062f68eb8b45d96fb94f5600d1dc77472ad0","datavalue":{"value":{"amount":"+0.8693892359733582","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":"Q2904621$B1C7CE71-170E-466C-8B33-5B2005125D90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904621","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904621"}}}}}