{"entities":{"Q1856181":{"pageid":1866923,"ns":120,"title":"Item:Q1856181","lastrevid":69121836,"modified":"2026-04-13T04:55:26Z","type":"item","id":"Q1856181","labels":{"en":{"language":"en","value":"Semantics-based program analysis for logic-based languages using XSB"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862289"}},"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":"Q1856181$1132FB70-5577-46CC-8ADF-0B68D548D71F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2dac9f7eb30dbbd03716fa297a86f13dab39cfa","datavalue":{"value":{"text":"Semantics-based program analysis for logic-based languages using XSB","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856181$EA4DFB5C-0140-4711-BAEB-B5B64F2DAA3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16399448f313c6e080e30896619dd0b7fea7097b","datavalue":{"value":"1060.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$3E159913-037B-4E83-93D7-17C837853B79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856181$314BD197-5C81-431B-9E03-D5A705D36DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856181$D90382F4-CEEE-45EE-A38B-A8C84331C787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba6a5352415e5620331ed484966e52e3a16a0b01","datavalue":{"value":{"entity-type":"item","numeric-id":1683933,"id":"Q1683933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856181$6D7F24D1-60DC-4E2C-9441-6D1D057AE814","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856181$0B1CEA05-6AD2-4438-81AB-98ACFA26E86C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4657432f41b43c1846ecc251d3ec440dc26ae96","datavalue":{"value":{"time":"+1998-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":"Q1856181$3F2748BC-639A-48C3-89B0-88BF51378140","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76393d5d8051e007cfcff93ab705cd4440f72f1e","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/133503","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856181$7D350875-F453-4BDB-BFDD-AC93F12CAE81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$B383C1FB-4C20-4429-9539-FECC99DBD77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7c9cc2b7a95555ba9fef6ec4569ab4f6e457d2","datavalue":{"value":"1862289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$151A89A7-229D-4425-B49C-9FAF03C2C037","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d781beb83e4725de29dfd2c318041ccb0d39c6b","datavalue":{"value":"semantics-based program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856181$A7DA7B72-DCC0-4B6C-A565-0CDD48C5DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7226316d29f6d30808ea471ad0083ea7c320c05c","datavalue":{"value":"logic programming language analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856181$3CDFCAD7-B6F8-4D4B-A780-7FFABB5E8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cbb9244ae049d370c3c3cc8910a34049e79e60","datavalue":{"value":"XSB","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856181$C656763F-660E-488C-8465-F4D502592BAF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c2e6db64ae59a35c723586532356ac86a65a6be6","datavalue":{"value":"Q58968602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$01AB18EE-BC05-4ACE-86DF-6A3BA03DAAB5","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":"Q1856181$226F8FEB-D9F0-4F5E-9B20-31C4C54F9668","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":"Q1856181$02405787-31E8-40B3-BA74-5C0917C1F022","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7177aa0b1dcd70a08bd2d020176220f6d863e011","datavalue":{"value":"W2061236588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$E59DE488-9DC8-4875-818E-877D8A1F3C98","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"98417e9dc330f95ae810104a25435329310eecda","datavalue":{"value":"journals/sttt/CodishDS98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$FE37B23E-4253-422F-A4CB-9D61DC959747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb35d07c8fca08ac6e91d33a41a05b274bcd8fa","datavalue":{"value":"10.1007/S100090050016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856181$9A235F76-3F92-4BF2-9258-AB284F20888C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ade899af80e5e5daec43c93fd16a76ac5426fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2893097,"id":"Q2893097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1b635773aff2aafce6158e0aec5ef4a1e04a4b","datavalue":{"value":{"amount":"+0.7599928379058838","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":"Q1856181$2E69501A-6C82-473D-894A-E59342436B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafa414ee675c4f19d5fd42ceb666a961662a3a6","datavalue":{"value":{"entity-type":"item","numeric-id":4208853,"id":"Q4208853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a698ca2d81bb115ad2a8fbb9f7bc4290c9ad4d9b","datavalue":{"value":{"amount":"+0.7364147901535034","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":"Q1856181$2A424647-D886-4373-95C3-43547308BBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30dd52fc6f31fd28df84cc8d3c74cc308d4fc0a2","datavalue":{"value":{"entity-type":"item","numeric-id":1426866,"id":"Q1426866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7be0e81f755b8ffeb2ae71b8f87f77b78fc0e94","datavalue":{"value":{"amount":"+0.7338221669197083","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":"Q1856181$25F028EC-1BB5-494C-861F-BC6965B61708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b25c8a936f76ec250b6834733016b9b21551315","datavalue":{"value":{"amount":"+0.7305470108985901","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":"Q1856181$C138CBB4-1E53-4785-B7EE-351C8D7C19DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3677fb5b9f805c0fd764f71e53d39d572fb56b1","datavalue":{"value":{"amount":"+0.7276561260223389","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":"Q1856181$0C2C2395-BF01-4625-BB27-30F7FBE3059E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics-based program analysis for logic-based languages using XSB","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantics-based_program_analysis_for_logic-based_languages_using_XSB"}}}}}