{"entities":{"Q3608810":{"pageid":5638716,"ns":120,"title":"Item:Q3608810","lastrevid":50592173,"modified":"2026-01-14T12:18:30Z","type":"item","id":"Q3608810","labels":{"en":{"language":"en","value":"Orderings and Constraints: Theory and Practice of Proving Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523806"}},"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":"Q3608810$BB975ADD-B93F-4B07-8FAB-4DCF4A217B9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ff9ab2a01348624de0b916140ac5a1ce89086d7","datavalue":{"value":{"text":"Orderings and Constraints: Theory and Practice of Proving Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608810$FC0B9DB3-BFF5-46FF-9EDB-B9599DB6FFFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddf8c42a801dd81fc16ae4b666d8b4edf6bed19d","datavalue":{"value":"1186.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608810$A12FAFFC-77C1-49ED-95A0-8087FD768AF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2803909182f8fd621c55616e8fe72474c08cf05","datavalue":{"value":"10.1007/978-3-540-73147-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608810$16B83941-94CB-4631-8A00-FD9A86565413","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f18c2b247eb825a22ef1ac6c7e11ce559c2677f","datavalue":{"value":{"entity-type":"item","numeric-id":438573,"id":"Q438573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608810$640FA0D9-28E4-4F92-8886-BFB70DD65D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608810$07E3028E-AF23-4CF8-BDA9-7D03A4FA3E31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4c6db21b0e8321ee4e0cbe49fb02a3b124742e1","datavalue":{"value":{"entity-type":"item","numeric-id":3608808,"id":"Q3608808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608810$02274076-BDF1-462A-BA64-9E819920E7F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608810$8D66AAAA-2EB8-431E-B025-46F0DE151F69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608810$6CA54918-BB66-4CDD-93A7-85E56D0813B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2d51f64df70ac537090e64cb2bd61e84020fcaa","datavalue":{"value":"5523806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608810$C7FD37B6-9362-4E52-B892-C847379AA013","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c326307158b5645c1325f44a8655bebc65c0dee","datavalue":{"value":{"entity-type":"item","numeric-id":22033,"id":"Q22033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608810$27EB92C6-A5D7-4B15-9C56-031731B66813","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":"Q3608810$22FE1113-3288-41DE-B6AD-1AC75CD208AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c58423628e6c2fed11ee96c2e1affe697e1b33","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73147-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608810$81FC7F50-6EEB-4496-8BE1-B06CC6528034","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e84c51694d92da95aed755c412e8fbf334dd1088","datavalue":{"value":"W1606338408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608810$991741BB-2FB3-4895-B7A3-2CD7A6DFAF80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b49872a3cdc6dabaed07c017a65e640af25869d","datavalue":{"value":{"entity-type":"item","numeric-id":5055814,"id":"Q5055814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181ed3a431d0162d7355114f4e7e73541493a2de","datavalue":{"value":{"amount":"+0.8196654915809631","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":"Q3608810$95F0CFD4-3C89-45FC-98B1-1511CE61C7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35398bb68961ca6ca6005a2a56e2e38acea57fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3703288,"id":"Q3703288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f32e3902c66366d3851b3c590dd4aa98646d98","datavalue":{"value":{"amount":"+0.8172951340675354","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":"Q3608810$C11F0AB8-939F-4F5B-B688-160ED623F975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d531e47e7556ea78138d6d02e9af4569b6bd30d","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc778763e80ad42fab07405934072e635d25bbda","datavalue":{"value":{"amount":"+0.8072450160980225","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":"Q3608810$3E37B7B1-2EED-46DB-A3C8-29EEC7A6708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de11de7f1033100254dd1a243bfdc23c311b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055795,"id":"Q5055795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841bda88b5b7ccde0ba7e37aac6255ade34baef9","datavalue":{"value":{"amount":"+0.7956401705741882","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":"Q3608810$14A2F3CC-6037-4729-AC1A-303CE9FC77AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc5068002fcfc122a64810d524a1cdab4731a9","datavalue":{"value":{"entity-type":"item","numeric-id":5055845,"id":"Q5055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13efd1b5bbb91689763161543e0c7caedbbd66a7","datavalue":{"value":{"amount":"+0.7939812541007996","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":"Q3608810$4651137A-E8BC-4AA5-A0AD-1EF69E84D59E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608810"}}}}}