{"entities":{"Q2500473":{"pageid":2511216,"ns":120,"title":"Item:Q2500473","lastrevid":49896985,"modified":"2026-01-11T19:43:36Z","type":"item","id":"Q2500473","labels":{"en":{"language":"en","value":"Ensuring termination by typability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047243"}},"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":"Q2500473$FD9188CC-249D-462D-82BB-1BBF97254869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e225bf2cd7e095a48f526babb7d30c68b0018c","datavalue":{"value":{"text":"Ensuring termination by typability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500473$A19BEBE2-F9E1-47EC-A5FE-6097336274B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c18abc5edc159d6bed02d96b1d431cbefc38c394","datavalue":{"value":"1110.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500473$C639767E-E038-47AA-9F6B-C29AFD8F5F49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$66332221-EF5F-4A5F-9E5A-EEA34CE5CE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f491ad868c4eca61729c7810f9e0350f31b3f06","datavalue":{"value":{"entity-type":"item","numeric-id":407445,"id":"Q407445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$EF966A18-559D-4D9B-9F82-EFBEC9EF6F01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$BB0583BD-347E-4FC1-A79F-EC2F2EEF79B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500473$35969521-9C28-4058-82CE-68EE07A0EBCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500473$B2235509-84C0-434B-A02B-2C2565DA6428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500473$E144EF71-3487-4414-BEC3-7193114CE8BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"165d626f71dca87454231a82aa513b3ef90a58f8","datavalue":{"value":"5047243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500473$B3D096B0-8722-4DCE-AF5C-030B9EE38CC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500473$C1312C9D-D7BA-4D63-BB0E-04ED2ED6AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500473$0FD3DCB2-29CF-41F4-A6FE-447A7E71291A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500473$D4EEFF64-74E5-4145-80B4-04CCA589AFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359637fc9b81f31f6fe6bc527b7f5113de0a6e65","datavalue":{"value":"term rewriting techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500473$03982DA7-54C3-41A6-9FB4-0ABB05C4CC1E","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":"Q2500473$74E83AB5-EFEC-40E3-B7C4-F647A5DA8FA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d73fdc1b26bc1f2b3555e6a8f3baba1236d481e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500473$47B0E22A-886A-4520-9208-14564AD1ECE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e661479047e064f5f0fad7a375c86d0b772fb3e","datavalue":{"value":"W2072572819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500473$81D1922D-5E00-4680-A111-B8F79BA6825B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8eb5718f1b0e490e356fe48e61d53e925dc0fd5","datavalue":{"value":{"entity-type":"item","numeric-id":3886851,"id":"Q3886851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$DD290923-30B4-4DA4-B433-DB5F0A33543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33bcfdad2ed96c88bb56444052a0f2151cc5cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4417854,"id":"Q4417854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$D2A4FFAB-9264-4A70-B91C-8CB5ADAA3696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c10793cff2ebcd51fa78f7f8a0425837ba030a","datavalue":{"value":{"entity-type":"item","numeric-id":4457448,"id":"Q4457448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$E26967A7-8E3E-435C-8408-D7C047A24F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a326b69c87b9f25d4c9c2782e4ef3e10300d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$6E00F151-AEF4-45D0-B097-1B3C66FFA8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95f5b098103aa998ab86838a951ca6d74163b57","datavalue":{"value":{"entity-type":"item","numeric-id":673622,"id":"Q673622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$464F4E4D-BC25-4C6C-854D-E0114C7411BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$EA70A9FD-EEA5-4BB4-9564-17B85B0123EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$70CCCAA7-7413-44EC-91FC-A4CC175AE9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$23C1CB1F-7E3D-4246-8FB0-72223CA58DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$51F2CB83-4EC9-431D-BB57-E535A7AAC158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd3531eb26971f85b05a12f684825f6b7a9352","datavalue":{"value":{"entity-type":"item","numeric-id":2581011,"id":"Q2581011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$D76D4023-6124-4538-BF68-0E79FE8A53AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$8D55AE0F-C434-4039-A2F1-8A5A56764A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$462B99E5-5AFA-461F-B89F-2BE16397A1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$54AD59DA-52C4-4918-90CC-FF818F70C18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$CEC73F46-25C3-4C95-A494-0747785D2CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$73AE89A4-BC5A-4F9D-9E73-41A0A0026A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7086935aa9ce316936bf9dc2793c2f983d48890","datavalue":{"value":{"entity-type":"item","numeric-id":5466792,"id":"Q5466792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$A248ED4C-EE9A-419F-9BE0-940769759C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$7FF30918-71A9-4476-B95D-C44BEA899D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$EE391634-3218-4483-855B-FA3679D21E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca12ff033a37ab722fa4cb716981e858b6214e8","datavalue":{"value":{"entity-type":"item","numeric-id":598201,"id":"Q598201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500473$5D9D3931-BBBA-453A-A715-39A2F29C212E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"858c9e413902b61de5dbe6f17a1b29d599ad7be8","datavalue":{"value":"10.1016/J.IC.2006.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500473$710965E1-7091-4844-90DD-5743CCCEAAAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c0b8b75411124ade7b407799b0d4402c20648","datavalue":{"value":{"entity-type":"item","numeric-id":4673437,"id":"Q4673437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d035a84f4170da57606a0c8a92fdb03fef82dc","datavalue":{"value":{"amount":"+0.998972237110138","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":"Q2500473$D90F8794-1A81-4FD9-94E0-812CE90659FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3965fdf3c4629d7b678b5c7ad24277dd1faa5e","datavalue":{"value":{"entity-type":"item","numeric-id":4965858,"id":"Q4965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abee303a4160bb9333f0c5d8afd3f1e9bea3eda7","datavalue":{"value":{"amount":"+0.8886261582374573","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":"Q2500473$5917A357-DA6F-4660-9AA4-FDBCEB19F67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad463672501466a55e714ef0439d9d7bc464dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2971078,"id":"Q2971078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d3cc4157295937f457d9619d07b80bb41030e9","datavalue":{"value":{"amount":"+0.8727760910987854","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":"Q2500473$1E41CDF6-38F3-41D5-A92F-387C49AFD3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70446e1388c63fc87663a5ad0509e33bfcbc18e0","datavalue":{"value":{"entity-type":"item","numeric-id":4484478,"id":"Q4484478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cc542d397c999d4dbbd693c4bdb466df107eb6","datavalue":{"value":{"amount":"+0.8364541530609131","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":"Q2500473$C5077B42-8A15-4CD7-9F11-68CACAC77054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b37774841dd21b07660227c963606329625e524","datavalue":{"value":{"entity-type":"item","numeric-id":6488159,"id":"Q6488159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cc542d397c999d4dbbd693c4bdb466df107eb6","datavalue":{"value":{"amount":"+0.8364541530609131","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":"Q2500473$3FDD9E54-E9C3-49E3-A2BC-A19B91A41E22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500473"}}}}}