{"entities":{"Q1015386":{"pageid":1017234,"ns":120,"title":"Item:Q1015386","lastrevid":69822108,"modified":"2026-04-13T10:35:20Z","type":"item","id":"Q1015386","labels":{"en":{"language":"en","value":"Datatype-generic termination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552175"}},"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":"Q1015386$23808581-D203-4D60-87C1-07805B20AC8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7716034a7dd7948453cce019249d230ab862d779","datavalue":{"value":{"text":"Datatype-generic termination proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015386$A57B41C2-C781-49DE-9CC4-19CD37AED591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"404133d349823170df904f70ef14fde59943d8bd","datavalue":{"value":"1166.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$300E0FFB-3EC1-4D2A-952F-2E3DEF4FFFA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee2388a7dcbfa3c290a49af9bc308156654ec72c","datavalue":{"value":{"entity-type":"item","numeric-id":1015385,"id":"Q1015385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$58F1CE4A-0D0F-47F2-AC39-D015912B5B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71fb904a820c73693b0d5559909fc9d5a5d7f002","datavalue":{"value":{"entity-type":"item","numeric-id":1330442,"id":"Q1330442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$66CE9FCF-B315-4C4A-8E24-BE559DEE8B16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$C9EE0EBB-C3B7-4133-88DC-528525F5D36E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015386$C6CEAFD2-C5E5-47A7-81B4-2807FE94BDD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"339efb726df81d1f3bd46eed49d61de62907bcc6","datavalue":{"value":"http://eprints.nottingham.ac.uk/1858/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015386$F2A6E47A-0AB5-4C40-B5D7-3738BAC7F502","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$D4F98108-EE86-41D8-B1DF-CD4FC6263FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$C391D149-2E94-4AB4-9F46-79053738E4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$3397E6B2-D635-4DEB-81DF-26C74E1C2F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"582edb4041e03dccdb05de0d71fc91bc84d7dd14","datavalue":{"value":"5552175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$9C9AF6B4-3BC5-4EF8-B9E6-9044A4ADE4CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1a7eaa5316aee932b3a9b036fd85da80064d1d","datavalue":{"value":"datatype","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015386$CC2686A6-8792-4085-9799-1761808D851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d517d90d43d21c0e033101aac2f2db5cb9a56168","datavalue":{"value":"generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015386$9FDA4F2B-D188-4137-84A7-15B802AAB31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015386$EEDC6298-7B79-43D7-BFDF-DA1B9F7795A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7f7898bb8ce416f76e56ff319a2a407673cbee","datavalue":{"value":"allegory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015386$2B72C2E6-4388-444D-9BB4-470C6CD4D8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21efc3b38ad34c0130375983f81a325f839d196e","datavalue":{"value":"programming methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015386$C8F8DC48-42D8-4ADE-A09B-CF52CCD933D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$59FEAC3D-3802-4F1E-8FD3-DC02EA75CC9E","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":"Q1015386$F01E29C7-E917-40AA-8212-3724E8CCBE24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5595d533e3efdd86e0c6f273cf22237bb0fcab6","datavalue":{"value":"W2036563325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$6148AD16-48A9-4579-85BF-189985FE96E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68a2d73559bb02a7011f52a493931b2e2ea557df","datavalue":{"value":{"entity-type":"item","numeric-id":4943551,"id":"Q4943551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$135B6565-62A3-4A8C-A891-BAEB825FE188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35ea5e5703bc4fc3d109aa2432fc865a417557b","datavalue":{"value":{"entity-type":"item","numeric-id":4286527,"id":"Q4286527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$91A080B9-212F-4647-98D1-77F052E4FBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825ab4c172520052e5230110b703709aa8296785","datavalue":{"value":{"entity-type":"item","numeric-id":4885873,"id":"Q4885873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$ED04611F-1B3F-4E40-996A-89CD7904BCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a767735280b3d3942f4ef496a32fe58882159995","datavalue":{"value":{"entity-type":"item","numeric-id":4882541,"id":"Q4882541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$32B742BD-BD17-456F-8F42-066CA9AE3EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$7CB717CE-D07C-4BC6-B39C-49E15786BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99419914e050ccf47cae4e01d560d77ad4b300ae","datavalue":{"value":{"entity-type":"item","numeric-id":1916366,"id":"Q1916366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$9E2D921D-E490-4BF4-BB72-2396327C1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44f995b22051344e2be8e13300ad67c89b8e0a6","datavalue":{"value":{"entity-type":"item","numeric-id":700974,"id":"Q700974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$0E2D2E2C-5E44-4106-A58D-566234E760EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8165f321b4fa6f8b04b58e3947f10c6fd341bb","datavalue":{"value":{"entity-type":"item","numeric-id":1881268,"id":"Q1881268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$5399041F-F56F-41C9-AC63-8A07C07E7ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5620413217d8e07a62deab92fb58bbd2ca1e9f21","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$E8C99A28-F3AE-457C-AB9A-06A364A0F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0bb0d74c1cefb2ec5c83fc83cb1a78d00dc33df","datavalue":{"value":{"entity-type":"item","numeric-id":3838013,"id":"Q3838013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$93B9A776-9CAD-456F-A99E-CF707A1A7300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c52ec8d7a769fecbeb6e9eb7e9cf0c37315768","datavalue":{"value":{"entity-type":"item","numeric-id":4500365,"id":"Q4500365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$002372F0-85A1-4C61-8FE3-2688AF449086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ddfa3cf67c0a0a108945a4578d2121d8e7bac2","datavalue":{"value":{"entity-type":"item","numeric-id":4236981,"id":"Q4236981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$EB107F2B-1A0E-44CB-BC26-C96CAE1E3F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55e9c5a39397f049dd353f885cebe3cc51157b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5261272,"id":"Q5261272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$BD778825-E128-4084-9864-FD1464EF429E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6df64544c0eec8ced5b78fbd60e68d3ae563cd8","datavalue":{"value":{"entity-type":"item","numeric-id":749197,"id":"Q749197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$2BBA1C5A-EE90-4AE6-8D8B-C46A98F622E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae7d6a339fca70430dce6b181513b15d21185641","datavalue":{"value":{"entity-type":"item","numeric-id":674263,"id":"Q674263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$87D76B12-A4B4-4A23-8776-991794948AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39768ac07a39fad87330b090f9be3b893e03633e","datavalue":{"value":{"entity-type":"item","numeric-id":1201295,"id":"Q1201295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$7CBAC935-C23B-4C94-A166-B91D45967BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015386$882E2165-07F0-4268-8B49-A44F93B8A593","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71c5633a43310d15981e573b18441a26422f290f","datavalue":{"value":"10.1007/S00224-007-9056-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015386$3BE79069-F882-41E7-9876-0CD9403C43B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b726b090fea903ee7ab1849159d8edaa3b5fced6","datavalue":{"value":{"entity-type":"item","numeric-id":5898799,"id":"Q5898799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff46e57870a41e1c66dcdaf181db0cf4fca4aa8","datavalue":{"value":{"amount":"+0.9015787839889526","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":"Q1015386$8C22D140-4D56-4EEA-937A-3C83291DF7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d53d2c07f413de773a402e3d77dfaf162ae3e4","datavalue":{"value":{"entity-type":"item","numeric-id":5187878,"id":"Q5187878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c62ee78d4cee1e477b9388412cc94edc0c4ce02","datavalue":{"value":{"amount":"+0.7943093180656433","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":"Q1015386$9812A419-6359-4B43-8D2F-536AD26DA7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c39361e0ff8b7ca29be23d62f7ee4944da5424af","datavalue":{"value":{"entity-type":"item","numeric-id":923883,"id":"Q923883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b40c32331fbea2a68b15083982a292e789a65f","datavalue":{"value":{"amount":"+0.7851009964942932","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":"Q1015386$FD4F9687-F383-4205-A9A9-D5AF3FC86EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639bcab5333efd3ff4f363cbd0bb701c33ea9481","datavalue":{"value":{"entity-type":"item","numeric-id":4880524,"id":"Q4880524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e76db03f21314c055b98761a3a5591486bcf0f","datavalue":{"value":{"amount":"+0.7657856345176697","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":"Q1015386$1049D24E-B30C-4F7A-8821-01BCA73D4238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60785d38add43367d5ff460c7240014af47c3ff","datavalue":{"value":{"entity-type":"item","numeric-id":3618812,"id":"Q3618812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7286dace954ccc4b57c9fcd043047affeb2d49f7","datavalue":{"value":{"amount":"+0.7647039294242859","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":"Q1015386$0577D1FB-FB3C-467F-A20A-F6DC9E94E95B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Datatype-generic termination proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Datatype-generic_termination_proofs"}}}}}