{"entities":{"Q3586062":{"pageid":5615966,"ns":120,"title":"Item:Q3586062","lastrevid":51070820,"modified":"2026-01-16T12:19:10Z","type":"item","id":"Q3586062","labels":{"en":{"language":"en","value":"Signature extensions preserve termination. An alternative proof via dependency pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779268"}},"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":"Q3586062$E1369E08-64E7-49C7-BA66-8C0FB9309ED4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"571b19653d3d6e29e5617721de15d1ee2ced1250","datavalue":{"value":{"text":"Signature Extensions Preserve Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586062$88627978-7E87-4E33-B8A7-D8B25BBEAEBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ac8ce2b3a0fff55ba9c40c980089164cfcab18e","datavalue":{"value":"1287.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586062$E4E425EC-F7AA-4147-8A94-FBFF4F47818D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69210287a4735dc87f61981c67c6161e865d72dc","datavalue":{"value":"10.1007/978-3-642-15205-4_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586062$38CC1395-51F1-476C-AC25-4A0E94743E10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586062$3266D93D-2DED-46F6-B27A-636ED9B0EC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586062$8EFEF2BB-A33C-41D8-ACB0-E41FB87309C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586062$2F25F593-EEAB-4C8A-8050-2DB709BAA2A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586062$2B18C0BB-3F1B-41B3-82E0-F71E6DAF5F6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586062$518B648B-7F3D-48B1-98C0-B45814FD41FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586062$C97CD2DA-741F-4E23-B7F9-C03355F1A074","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ebdae91ce2de517d932de3702092dfe90be03e4","datavalue":{"value":"5779268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586062$05074CBA-622A-4EA9-BAF5-C1AE0449761E","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":"Q3586062$F4CA7839-D152-419F-9667-8E5E965D47D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"540fd169211201180875d08a914a6312df7db674","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15205-4_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586062$D3321296-1917-4714-988F-3A0AD41801A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e8352db160700ccdbbe940227f24551f0abdf93","datavalue":{"value":"W96821497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586062$0DD53427-1DCF-4E64-82BA-14683CFB6D21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33bc5222f055af0d789acd51389f19348cb8419e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495600f979054902e7aec66b5c8d9dcfdaddf0b1","datavalue":{"value":{"amount":"+0.7979861497879028","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":"Q3586062$0158B9FC-9544-49C1-9E42-A6DBB8E7E4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f441a4f41a9ba39e088a4ee9de8d2257c7ed359","datavalue":{"value":{"entity-type":"item","numeric-id":4645205,"id":"Q4645205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495600f979054902e7aec66b5c8d9dcfdaddf0b1","datavalue":{"value":{"amount":"+0.7979861497879028","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":"Q3586062$83C4A9E3-8D6F-4C07-940A-87B935170FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51872d96c567384c50ae7da9282c88f811328b5e","datavalue":{"value":{"amount":"+0.7862831354141235","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":"Q3586062$5212FC46-7815-4376-B057-86CF5AD39838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae19b017730ffd7f07aafc6ac8ae0012cb4910df","datavalue":{"value":{"entity-type":"item","numeric-id":5307050,"id":"Q5307050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813f767a935f6795fff8cb848739e6798d22b3ac","datavalue":{"value":{"amount":"+0.7746472954750061","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":"Q3586062$09049A58-3FAB-44AD-901C-EF92F8971313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eedc694d7d4f2556190c2f92cc01c28a5fad745","datavalue":{"value":{"entity-type":"item","numeric-id":2360875,"id":"Q2360875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ae2552ff23d2650c43f5e4e71b7f1afdf001c2","datavalue":{"value":{"amount":"+0.7744426727294922","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":"Q3586062$3A42C40B-EDFA-42D5-9D24-BE29DF08C477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586062"}}}}}