{"entities":{"Q1259437":{"pageid":1270187,"ns":120,"title":"Item:Q1259437","lastrevid":67145124,"modified":"2026-04-12T15:35:21Z","type":"item","id":"Q1259437","labels":{"en":{"language":"en","value":"A mechanical proof of the termination of Takeuchi's function"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3639184"}},"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":"Q1259437$AA699580-B523-4091-AB43-5FE4CC251C25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f6f2e5b13cc3a2b48826b985616a95339e691e7","datavalue":{"value":{"text":"A mechanical proof of the termination of Takeuchi's function","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1259437$2FC5D1F1-28B3-44C5-A36A-A07B39FBF85A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"920f319521a3fa7b274f1d173c416a4f302ea460","datavalue":{"value":"0411.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259437$FBFE5E7A-6819-4C7F-A01F-B510289871DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"590f61a49e04114c73f7d18b94b5ef4b9a5c44a3","datavalue":{"value":"10.1016/0020-0190(79)90063-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259437$2FC5E293-E6FD-47FB-AA1C-ADCE02C29537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259437$266F63D3-824A-471E-8B39-DAEC9E8BE829","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259437$AF9E4647-7449-4C0F-B524-A9603068E88B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1259437$869C6AC2-DE89-466C-BA57-B44CE75039A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259437$9646DD40-ECD8-40FF-87DF-91BA077C8A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259437$78046738-CD33-471E-A37E-C8547167AD79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"676c30f5d0900612a4b1c15c2547fd380d8a976b","datavalue":{"value":"3639184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259437$4FBA4725-8F42-437B-B37B-5B55653A0762","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949ed6cd9f6b1902eea0a57ae275dcdd370bb746","datavalue":{"value":"termination of Takeuchi's function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259437$5576833B-99E1-4105-89E6-B7A21F0A18EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3b484bb6f0dddb57c90f4d11a46f937ee51725","datavalue":{"value":"automatic theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259437$9D79C995-EC98-47B0-BCF8-C6BCD490A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0642130366ba04a2898eef33ca406fab4f629e","datavalue":{"value":"lexicographic relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1259437$6F158066-2AAC-4B72-ACAC-060DF78DD66D","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":"Q1259437$35F1AD3D-1F87-4A4F-9BE0-8E7038C3456B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11fb71ee6aaec88e9cdd549637f23a1f44368dbf","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90063-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1259437$73272F66-AD19-4571-99E8-D942C2AE7E07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52882d1508192039f914eac1ec015f6ebd6d5b1f","datavalue":{"value":"W2099878868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1259437$E3BA4810-BF0D-438D-ABC3-F47C7EE0D9C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259437$6AF17FC1-ECD3-461D-8B8F-C1005A40EAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d1d1d6600b73e9904b75158c85b84176a7be86","datavalue":{"value":{"entity-type":"item","numeric-id":4194453,"id":"Q4194453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259437$93B9F7FF-E91E-4F7B-9CDD-FA303684E174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12a9d5054eb283864eb6e1e0f33182f274918f","datavalue":{"value":{"entity-type":"item","numeric-id":4404415,"id":"Q4404415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1259437$A146D3C4-BC13-40E8-8458-5F25962345D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanical proof of the termination of Takeuchi's function","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanical_proof_of_the_termination_of_Takeuchi%27s_function"}}}}}