{"entities":{"Q3636817":{"pageid":5666723,"ns":120,"title":"Item:Q3636817","lastrevid":50694497,"modified":"2026-01-14T20:15:07Z","type":"item","id":"Q3636817","labels":{"en":{"language":"en","value":"Proving Termination of Integer Term Rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571834"}},"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":"Q3636817$B294A40F-676C-4D58-B1F9-EEDB68FE01A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f245ff554fbb1947164028e93ba0da2420d21a3","datavalue":{"value":{"text":"Proving Termination of Integer Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636817$EFC2B70D-AD53-4390-97E5-B26E936701A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce8cf828be5db41fe8252a231b8ff6ceb6dac424","datavalue":{"value":"1242.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$76C92C39-35D2-40BF-BD86-9BAB0F6961C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc0f8ccaef30c315005568016e76473b2aed73df","datavalue":{"value":"10.1007/978-3-642-02348-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$76D19CC6-DBCA-43C3-A89A-6FCF9F41FC5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$2E2376AA-E058-4BCE-8129-D8DD01A88EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$FB101BC0-6E6F-4A68-A23B-B62C82ACDA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"583fdf85a7275ca9b748c6a159e3cd340be95172","datavalue":{"value":{"entity-type":"item","numeric-id":2362491,"id":"Q2362491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$F60BAD77-0C04-40D4-80C5-6CA535338C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$0DA47E9E-CB87-49FC-AB2D-446B87D7D149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4884ea388d9a1b061adeca7a34ce809061266cfb","datavalue":{"value":{"entity-type":"item","numeric-id":877835,"id":"Q877835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$35602C8F-7414-4F02-A7FC-768899095B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$62C5F433-46FE-4736-9FFE-02B6713701DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636817$296A97A1-1A9F-453B-917D-BC3674F9DD99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$E05BA0A3-C1AA-488C-8AAD-F8C2DF722EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$2CE0C2DB-1C56-44C0-BC38-88A504D516B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$8B1DCF76-E857-46D1-9962-4035E06E8638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d4b1c6db7968f5d4600c500cea239cd62bb3f6","datavalue":{"value":"5571834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$CA564BE0-A76B-46BA-8507-335501F4D6FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$61531DE2-001C-4EA5-9311-763CB1B74D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$2DCCF91F-A096-4F56-8868-E8E6B0E5346C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$CE54F51D-3A74-4596-995B-A1645E5DECF8","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":"Q3636817$E210F3DA-6B84-4DB1-8B13-813E2E87DF5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05aabbe735d4de8b7b6da8d81937da9563edf1c8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02348-4_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636817$37CF9C58-F73E-404C-AA44-DECE2C927E04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70c5c00970e8a153775c0bc6f729fe693123a6c0","datavalue":{"value":"W1505286461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636817$90025094-ED91-4158-BEF3-177AF0477357","rank":"normal"}],"P223":[{"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":"Q3636817$B04B9590-69EF-4979-873C-993CD95041CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e7b8bdc6acef9bf216ea38837cea12e448f3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5711515,"id":"Q5711515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$44CDAF97-5628-4039-8CE6-6327A9EBD7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b3eab8ea5621b62b0ebdf051228ca6c983dd62","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$E8F3E4B1-A9AE-4316-8C48-91E14DA8A816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f984f79ffd058a89b39bf713fe600c366cc21ae","datavalue":{"value":{"entity-type":"item","numeric-id":5458393,"id":"Q5458393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$AFC67760-2D2E-4820-89CE-0678BC3D3CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ddbb40830c44c06b2cd9a4e3bd65ec2bcddcbc","datavalue":{"value":{"entity-type":"item","numeric-id":2769578,"id":"Q2769578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$2EF53CC4-BF97-4366-8064-A78E2BDE2C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9edf356fbbd80fb73637a4e5873af34dc2733137","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$D5EB4C42-B4DC-4FB8-93CE-74FC90484EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$8CFBB29E-C3D9-442D-83AD-58CD665DE74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d739f7988c22d3779af68b730ba131bf422b42ba","datavalue":{"value":{"entity-type":"item","numeric-id":3522011,"id":"Q3522011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$13EE9F74-0D34-4102-85DB-5E1B7B1D36AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b0a1a9bb534c42ea053297bebfa6cf421e4b4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612476,"id":"Q3612476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$D409C0C8-A904-4C94-8612-85D1A53717B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc4469e6646035129caba23b24c5ef3fc5ec70eb","datavalue":{"value":{"entity-type":"item","numeric-id":3522012,"id":"Q3522012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$BCBF20C4-3D1C-4E1C-B505-26FE6F9A53A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$51B739EB-7E56-45AA-926B-41AFAE395188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$1FD24275-4261-4D2C-ADFF-2D8133FA4AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4613a5898c3f3aac9ea48077af04511f4f2bf56c","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$5B7DA3F3-75A7-4A8D-A1F3-1E1E3883EA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$2FBB2BE5-5BEB-437A-95D4-24EA8AC807DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ceafffb14813061f5b3e23bf6c0a8fc9645c120","datavalue":{"value":{"entity-type":"item","numeric-id":3608788,"id":"Q3608788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$B75F146A-D2BD-4FED-96C6-64CC8B6B6C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$80110754-E836-426C-9616-F3F92D4CA46A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50bb4e47025c7f1c8b3de61681ff281ce9a1767","datavalue":{"value":{"entity-type":"item","numeric-id":2486583,"id":"Q2486583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$6127CC0C-4665-49C5-8626-7B42EB2DAA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f8e9697a35a1fa4e631a25500a97f4e320208","datavalue":{"value":{"entity-type":"item","numeric-id":876042,"id":"Q876042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$3ABFD1DC-FC35-42C8-A3DC-621C1FB701AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245e2c144d2e7cbcc9ef39e10d0138294ef4a59","datavalue":{"value":{"entity-type":"item","numeric-id":1272602,"id":"Q1272602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$EC631589-FC7B-4951-83AD-3021176B15FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$11CD02AA-E282-498F-8D0C-F7FE863BE41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$30D91F21-EB46-4D07-8687-743E236D3B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$2D3791A4-BAD9-4FFF-B119-0082A34FA893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d49ab163f1f16305d44fd2dbcea1b2c6c47b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":2946588,"id":"Q2946588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$B05B73A4-21FD-47B9-B913-8059E0FD42BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cbeac10eb7d42379e707f7e4341acd246e182a","datavalue":{"value":{"entity-type":"item","numeric-id":4669655,"id":"Q4669655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636817$E561A0F8-A95B-443F-865C-05FE72657B8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c6e1ef28f9f826163e516b954104c6b612064b","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23179efb3a10b9066abe73797aee12b525bf7385","datavalue":{"value":{"amount":"+0.8308368921279907","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":"Q3636817$7E29D44B-42DE-420E-B40D-35E50BFDED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ff85aedf7bcb3290bb1db613ed687a81ba89ae","datavalue":{"value":{"entity-type":"item","numeric-id":5191108,"id":"Q5191108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7654b92ffbe530d671c9d3172ff7ecfcc44e8fa5","datavalue":{"value":{"amount":"+0.8187931180000305","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":"Q3636817$8AC52241-6D94-4C85-9A32-BCCBCC3E7F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f5970ed80505f70f7584058987ce68cc1abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5191111,"id":"Q5191111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6891308f0b85acc4b0bd73a300f397bcece117","datavalue":{"value":{"amount":"+0.8030586838722229","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":"Q3636817$CD7D540D-9894-46B0-8406-CEFB6A76A154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9128912dc68fb41d9eccf562a42cffbfb9de60c7","datavalue":{"value":{"entity-type":"item","numeric-id":438537,"id":"Q438537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fba8df7652ec083e934a630c943f5eade970ff8","datavalue":{"value":{"amount":"+0.7945207953453064","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":"Q3636817$6248FE96-1E78-487D-8E8C-F7598FDB267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec428f6c02c581631d9976c7e92704bfb5863fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3522011,"id":"Q3522011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229f9308d7b1ce0546306a73febda09e923d8177","datavalue":{"value":{"amount":"+0.7883927226066589","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":"Q3636817$3DB63948-5308-43D7-ABA4-15030387C3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636817","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636817"}}}}}