{"entities":{"Q5958765":{"pageid":8135567,"ns":120,"title":"Item:Q5958765","lastrevid":97727486,"modified":"2026-06-05T15:18:21Z","type":"item","id":"Q5958765","labels":{"en":{"language":"en","value":"Loop checks for logic programs with functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715810"}},"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":"Q5958765$FC48279D-28F8-4941-B053-C7C4AFDFC551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"325dd8761adce6291611fe31543073885bfeedc1","datavalue":{"value":{"text":"Loop checks for logic programs with functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958765$969B0B02-4FA9-4686-B52A-120A42D60D46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1808dee1790bcf97739275d6bf0dd540cf09a6ac","datavalue":{"value":"0989.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958765$AFA260E9-9648-4E58-9572-7EC60F1AEDF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1c744846515bc8a6052fc9052c5bf2eeab4923e","datavalue":{"value":"10.1016/S0304-3975(00)00197-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958765$2657FA1E-8973-4A51-B0B6-7C622B74AEDE","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":"Q5958765$D03F48D3-7185-41DA-8425-3B67181DC4B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-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":"Q5958765$3311F10A-3703-48F6-96EA-64F1D77FFFC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958765$89570DD6-8CCB-481F-9D26-D0FFE581285A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf2e1c3f39191fdb57d4cd3a939c4d9a695f5d15","datavalue":{"value":"1715810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958765$94191FBB-BBA6-4CDA-8874-E17F8D82B53F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958765$4A481863-0421-4CA1-AAEB-D993F92D80F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01c4925046868c68824900c798943c13a622d1d","datavalue":{"value":"loop checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958765$2AE8F69C-BCC7-471A-BA55-8BF4A6F6B268","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$EDF8053D-B7A9-4855-BC0D-7193B2FE652E","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":"Q5958765$FA3555A3-C4D3-485E-8F87-8FA9452D9076","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d31bfddaacd76a8f7da9f101f2cd8f268a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":5286916,"id":"Q5286916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$0A0882A9-816A-432E-AA89-BDA28BBE075A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$61370DC3-CF70-475E-B3A6-3CFB911F698B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6474ac56a102268b2f01ee8a7b45584b1e5bfaad","datavalue":{"value":{"entity-type":"item","numeric-id":3841100,"id":"Q3841100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$C57387D5-87C4-4468-A212-F337DCCC8E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$937573B4-45E7-43BE-928F-DC4B06B382B4","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":"Q5958765$0E410084-12C9-41C4-BFDF-8773A942B596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf73a06bbc3cb6ac6580c497d568a37419b065f4","datavalue":{"value":{"entity-type":"item","numeric-id":1893733,"id":"Q1893733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$8F80179C-3B2C-45E6-8A76-19216A2641D3","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":"Q5958765$312B2A3B-6608-40D2-A364-921E8B32FDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$D976E010-39CD-434E-8A8C-9C8DA5EF4FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1815375bd2ff5bc0e8537e48c91ffaf8eafe04","datavalue":{"value":{"entity-type":"item","numeric-id":1313369,"id":"Q1313369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$A6877ADD-E16B-4C07-9507-1D90DE2EFD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f96bc377f599e57da01819eaa7dfa1a28913cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4452626,"id":"Q4452626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$AA02D72B-82BE-4676-B005-44D4F1C48941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a294bd856210b04abee7394c6b43ee2cbf383e17","datavalue":{"value":{"entity-type":"item","numeric-id":4372945,"id":"Q4372945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$2144DFC6-0F3F-4AB7-847E-49DBC0E4063C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d010237823058ee52c3b0cd0e375eb656d46e39a","datavalue":{"value":{"entity-type":"item","numeric-id":1097714,"id":"Q1097714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$8249796C-A9FF-4AF9-A495-6A1F75A45607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$0AC720E3-5A73-4736-B17E-52207EFE2CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b35c77e50165be345c5ee0750cdb5cbc7f5152","datavalue":{"value":{"entity-type":"item","numeric-id":3747702,"id":"Q3747702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$152712EE-D572-4B35-A4A4-A39027911929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a6cc9ea334df60316d415d946b98f4b695a173","datavalue":{"value":{"entity-type":"item","numeric-id":1262144,"id":"Q1262144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$EDF685D7-729E-40F6-A1A8-F20B958CAE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4367288ef1e3f185c6b9c98ef6844033afdf76a5","datavalue":{"value":{"entity-type":"item","numeric-id":1205178,"id":"Q1205178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$7BCF06A9-129F-47EC-8356-3162C64CCC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7df5f08f29d324bee520ead47d7413ef6d9b300","datavalue":{"value":{"entity-type":"item","numeric-id":3129508,"id":"Q3129508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$7ABD554B-E9FD-4851-8F5D-87A49A1B6AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a8dff67745a97f4d65ae84fa788dfac00ae373","datavalue":{"value":{"entity-type":"item","numeric-id":5688889,"id":"Q5688889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$810C29DA-3E48-4F8C-9574-7AC0B073E72B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1584e50d87ddd9f8d73e5c765e8534e3e239141f","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00197-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958765$15FED883-7E95-4340-ACFF-09F79F2C0146","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5e1bef03d7cc8921ddbf7631aab23197c9e8bcd","datavalue":{"value":"W1981314990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958765$E8DED46B-BDDD-4D53-B055-87BA310863CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9675337727e4eea7413e236501235c722fa0621c","datavalue":{"value":{"entity-type":"item","numeric-id":5043105,"id":"Q5043105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$869457AF-D15A-455E-88F8-C58ACECE87E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d1025c0146a72e661833e8e18b2b4b01d6afb03","datavalue":{"value":{"entity-type":"item","numeric-id":1030334,"id":"Q1030334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$ADD85D56-8A2C-4EC7-8FC4-C0989CF4D243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f65722c48e8006bd9d7183c652a62825cfeb4f8","datavalue":{"value":{"entity-type":"item","numeric-id":3625810,"id":"Q3625810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958765$0C96DDDA-F050-482E-A409-F82109226B29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3178cc0e2456d9a9d37cf57f585f7412ff642b8","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3760195d80abd10e65c45f7d7c24a92032360d13","datavalue":{"value":{"amount":"+0.8500221371650696","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":"Q5958765$98DA1667-085E-4B53-B9E2-2DC3A23F3591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20000f5070c255ed190c8727736c7af936efb6","datavalue":{"value":{"entity-type":"item","numeric-id":4854006,"id":"Q4854006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba1a75ca93f3399721a48516967b462ce1f75b0","datavalue":{"value":{"amount":"+0.7877396941184998","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":"Q5958765$A204EFE1-F63A-49C6-BB74-429E4E95F0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d26d84ab24de658cd9675bef9d5c8db5cb8720","datavalue":{"value":{"entity-type":"item","numeric-id":1893733,"id":"Q1893733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea295341475721154c14a82785d33a6ef4186c8","datavalue":{"value":{"amount":"+0.787739634513855","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":"Q5958765$CC114768-DA27-4261-85B0-C39DD82B13CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb76fe1015bc32b21db6154a240f0cf6ad4bb725","datavalue":{"value":{"entity-type":"item","numeric-id":1199926,"id":"Q1199926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4175d4e265cbf325c50e1b65b87365acf85004b5","datavalue":{"value":{"amount":"+0.7873901724815369","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":"Q5958765$F6837C8F-CFB8-4664-AA32-4AFC3BA79823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0008fa8350db7b7914d67da7e0280d69ee9fc23","datavalue":{"value":{"entity-type":"item","numeric-id":5286916,"id":"Q5286916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4175d4e265cbf325c50e1b65b87365acf85004b5","datavalue":{"value":{"amount":"+0.7873901724815369","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":"Q5958765$9DAB94A0-A9B0-45F2-A90D-0EF48D59CECF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop checks for logic programs with functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop_checks_for_logic_programs_with_functions"}}}}}