{"entities":{"Q4659886":{"pageid":6689467,"ns":120,"title":"Item:Q4659886","lastrevid":82319945,"modified":"2026-05-06T20:37:20Z","type":"item","id":"Q4659886","labels":{"en":{"language":"en","value":"Termination checking with types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2148223"}},"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":"Q4659886$1BA1F246-64F8-4772-B238-302B495136DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb917a71dc90fb5b59f9d84774368c5ac22de770","datavalue":{"value":{"text":"Termination checking with types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4659886$0711162B-3A70-4D2E-8A55-3F2F3EF45BFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d664413496bc241f018886e0d40826ce0d8e728e","datavalue":{"value":"1089.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659886$D58F5EED-9477-4EED-962B-5785535E3D4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$20052AE7-7392-4433-9432-955FD89709D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$970AC281-8782-4736-BA17-621529135CC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4659886$A0D91800-CD1D-4ED0-B592-91FF2E3FAD06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7144303845e7d4542107314501cd25a824a318e0","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2004__38_4_277_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659886$DB19E4A0-9811-4E5B-B76E-F62D2F519858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"171329951dd2ba1f08d1f87b26b321d5f0eb121c","datavalue":{"value":"https://eudml.org/doc/92745","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659886$D1BB43F8-3850-4BE1-8981-4D0880EDEE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"58eb4e0f0b70f6c915943cfce85be3a65e61a3c3","datavalue":{"value":"https://semanticscholar.org/paper/d5c3b1fdac978085f6b4f2bd7bb046fb0df0b46d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659886$EF4D80C6-ED08-411A-8EB0-461ED98E301F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659886$02617679-4F6D-4719-83FD-78E8C6AF8837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659886$F8CF3DF3-A1E2-484D-91F2-9B3F4A380ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9776a745ffb50e0fa96e1228905cb2963be124f7","datavalue":{"value":"2148223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659886$AA00DF94-A1B0-4684-9924-0CE49B182CAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33301afa81b9129814f0f817d285f625c56354c8","datavalue":{"value":"Type-based termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659886$66E2F8C1-6A1C-4F52-B47E-3D2836395B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87eba31a19b98c71e9abca58a20a6775e063d827","datavalue":{"value":"sized types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659886$EC1BCCED-163B-418E-9A0E-EA9CDC4F9F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659886$38A9D7BD-DA5C-44F3-BCA4-22FAF5017727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4cb745a99ab4e3464b09d39f9a48e758bed3dc1","datavalue":{"value":"course-of-value recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659886$518CF35F-CFA5-437E-BB51-92463F9298C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6884b77bda1161cb9f352b92d55267e23f5383d0","datavalue":{"value":"bidirectional type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659886$5446E0CA-2588-42AA-BD16-9BB2DC8672A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659886$45B1F683-BEA1-4BD1-BEC8-8CC8EE644CB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$5B4FC107-8FD2-43D4-A18C-F9A838792C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$7542E553-459F-4EA4-929F-AB4A02EC4B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$E0DED476-D094-4E0F-B9DF-A4C99F472752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$D13F680B-691E-460D-85E2-31728005AEE5","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":"Q4659886$C3352866-D501-4C8D-8766-2D7A4202843E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07889fb0d285575441254a3523ba5c7f1ce8cc67","datavalue":{"value":"W2104860831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659886$44C82E70-E575-4B3D-AB98-77433922D06B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df147e95675e3502f46f8d8293591fcfab649778","datavalue":{"value":{"entity-type":"item","numeric-id":2766795,"id":"Q2766795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$6CD24F7F-86CB-4777-857D-53D4B2AE62E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2248baad94d49deb8d6e5be7cb1220558fdc2015","datavalue":{"value":{"entity-type":"item","numeric-id":2841236,"id":"Q2841236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$F1CA6417-9AC7-47CE-88D9-CBF5AB3DBAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5617310ca0bcf7dd61b0c261dc121dfebbbf04","datavalue":{"value":{"entity-type":"item","numeric-id":4457444,"id":"Q4457444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$58C3C62F-585D-4411-AFA7-4B830D610260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bb19e6feaa60d67a9e6471ccafb379a55914e8","datavalue":{"value":{"entity-type":"item","numeric-id":2784165,"id":"Q2784165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$7C7E77BC-E19C-472B-B3D9-C61855A8055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3359d8b4d74be6e0e3bf9e0913876379e1e59105","datavalue":{"value":{"entity-type":"item","numeric-id":3839066,"id":"Q3839066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$2E70E22B-FEC8-416E-829D-0B973ED7C937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$56D6B27E-8707-4A84-8B8E-9A89566C4E33","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":"Q4659886$6D132484-961E-4B64-AB4D-7F0C268BE62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792eb82a1128e3c271566834fa0a60a0234aaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":4218109,"id":"Q4218109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$4DDFDFAB-9724-41A1-B386-289123860B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26583a0948b43428dfca4a799ed6c2e952e9b27c","datavalue":{"value":{"entity-type":"item","numeric-id":5901560,"id":"Q5901560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$20F736AA-4CED-4BE0-A830-DCEB331F9A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233dfe42cf26367619cfadc069d894fa4a12e740","datavalue":{"value":{"entity-type":"item","numeric-id":5958292,"id":"Q5958292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$0D1C2DB2-C7AF-4F3F-9EBE-6758BFECF70E","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":"Q4659886$75681786-1C39-4322-A06C-EF3F3742B997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$13F01031-2CCB-4B1A-9D26-836EAE6512CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a708f98730dce4f0fa1000a40f28c79f3cf7c27","datavalue":{"value":{"entity-type":"item","numeric-id":5178852,"id":"Q5178852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$43F95448-D38B-475E-8C45-28ACBD9FDFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee35f895e851475cce139c8bd92617d4e18740ca","datavalue":{"value":{"entity-type":"item","numeric-id":2943370,"id":"Q2943370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$713A69E2-F679-4468-A69B-58FB200500A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef20c41c1051207d3ed06e91d121ed54b215875","datavalue":{"value":{"entity-type":"item","numeric-id":3452267,"id":"Q3452267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$B75587AD-3D63-4CE7-848D-10E1E4FC5604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02ff547cfaf7e165513cf8f07ad1a1e28baa67e","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$EBCE62C0-03F3-4912-A5CE-C1268003C772","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":"Q4659886$CFD5F17C-17C8-477A-AC07-1C5CE6CEF55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc871cb17168b29118ae5b22912c7d272cb87f2","datavalue":{"value":{"entity-type":"item","numeric-id":4417900,"id":"Q4417900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$3F39ECF7-AAAB-4B67-B700-C33A0328C707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$9BAE472F-CB36-4ADB-8DD0-40C0519201ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e082ddd83e4fa0c5d575c8b793e54d1f8ee2dce","datavalue":{"value":{"entity-type":"item","numeric-id":2817712,"id":"Q2817712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$77FC71C0-E980-4797-A119-7694404E7E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$55C2618C-95E4-487B-AEF5-0888921D50E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$C927290A-0D42-440D-BED6-B70AB7F9FCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$519C0F4C-7886-4B30-ABEA-8D66B261C605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$91294073-B70F-4F20-969B-2CE254625707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$24EE8419-A540-40AB-AA6A-6F98A9A443D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b144c0c520c17509ac5daded8f5ecbc80c815e60","datavalue":{"value":{"entity-type":"item","numeric-id":4539625,"id":"Q4539625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$678FE337-C374-4331-B428-F3B2C1EA9A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$AEC3ECA2-CEDF-47D4-9743-00E371971EED","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":"Q4659886$ABE5D240-DAF6-4ED7-BC98-4E934886ABB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34109c819e2bfe8ff541638d9a726549bd06778","datavalue":{"value":{"entity-type":"item","numeric-id":4520829,"id":"Q4520829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$4857D13D-40FD-4B97-90C3-E429CF96CA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0b238fbf6ead825f266d98e657f1e8f9114614f","datavalue":{"value":{"entity-type":"item","numeric-id":4267198,"id":"Q4267198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$8B576822-337A-46AF-A3CC-D000D5A5B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc53b0eee394db9b3b49fbcb3d5a82b596aa7283","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$09E18ABC-0483-4718-8EE1-7BAF996371C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$F767172C-93C6-4D2C-97B6-86F8EC6237FC","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":"Q4659886$618DC31C-E63F-477F-9CDF-B2AF7C2BE744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2468c927bb951f09e283ec08a933bed841a8da6b","datavalue":{"value":{"entity-type":"item","numeric-id":3148232,"id":"Q3148232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659886$2333137C-43F6-4F38-A68B-DE379A08C7E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e024148b5a0684edd561eaf7dcc97819bd1464b3","datavalue":{"value":"10.1051/ITA:2004015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659886$90A73264-F370-466C-A521-7129479391CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e653ab9ed0ff7b3ffd9b36f177ae4962a3d979","datavalue":{"value":{"entity-type":"item","numeric-id":5191089,"id":"Q5191089"},"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":"Q4659886$E548EE3D-71B1-441A-B63A-EAE2CEACB341","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":"32b64bf4808ac46dfe60402fd90f0760c7627d02","datavalue":{"value":{"amount":"+0.798656165599823","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":"Q4659886$6416DA2A-2F08-41CB-A99B-04B78969161C","rank":"normal"},{"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":"e246aa650f46c152cba01b7aa69ee7fb237732dc","datavalue":{"value":{"amount":"+0.794364333152771","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":"Q4659886$686C9EEF-9856-400E-BE63-9859BE41E760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541e68a6f314c069be7c658f925b039484ec628d","datavalue":{"value":{"entity-type":"item","numeric-id":4933315,"id":"Q4933315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62be60e2e00ac9efa2753a15cac7519375c231c3","datavalue":{"value":{"amount":"+0.7894115447998047","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":"Q4659886$A488796C-509A-44DA-ADE5-CF59B0184601","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":"a7381ca8be81aee1714ecbe0d536b1a19f1f50cb","datavalue":{"value":{"amount":"+0.7869370579719543","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":"Q4659886$D07E7A88-F6F7-40DB-A68A-421A8932C0DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination checking with types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_checking_with_types"}}}}}