{"entities":{"Q4520178":{"pageid":6549771,"ns":120,"title":"Item:Q4520178","lastrevid":47546617,"modified":"2026-01-02T01:17:17Z","type":"item","id":"Q4520178","labels":{"en":{"language":"en","value":"Decidability of logic program semantics and applications to testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542431"}},"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":"Q4520178$558CC1E5-82E7-4F1C-BEB6-D4CF8C84DEEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69419b41b470d804c582d107c3b419256ee8ece0","datavalue":{"value":{"text":"Decidability of logic program semantics and applications to testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4520178$87C9E119-FAE8-4B7A-9558-7A12ADF2E14E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d16ecbad0f42c98689b743914991aa1750005e2","datavalue":{"value":"0965.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520178$2EEA1ECB-C9FC-42C5-8EF6-C61B66533BF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"775baa1639a857174dc5ae5e34eb0675d4010ed1","datavalue":{"value":"10.1016/S0743-1066(99)00067-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520178$23CF2A4A-6E46-46FF-A3F4-A1C8D24CB587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520178$9F23E8FC-C6AE-4E73-B9E7-47CD4AA19427","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1319b5388b96cf042211c4eb6eb3b2b400d70e7f","datavalue":{"value":{"time":"+2001-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520178$C8B60422-0773-4E1A-9CA2-801E2A8C843D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520178$D03D49CB-970A-4E19-8E60-3B3E0E80A7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520178$BE97F768-61F1-48CF-B5B1-0070A292118A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"233cb77b3418f8ed5e99ed0e767d6408a6a15bdd","datavalue":{"value":"1542431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520178$98E298C2-DA9B-42D1-8E21-F10E2DECEC8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520178$DC6B6317-3053-4E97-802B-C236A671A2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3adff80bd06518fbbc077910bbe35435001ff18f","datavalue":{"value":"testing problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520178$A3D7939B-54AD-49F1-8AF3-A9264348D3D3","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":"Q4520178$E698ADFC-1EFA-41D9-9791-0A62A0D0F086","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":"Q4520178$140DA9D9-5FDA-4895-87BB-95E60869CD10","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df05e30a4bcc489bdfa9c5be8e7d616fa9578569","datavalue":{"value":"Q126311212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520178$7BF56C35-562E-4A2C-8339-AE7B2BAB5B14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b65f01bec55a927e4c6b78765082df82f4becf1b","datavalue":{"value":{"entity-type":"item","numeric-id":4592984,"id":"Q4592984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc8cb778d0ba66a6b5298e6482c1c12ad94681c","datavalue":{"value":{"amount":"+0.768048882484436","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":"Q4520178$B70CE554-67B6-4A40-B07F-6D874A961CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e2c006bcd3fcf2c6122adb3e70d16b183d84a","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0178fd762d54f8ebfaf62cf743f8265fb5cdb2fc","datavalue":{"value":{"amount":"+0.7605758309364319","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":"Q4520178$7CAF7378-3E08-4599-9A6C-306E83CA2EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0178fd762d54f8ebfaf62cf743f8265fb5cdb2fc","datavalue":{"value":{"amount":"+0.7605758309364319","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":"Q4520178$BED4B3C0-F93B-4EEE-B848-1AF94DAE6F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f501283c74164fc702f364060f65f735999ea","datavalue":{"value":{"entity-type":"item","numeric-id":3129509,"id":"Q3129509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e796617d6087e96eff625e5f207c53f4d1b3330","datavalue":{"value":{"amount":"+0.7411056756973267","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":"Q4520178$7EA3C346-638A-42A4-87C7-7AB4A5076D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7cb776289f166db2fd69282d9077b6fd354e35","datavalue":{"value":{"entity-type":"item","numeric-id":4708942,"id":"Q4708942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e796617d6087e96eff625e5f207c53f4d1b3330","datavalue":{"value":{"amount":"+0.7411056756973267","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":"Q4520178$2BDA5CBA-D0FA-47F7-93A5-878D83390721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520178"}}}}}