{"entities":{"Q1346629":{"pageid":1357368,"ns":120,"title":"Item:Q1346629","lastrevid":68661720,"modified":"2026-04-13T01:16:04Z","type":"item","id":"Q1346629","labels":{"en":{"language":"en","value":"Automatizing termination proofs of recursively defined functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741091"}},"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":"Q1346629$38CA20BD-43DA-4A84-95B1-BA34C091E60C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e609ab0500036394d26e9183413e6803a765e7","datavalue":{"value":{"text":"Automatizing termination proofs of recursively defined functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346629$7C1A9B85-F982-4BC7-B2F1-630C606E6FF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"755a801314f029012f008b833fb14bd5cbcbf477","datavalue":{"value":"0829.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346629$F205947A-B0E8-4B4B-9C09-8106CED87D34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e2ac0a64c66158026d5e651fbd1113a0bde348","datavalue":{"value":"10.1016/0304-3975(94)00021-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346629$A44754CD-E5D1-42D9-9CD0-9C80749D6FED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7794179ac5635c4dcfb87684524dbc09b9cd8e30","datavalue":{"value":{"entity-type":"item","numeric-id":1346627,"id":"Q1346627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346629$091678FE-0C94-4389-86CE-0A217ABE2A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"469c4f6ddb3a594214f77e89bd96405d1e189611","datavalue":{"value":{"entity-type":"item","numeric-id":1346628,"id":"Q1346628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346629$A81CCCE4-3B92-4DBE-BC29-27BAFCBB9BF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346629$1930538C-159D-4E8F-A865-6CB87F3EF9DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346629$D05CEE28-5E0C-4818-BBD6-3C214A46AE8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346629$A0337B55-E50F-4F22-93B9-9686FE453F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346629$4BE7934D-449E-4662-B87D-AA8463C78097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ddc48c09377ca54244f5d651791f54764731110","datavalue":{"value":"741091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346629$39C09274-772D-4875-AE4C-559FE0F389E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"640f0a5adb90117ea7b452590d232349c64b19f3","datavalue":{"value":"ProPRe program synthesis system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346629$7C55634A-C0A1-45B9-A333-9D5585CBE42E","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":"Q1346629$E55E353B-B5DC-4997-8EF2-A645CF29CF2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22b8e652cec746dcb86a65e8b4fedd36c7c360af","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00021-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346629$94B09294-60E1-4806-AE8D-6DF820DADDB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"626f88b89c9d4cfd88cdfdcec8773bd337bd2eff","datavalue":{"value":"W1990295079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346629$51DD70F5-8545-42F3-A65E-073D302E9E66","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346629$F5C38B3F-8198-4C2F-A174-DDC8756EF842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c605ea4a84315b4b2f044487d0e15cb9269aa62","datavalue":{"value":{"entity-type":"item","numeric-id":3108200,"id":"Q3108200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346629$2374A5D5-A95A-4BFD-A90E-F1F8385D897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346629$18D46D2F-25FC-4221-A14C-21711FD538A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c709b86cf7ff4047dac00daa01e8a4e28d9c32","datavalue":{"value":{"entity-type":"item","numeric-id":4023458,"id":"Q4023458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8e65439a541a9a269467c7d1cd2dc0dd86ceb2","datavalue":{"value":{"amount":"+0.93186283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$B55E59B7-95DD-4741-9D13-4D9BBC77F692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8945dd5ea8b23803758fedaea5e36aad46444f","datavalue":{"value":{"entity-type":"item","numeric-id":4494365,"id":"Q4494365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295d05b0798f1f03ae717f277bdd299ca5e12279","datavalue":{"value":{"amount":"+0.9236567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$13BE7981-676A-41DE-8326-AA5753C484D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d541e48bcead1393bbc42b8e56c09a0b09485b5","datavalue":{"value":{"entity-type":"item","numeric-id":3021959,"id":"Q3021959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d302381701a7e709e1d87221a71370c6a65a7e0e","datavalue":{"value":{"amount":"+0.9182384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$2C01846D-A779-4E0B-A16E-0DF415A9FC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da74598f1ec412124b63eef6de9e7a7fb39c6ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2814388,"id":"Q2814388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad9da0ef9c038718fd88bb5bca6ffe5ced5677b","datavalue":{"value":{"amount":"+0.9102625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$95CEB3AA-FD2A-4039-AB5C-67E52D70F6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144a8dde1c1046b5b8ba0d7593e9a1e8e15c3907","datavalue":{"value":{"amount":"+0.90547264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$64496218-23D9-4CC6-96DF-0BE7DB20F297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c9d51b387606b25b893694d7e0638c186ab9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5170190,"id":"Q5170190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6a5921f66a0fbc2af1a835e632ea910cdea75f","datavalue":{"value":{"amount":"+0.90317607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$AEB2B00E-630A-41DF-BAB5-60971C87A678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e413336b610cf8cf8a2f5f43a7d14d72a58704","datavalue":{"value":{"amount":"+0.8975682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$D5E90B84-32E6-46BF-8C73-A4FC99A02AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718c63dc1d696f665021e1524185bbbd0a75e6ef","datavalue":{"value":{"amount":"+0.8968578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$F5D40580-C457-4E86-8702-1594AB4D1829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567b774f74dddd3685ae57b72b112a352a7f0eab","datavalue":{"value":{"entity-type":"item","numeric-id":4610086,"id":"Q4610086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"718c63dc1d696f665021e1524185bbbd0a75e6ef","datavalue":{"value":{"amount":"+0.8968578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346629$60C2935E-0CAA-4038-A2E8-2252485504AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatizing termination proofs of recursively defined functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatizing_termination_proofs_of_recursively_defined_functions"}}}}}