{"entities":{"Q4452593":{"pageid":6482192,"ns":120,"title":"Item:Q4452593","lastrevid":48244711,"modified":"2026-01-04T02:31:23Z","type":"item","id":"Q4452593","labels":{"en":{"language":"en","value":"Efficient groundness analysis in Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048572"}},"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":"Q4452593$C6C7B16E-DBD6-4F98-A5D8-37429AF00CB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a50d657e2c00bd1e3546f8b6a1b846f708135403","datavalue":{"value":{"text":"Efficient groundness analysis in Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452593$38B20CAE-5582-48ED-B762-46A8F1386783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1412b0b01c3feaa97b895fbd81834c7a2357af58","datavalue":{"value":"1087.68531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452593$BE0E8E66-8C85-4C0C-8588-AE020A52F074","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cdf0392ed4f20cd31af5ebd5541be95cd4db4f4","datavalue":{"value":"10.1017/S1471068402001485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452593$4F2643D1-C82E-47C8-AB4A-0B2B6FAB25C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b78be09e060d47a3be0e8316b77e796d8d6efd97","datavalue":{"value":{"entity-type":"item","numeric-id":294782,"id":"Q294782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452593$D30D220B-3AC6-49B8-9BFF-CA5410878405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3398e52dfa611cfbebe7884f888145f10a6bb45a","datavalue":{"value":{"entity-type":"item","numeric-id":294783,"id":"Q294783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452593$DEEE0F0D-CA47-48BA-9714-F89A5FE8A802","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452593$4A073A2A-5AE9-4966-A822-641AB804FA8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4452593$33BB6186-4B65-48A9-9343-A2479DFDBCC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452593$B9716179-B310-404B-B5F9-A66862729083","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa836789e04425356805cf04f074d41ca61bda2e","datavalue":{"value":"2048572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452593$F6A9B75A-ED4B-4A30-91F8-5AA426D11E01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452593$063A1F10-0BD5-412F-B50A-567F943F2699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b8c49b851dc640cccc756ec42990186b2f6ade","datavalue":{"value":"groundness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452593$8E01F778-B9CB-4D6E-9573-AE0BEE524D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"334eb45fea4eaf7ecc7e4022add555f125be579e","datavalue":{"value":"definite Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452593$244FE117-6DE4-4A4C-B011-FAC7FE4EBC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ea017a8950787c29ed2fd5141fa02462661f8da","datavalue":{"value":"fix-point algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452593$312098C9-4F92-4936-9428-3FB096186F2E","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":"Q4452593$D635ABE7-BECA-4FB2-9F72-7DE0800039CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bca7ac093264a8db9e26d130ec7c24fdf0f19d73","datavalue":{"value":{"entity-type":"item","numeric-id":4518882,"id":"Q4518882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcad675f4333bdaa449344cecd3a3370b4f913a","datavalue":{"value":{"amount":"+0.8952099084854126","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":"Q4452593$157BE1FC-7A13-4CFF-BC76-ADC8005F4971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd505f059604ca898f7fdb1f1d92177d153124c","datavalue":{"value":{"entity-type":"item","numeric-id":4507857,"id":"Q4507857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a36272411b5b14d84358c2e51375fe119e0386a","datavalue":{"value":{"amount":"+0.8401528000831604","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":"Q4452593$C24DDA9B-7CE1-460C-B8A0-541966079578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea71d2dad54b90aa3f4a7737a35c29e5dbc18cb","datavalue":{"value":{"entity-type":"item","numeric-id":1818309,"id":"Q1818309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77012a890adcc49349fef0ad416cacc53aba7d1","datavalue":{"value":{"amount":"+0.7972570061683655","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":"Q4452593$D2D45F6B-8BDC-452A-97CF-EBA392AA9FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc449080f828b67d58a4fb2c5c94ca5eea886d1","datavalue":{"value":{"entity-type":"item","numeric-id":4778700,"id":"Q4778700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c48750c2b9a596b2818192067c834e04415a547","datavalue":{"value":{"amount":"+0.7906370162963867","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":"Q4452593$451663BD-063A-48BC-B0AF-FA160C8BA21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bad8cc8c09624b45120557bcb54111de644fd06","datavalue":{"value":{"entity-type":"item","numeric-id":2763688,"id":"Q2763688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a2c37ba0b56bc5134fb0e0f20582be5b1f413d","datavalue":{"value":{"amount":"+0.789381206035614","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":"Q4452593$C27540B1-F3C4-4922-80B5-F288E6D28C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4452593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4452593"}}}}}