{"entities":{"Q850496":{"pageid":852344,"ns":120,"title":"Item:Q850496","lastrevid":64844808,"modified":"2026-04-11T22:36:57Z","type":"item","id":"Q850496","labels":{"en":{"language":"en","value":"Verifying termination and reduction properties about higher-order logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5070708"}},"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":"Q850496$D819B15F-B766-41C7-879B-6A0DDD1E0B22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f496ddcd5ed40d984a515ec1c6b5d53f41b28be5","datavalue":{"value":{"text":"Verifying termination and reduction properties about higher-order logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q850496$B4E4B3C3-C6CD-463F-8E58-320676B7ABA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24abd99bb4ddbfb2a93d3bdc878c615496cd905f","datavalue":{"value":"1102.68648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$C31D77DB-696B-4A7B-B6DD-8831B6AD4006","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$F7696C20-E780-4B6F-AC7C-BFB542513A61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$361312C6-0931-4816-831C-593ADEA611A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598c244f9f5b6e97b7e9a6604a19da54cee281db","datavalue":{"value":{"time":"+2006-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q850496$805B2D2F-275B-47C0-BA7B-E5FF39B59585","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$3D6E66FE-CE0E-4509-8B47-80D4A1C552E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$298E3A69-02EA-438D-9F7A-C8B1614066B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$E9667FB1-5C18-4D35-8B5D-6D3CF5032826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf70b786a3354c236a1bc5dede9a985ce651663","datavalue":{"value":"5070708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$F0461ED1-E11D-4A45-8B70-4342413E77FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dff2f7785486c61817809cad977b0963f89c1c6e","datavalue":{"value":"Logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q850496$DA21CBBB-7DEB-4E54-9AD3-AE9E6A18925F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q850496$15828CA8-4E9A-4D6B-851B-BA612813916E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f730823f5ee888bf779d8cfd162d595791e9d1a","datavalue":{"value":{"entity-type":"item","numeric-id":13690,"id":"Q13690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$865C829F-6DBF-4BE2-9031-D5FDF1A81E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$D976C6CD-2C0F-4A88-84D5-9FC60A5816DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$60883AA0-0FEB-4F33-A1E6-1A079B734818","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":"Q850496$D7B56BCB-A797-40B5-B5FA-A6AE1D8F214E","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":"Q850496$E474CAF9-DB6B-4DBD-A06A-8F5FB39D7CAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"576f836205c71b72d362234ad8ffaa3657462274","datavalue":{"value":"https://doi.org/10.1007/s10817-005-6534-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q850496$19F2370E-EFC8-4828-AD8D-E43AE45C4173","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49d94279b7b81e2bd79a7d278239eaeddd71e8d4","datavalue":{"value":"W2031835656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$F88084B0-BAED-437F-8CE2-9364E4BE7C4A","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":"Q850496$9B36E34A-AB45-4B0D-B13B-20C94BD50B34","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":"Q850496$92E946EA-5772-4ECF-9023-775B60C7986F","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":"Q850496$8E88A023-5C93-4D82-90F5-106629253C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d91a792c3f5958d444e95b19112ae08c0cc6b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4015950,"id":"Q4015950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$4403C59B-D8BC-4A75-BA1E-6549DA2D58A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$BB5B15F3-C40D-40C7-BDB8-0BAC47ABE53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a8ce26f6a8ecad29886ac6bac936510fe602ac6","datavalue":{"value":{"entity-type":"item","numeric-id":4719375,"id":"Q4719375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$19A98444-9279-43D3-97A4-A95B8FF02A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8e4a60e0bea89561b0c662e3c6c540c318b08","datavalue":{"value":{"entity-type":"item","numeric-id":5900713,"id":"Q5900713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$E70AA4D6-01E2-400B-86A5-4D4C05895195","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":"Q850496$8A7EFCC9-4929-400B-943E-C3BE02F85BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$DC445F63-A900-4581-B922-D1448E64C403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$61FB9EA9-E416-4815-8D6E-5DBCD88ABD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$A7332E19-1DB0-4D09-BD85-CDE8E8FF69AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7addbc5fc43eda46b4eba2b438212b18f825fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":5900708,"id":"Q5900708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$517F1D55-0DAC-44A3-B3FC-60CBF89538D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea6c735a30c68acbb70a97c1bff8bb920a1ab76","datavalue":{"value":{"entity-type":"item","numeric-id":2723909,"id":"Q2723909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$D5AA5304-A37B-4B9C-8629-C3EE2E376873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$6E7361A5-22BE-45A4-ADCC-980E49692702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$CE535BE0-4070-4F1A-946A-ACEF1F74F4C1","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":"Q850496$4072E42E-C3B4-4F4C-9E33-E1F866FE0047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce917b966191fcc55cb06979ce350d12396960","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$EBC8C89D-8AA7-401B-B0E5-F0509189305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8cf2dc492019f717e5e3e0a386be0e43cff24e","datavalue":{"value":{"entity-type":"item","numeric-id":3559763,"id":"Q3559763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$07A28CE4-2991-4128-A584-9F2A3A723DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a08da25acfeab974424d372ebc069467b68e8","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$93C7A4D0-E34D-4969-81A6-75C5981426DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9d6753dc4e1a9f57aee982fc380473a55f93b3","datavalue":{"value":{"entity-type":"item","numeric-id":4938608,"id":"Q4938608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$F97C858A-B555-4761-BE97-B4051AE643B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q850496$043F2796-3709-44F6-B709-7F4F7E54506D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3434581402fad28e65359c1b119585b96cc1b93e","datavalue":{"value":"10.1007/S10817-005-6534-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q850496$3EA1122A-BA53-4740-91AC-0BD8F3084CAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848da05a99285d925ab731398be6834607519411","datavalue":{"value":{"entity-type":"item","numeric-id":4539625,"id":"Q4539625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556ac8fe6beb99144ca9702ebfeab3be39c280bc","datavalue":{"value":{"amount":"+0.9213112592697144","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":"Q850496$01A84335-DFBD-4984-87E8-8F2A95D0AABD","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":"cf2ca90914fdd11b1a6696927432bc084c808f9d","datavalue":{"value":{"amount":"+0.7539750933647156","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":"Q850496$6540BA67-CDDB-4B18-BD96-9A31047B5198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e7df9e410a17e7a9fe82aa9b0252d2244f09cb","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100a5e789816a15de1cd78cd4cfa3ff654f3f8f9","datavalue":{"value":{"amount":"+0.7435235381126404","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":"Q850496$3C973BDF-BE85-4A46-9509-ED34B8296311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72b1f6a6fab649ee04e03d225694bf35fafed36","datavalue":{"value":{"amount":"+0.7398256659507751","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":"Q850496$273C0EBA-16D9-49A4-B281-1D2C7E8C9634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc0d2057f08451429e303894452f7af869ad74e","datavalue":{"value":{"entity-type":"item","numeric-id":2828245,"id":"Q2828245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6248b4f14d896859dd7ca1f3d3505d8aa931f6f2","datavalue":{"value":{"amount":"+0.7335096001625061","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":"Q850496$A8D3C2DE-F612-4A11-A8F6-DF715C6E697B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying termination and reduction properties about higher-order logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_termination_and_reduction_properties_about_higher-order_logic_programs"}}}}}