{"entities":{"Q5191089":{"pageid":7220661,"ns":120,"title":"Item:Q5191089","lastrevid":100667063,"modified":"2026-06-05T22:43:32Z","type":"item","id":"Q5191089","labels":{"en":{"language":"en","value":"A Tutorial on Type-Based Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587920"}},"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":"Q5191089$D4A1F7BE-8D90-4361-94A0-83EF67F6BA09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e197e79e13b3fdbc7dec25a4e7e100e2b16f980","datavalue":{"value":{"text":"A Tutorial on Type-Based Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191089$C28B8DF1-4C27-46F2-92D9-205C03A1C26E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ea4a62934045cbf28f23d8e190a207b8945fde1","datavalue":{"value":"1250.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191089$6D6F82FB-BCA3-4AA1-B456-E04784CE6852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c2e9533710515c630a9488329a5b6b4ba01b0a8","datavalue":{"value":"10.1007/978-3-642-03153-3_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191089$EFC44250-D86F-4C47-8770-A6DE8181B6B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$82606081-FAE4-4023-A452-7CA19C00AAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$243E81C9-D74D-44CF-BDB3-08523873BCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1fc50a159907b8dc1c70f03396294da532f8687","datavalue":{"value":{"entity-type":"item","numeric-id":987975,"id":"Q987975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$A351DE4E-0771-45F1-BB4C-6A6DB21EF01D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bea2f664d75d2e6807698534326438b961f03d7f","datavalue":{"value":{"entity-type":"item","numeric-id":5191086,"id":"Q5191086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$DEE5D58F-15BB-48EA-9C80-B2451AF44160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191089$F8215AD3-EE87-4460-9D53-60B3AE452B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191089$4E7055C1-B05E-4D7A-8C54-238338D55087","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f97ac848b6d3a6aa006c4e57477b931f4ca00cd1","datavalue":{"value":"5587920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191089$AADA6601-3A93-4AFD-ABEA-D07405467CC7","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":"Q5191089$F48053F5-1BBA-4B2A-B9CE-A05F56A6FC7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d72056002f7d48072a0b8104ff1a92461489aa7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03153-3_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191089$B6955E0B-D7D8-4533-ABD4-896803F24898","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"def942eedc6c0d167989715709bdddc86cf6533d","datavalue":{"value":"W1661875115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191089$99673AF3-5731-4A6A-B9CF-1CD9B09DBF5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e490f73f7bd52f2b2f1266074fe30c748649c285","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$6A7E0325-E787-436E-86A1-C033AD2A824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a315f8ad5008dcde11f07cf3ff6480c48c7abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$26C8DB7F-C3FB-40CD-8241-0CC399E47657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dac06384dc787a405949068340510a6602af80","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$1730B84F-B90A-446E-ACE3-79725118D0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14052563b97a2fd4fb1e42192428156ca01ddaf","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$4BB6CBB6-2311-429B-B413-4440CFE62E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4beb2ae3000e9030d03769ff8ccdb77dc22d44e0","datavalue":{"value":{"entity-type":"item","numeric-id":5959585,"id":"Q5959585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$40BA1E38-04C1-4B76-A66A-5BDEC16EA379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd30f54dc1172b6a050747015824abf8853f3b64","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$C64A407F-DEAE-4F45-9DB5-966C6796532A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fde8a68f7ac705939927db78446d9cd7abd767","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$D2DE9F0E-1170-403A-B58E-804B3B07FE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd647b7e190f6768b66094a5a1a152a66fc6622c","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$E29D5871-29EA-4F87-9A93-D214AF94034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0882b92509d86167082a58bce5848b4bbe9f50ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268477,"id":"Q4268477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$105265FA-6BD1-4AC1-9419-B4560F05DD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e485adcd5eabcbfc1550f63607a59b1d485ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":2817715,"id":"Q2817715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$13AB1A96-CFC2-4E3C-B31F-A7796B51FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb425e19efa9e5decb07e9dd177882dc02eb9359","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$01037D6F-3039-4580-94AE-EF0F60940646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48620b6ef8d3e93628ce4433fc27784165b6cd3","datavalue":{"value":{"entity-type":"item","numeric-id":1850960,"id":"Q1850960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191089$026C1E84-08BF-414F-847A-C9A97B486254","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00109cef22270c88ccf8bc2c1b955849380f930","datavalue":{"value":{"entity-type":"item","numeric-id":5704030,"id":"Q5704030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeeb297f30147c4dd7b9c492c5a82981ad0b676c","datavalue":{"value":{"amount":"+0.8347682356834412","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":"Q5191089$CC5D92C5-FC5E-4F96-8B29-5294B4B8E1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0503abb6bd0008b433cf5d77598473609f227dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5387897,"id":"Q5387897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8988068b9fa2f395be3cb679443c384dc7c62aae","datavalue":{"value":{"amount":"+0.8335458040237427","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":"Q5191089$F1A0293E-A89A-463B-857F-76BBE660A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d97806b501a6680b73f96c77eb5c3ffb588d78b","datavalue":{"value":{"entity-type":"item","numeric-id":4463991,"id":"Q4463991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29be7f10b1865c26c7691b73fb999b6f46d9e0e","datavalue":{"value":{"amount":"+0.8133558034896851","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":"Q5191089$0DCAE283-7EBD-43D4-A646-1FFC66D7528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be2662826ba3932304951a0b3c661047bbf58b","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b34f2f6df4d380ca4a36adaecaaea276f3b5b0d","datavalue":{"value":{"amount":"+0.8127763867378235","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":"Q5191089$12D2722B-76E1-46F2-8C6A-D86E1926D0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fec648d54e88a7b65d0a8f4bd3f5c2ba89659f","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7b0a749649a347e099598ce3bec7afb8e9af60","datavalue":{"value":{"amount":"+0.8019648194313049","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":"Q5191089$B7ED7035-DBFE-42E5-B943-DDFA904D8D07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Tutorial on Type-Based Termination","badges":[]}}}}}