{"entities":{"Q5325774":{"pageid":7355348,"ns":120,"title":"Item:Q5325774","lastrevid":50725094,"modified":"2026-01-14T22:56:27Z","type":"item","id":"Q5325774","labels":{"en":{"language":"en","value":"Proving Termination by Invariance Relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586288"}},"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":"Q5325774$225DE258-9687-4997-8B49-47BB9C8BECE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8292ab0b6a53332c154b7e4b15943a4ed8c472","datavalue":{"value":{"text":"Proving Termination by Invariance Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325774$11E2CF27-9AE4-43D2-95EB-2DACFEB6CF53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"892221d8c0bc5e7f8ab2435d260a93f4cb81014b","datavalue":{"value":"1251.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325774$B1AD01D7-9300-4701-B18B-BA41B70457F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1831e20789937a04fb842d345e883ecaf03c7fe9","datavalue":{"value":"10.1007/978-3-642-02846-5_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325774$A1B92ACE-5117-41E9-B409-DFA2460138FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"307c548161314a4db5b86f2a83c75f889ab5ea6e","datavalue":{"value":{"entity-type":"item","numeric-id":3558282,"id":"Q3558282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$A8627E9E-0372-478E-A4E5-C0DACB367475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$F4A07BA4-67B0-4694-977A-8B9B597C096B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$ADF39562-CB27-47D5-B15C-84FFE1F4A24E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325774$459A8E5E-9B58-408F-8D4E-F18D3BCF958B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325774$7030C674-BF69-428E-9B2A-3BA923DB72CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07e7568039d4f26c7e5aefe7c96fe57485e5ba29","datavalue":{"value":"5586288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325774$60BA7F1B-A973-4D82-897E-38AA59B77461","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":"Q5325774$64E9BBAB-2DEB-4017-9A7F-8E29E03657E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb4033681f4dc0de55c672216ec37a61800cbe71","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02846-5_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325774$2674AE52-47E4-4EC2-A3D0-7FFCF2309EB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0924855589eb4545ecd320a2e68f8dbf35e2f151","datavalue":{"value":"W1845749915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325774$FC15F193-9560-4E6C-A585-D580210AA598","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec23c2cedbca993d6d20ae4992d574dd3364f15b","datavalue":{"value":{"entity-type":"item","numeric-id":2736363,"id":"Q2736363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$20C7FE33-ABF0-4A63-9ABD-1BB7ABCAA2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$2B9627EB-6071-43AC-B72F-DB6831EA4DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461051b6e767f08fb11be910583fecd77b28fcd5","datavalue":{"value":{"entity-type":"item","numeric-id":4245936,"id":"Q4245936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$2E17CA0A-489C-4A7E-8C70-A70186B620D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b1f4539a5a71a3459b2d80fdc47dd9c0d0ea64","datavalue":{"value":{"entity-type":"item","numeric-id":4012708,"id":"Q4012708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$62EF41AA-BC5D-4314-B5A7-E0F230469A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6730550a11c6a1243c11c8b5e1cd605627b493d","datavalue":{"value":{"entity-type":"item","numeric-id":5475786,"id":"Q5475786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$3D20A907-5483-4256-A14A-4DE4C1B6C3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d679d59712e87e7b4f1bdb1d4f6040f0df285ea0","datavalue":{"value":{"entity-type":"item","numeric-id":5504676,"id":"Q5504676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$676C3639-53EC-4B95-BE8C-B0B9E432CBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348d935c173cc77a64934cf4c837e8bc5dc0795","datavalue":{"value":{"entity-type":"item","numeric-id":5475808,"id":"Q5475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325774$9C8AE003-B1C3-4C36-99D6-B601A82E3D01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c991114eac56227add10f5402c9e986afc8f2e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5325775,"id":"Q5325775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83456124404d16840ac97f3f9724fb1aef0efdf3","datavalue":{"value":{"amount":"+0.8421282172203064","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":"Q5325774$BAABFAA6-049E-4C09-8BE4-E86BD2298AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e896688832767c7418eedbbcbb6bc5ea6d3f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":5504676,"id":"Q5504676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1cca3a9d7c7c9ec18f584ed161a50cebb1f98f","datavalue":{"value":{"amount":"+0.8261827230453491","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":"Q5325774$6824E041-11EA-4E02-944E-4D9F51C44A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b58d7fddb0ec0ca24ff7ceba2e8810147b2a09b","datavalue":{"value":{"entity-type":"item","numeric-id":4909324,"id":"Q4909324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d7a8fc3fb52ed17710b07a90780a5bdc0b93ed","datavalue":{"value":{"amount":"+0.808363676071167","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":"Q5325774$12906724-E0FB-450B-801E-D5A5220D26C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2f81cba2f4791aa462f4db3fdf83921f69903b","datavalue":{"value":{"amount":"+0.7996894717216492","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":"Q5325774$011A727C-2A89-4488-A477-51AF652F17E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1b0c6df271d509c4ec48085179026720566a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97f81c7d98647b956a8daddfd343e5085e2138b","datavalue":{"value":{"amount":"+0.7859113812446594","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":"Q5325774$87321ADF-0220-4E6A-B252-69D886511363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5325774"}}}}}