{"entities":{"Q6544095":{"pageid":14155239,"ns":120,"title":"Item:Q6544095","lastrevid":55668496,"modified":"2026-02-17T20:43:00Z","type":"item","id":"Q6544095","labels":{"en":{"language":"en","value":"Cutting a proof into bite-sized chunks: incrementally proving termination in higher-order term rewriting (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853707"}},"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":"Q6544095$11A42B66-9555-4724-ACA0-4A21F15EF475","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13990b5c91c87a2ee2658394eb3c5224e1e3373e","datavalue":{"value":{"text":"Cutting a proof into bite-sized chunks: incrementally proving termination in higher-order term rewriting (invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544095$A5E247C5-ADD0-4428-86C3-BD89371C783F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e0333cb98cf09d4c229d80ed935c06c0035937","datavalue":{"value":"1541.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544095$6D74F3CC-B117-4B3D-814B-1A1EB4182BCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544095$00DC0C48-CABB-4B97-BA49-EDA644B556EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544095$3C83A2E1-8AE8-4A0A-83F8-BB8526B81DF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544095$9BB9B564-B80A-434E-A214-8F9338297C3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecdd714556e986ed96a11adfd871703621458e1b","datavalue":{"value":"7853707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544095$8327B711-D760-4617-B0C8-AB116E71D933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544095$FED9E600-7092-4D38-A701-7783178A4D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544095$2DE71402-16A8-41C8-8532-E1B9FD6A04D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a97032ae79aad315618a7a484896779e7f49e7","datavalue":{"value":"higher-order term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544095$31B8A858-5256-49B0-8D34-BDA11B1B8808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d85f2de0f21afe646ccc074f4fe477dba159ef","datavalue":{"value":"dependency pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544095$D5704006-CAF6-4467-B42F-654E3F7D1E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b741ecb78353e4a6e182f017c95913c0b4fbae","datavalue":{"value":"algebra interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544095$1C58A734-9ACD-4ACC-9169-0E2A4374F1B3","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":"Q6544095$C6EB72D0-510E-4E54-A7E1-77CBA9CF12F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a367f7d35d7f16e2c836cfa61840a93846eed0b5","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544095$39571BA6-A913-47C1-8A51-5D89737CDDB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdb450072f0a21d1b2b7da535dc91202feb50b8","datavalue":{"value":{"entity-type":"item","numeric-id":1275015,"id":"Q1275015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fbee5b47fa61879cedaeebe182cf9fdf109e95","datavalue":{"value":{"amount":"+0.7457112073898315","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":"Q6544095$EE97B160-5D51-4B2E-A4DB-4F19975CED80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f000fc31c1bab55c3a4a6f5c543789864c6d5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5055855,"id":"Q5055855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df4165b229e7b3a01e4bbf1e530bad9715587a0","datavalue":{"value":{"amount":"+0.7453829050064087","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":"Q6544095$BC714250-3023-49D2-8DE3-A3A6AF8F6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e63e737fb9c9a2a508e3809bb7977e2af01b58","datavalue":{"value":{"entity-type":"item","numeric-id":3172889,"id":"Q3172889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3ad347a9c91b5bd0f499079e4fce92ffcbe853","datavalue":{"value":{"amount":"+0.7404611706733704","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":"Q6544095$8B192676-CDED-4B3E-9081-3FECDA35BD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc94be127ad7233f91f80318749e753bfda9c14","datavalue":{"value":{"entity-type":"item","numeric-id":4539636,"id":"Q4539636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370fdb1120f93ea416991d89fd2850ea50283075","datavalue":{"value":{"amount":"+0.7350889444351196","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":"Q6544095$02B78E75-2A9B-43AC-BFEB-ACFF95467880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad86fdcb6089030fcbc2aaa6f7986ee2ef787d27","datavalue":{"value":{"entity-type":"item","numeric-id":2946769,"id":"Q2946769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecb5ca7c96852caca067812dd68a46587d6bdde","datavalue":{"value":{"amount":"+0.7337552309036255","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":"Q6544095$19F03735-56E4-4A27-881C-778A1496B69D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544095"}}}}}