{"entities":{"Q5940923":{"pageid":8117725,"ns":120,"title":"Item:Q5940923","lastrevid":47657677,"modified":"2026-01-02T08:49:14Z","type":"item","id":"Q5940923","labels":{"en":{"language":"en","value":"\\(\\exists\\)-Universal termination of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635074"}},"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":"Q5940923$DFC8D6E1-3A6D-4820-B6EC-BCE1B9EEF863","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45b95c83beef8ae48e9606f4774b734280b09db3","datavalue":{"value":{"text":"\\(\\exists\\)-Universal termination of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940923$E50A6B8F-7D82-42B7-85C7-CFCE9C15937A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76b5d2b9bcd9881771509d3de50b0df97d434955","datavalue":{"value":"0972.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940923$6E0735D7-4706-43A0-878F-0BEED105DDED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68c1c5dc7cb84819331f4559d162a4b589b3fd5","datavalue":{"value":"10.1016/S0304-3975(99)00155-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940923$20150F58-1088-4880-958F-B2746D75AA99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$56CDF0B1-064F-469D-A276-FC82964CC5F2","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":"Q5940923$F0572A21-64A9-4C89-8464-3C62C5798D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940923$339E189E-C408-4AA3-BDBE-8D1D11839BEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940923$3D4E6E64-FC99-4E56-AC54-6A5E6233D549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac83c8ce5f25a0dd6d2f6af5fdbced18a06833d0","datavalue":{"value":"1635074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940923$9665EBB0-3CAE-4DBF-BF05-09590DCD6C8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940923$00808C76-2084-4D11-9D01-B2016D84CC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63659cd2f684a9f446876779137f81450675dce2","datavalue":{"value":"universal termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940923$E760EE27-5DE6-474E-BD49-CCFDF141481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e473b9c6e3c853bc84d10e7559d9579ae8e0e13c","datavalue":{"value":"fair selection rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940923$B4ACAFF8-6606-4754-9347-52B9D7C2903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb39fd983bea3526bdb078b49bb63824e79ff009","datavalue":{"value":"fair-bounded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940923$14765B13-865F-484D-A1E6-AABDD9A6ABF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$9575A182-0AE1-48B7-A864-2E79E07B99C3","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":"Q5940923$EB6A819B-7363-43A6-BC9F-67D829CF290A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$FDC20B77-1E54-4E34-9760-7CA3FF76DAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$0E1DFCCA-ADC7-4E16-BD45-02934514237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$37A9C77F-0041-4A03-A33D-7C2E8E36D223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$6FE10E6E-42A5-478E-B78A-212DBDC4BB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$9DF7A8EF-9CBC-460A-A071-5A84F10159B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$235F2DE6-F002-4F82-94A6-08679903DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67029a4354c9f7d643ff8fa65fefffb8144d443","datavalue":{"value":{"entity-type":"item","numeric-id":4281507,"id":"Q4281507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$C3FF7FB0-9236-4EB8-9B3E-B300C8C32C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$518E9E07-566B-4341-BD04-EE00C9EE6B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5617fdd69c618e263e8fa2bd0476fbd6e5cae4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4190095,"id":"Q4190095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$5D3F97BB-A223-4131-8B3E-0AAC47B80544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$ECA78C3F-2916-4E57-98E1-5E8FAE942FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$7D11B25A-4F10-4ECB-99C1-B69A74823665","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":"Q5940923$E69383E4-2979-4AC2-A560-94185E82225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9cd3a12607c6ef523915d8a5f61c63552db3be","datavalue":{"value":{"entity-type":"item","numeric-id":4839030,"id":"Q4839030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$D395EF7C-5699-4296-94F8-FE9CDCA4886A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$2BBD5D72-0A33-466D-833C-A328CCE69E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e366e65d2f03a5442fed306d10883398642688e7","datavalue":{"value":{"entity-type":"item","numeric-id":3721791,"id":"Q3721791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940923$BB911309-C6FD-4C63-AB46-C63DB49123CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52927b34c42b1912cc6a6ace664bfcb513a96ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5712539,"id":"Q5712539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912a215c6fa1d85a9888180f425bc763436a7adf","datavalue":{"value":{"amount":"+0.8491493463516235","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":"Q5940923$C28B7676-D423-41F7-B5BD-102B8842607E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962d2c42f5fb97807b687d9ce8db915fde7b2630","datavalue":{"value":{"entity-type":"item","numeric-id":4452620,"id":"Q4452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a5f80527a9b357e3704bbedd5aaf520371aa9c","datavalue":{"value":{"amount":"+0.8074876666069031","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":"Q5940923$A5A985CE-4D96-41C7-B6CD-EC1613CDD2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72276d2b8e92e8a25e04ef325b0f184c77c02602","datavalue":{"value":{"amount":"+0.8049111366271973","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":"Q5940923$C4C40E40-343D-4997-9CC2-2525167D33FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6cee3b595049e8201b5f7273869acc0e1496b","datavalue":{"value":{"entity-type":"item","numeric-id":2767031,"id":"Q2767031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e08380956d61ad57a5ef86c6d757e40e4c7ff69","datavalue":{"value":{"amount":"+0.8046935796737671","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":"Q5940923$2FBBFFFE-8AC6-4FAB-9590-C0088B526CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1b0c6df271d509c4ec48085179026720566a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cc22d816e03b00b31d1627d910348a17df5b30","datavalue":{"value":{"amount":"+0.7971603870391846","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":"Q5940923$9DBE256B-BC02-4FFC-95E9-03D06FF46CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940923"}}}}}