{"entities":{"Q1818409":{"pageid":1829151,"ns":120,"title":"Item:Q1818409","lastrevid":73025907,"modified":"2026-04-14T09:28:18Z","type":"item","id":"Q1818409","labels":{"en":{"language":"en","value":"Determinacy analysis for efficient execution of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383908"}},"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":"Q1818409$BE2D26C7-6E6B-44DF-B327-F20852B29870","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cc21e55efa2a4c3c437e71b154581020011ae02","datavalue":{"value":{"text":"Determinacy analysis for efficient execution of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818409$F9F82BF4-3E1E-4059-A269-5C6CB94EA4E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1db3663081d63b8c5fefabaf943aa138b3c9a49e","datavalue":{"value":"0946.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818409$9C755BB6-7971-4840-A598-43B4150FA906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9d3fbdd1e021d9ea4e8b47225662dee069ecf26","datavalue":{"value":{"entity-type":"item","numeric-id":1818406,"id":"Q1818406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818409$D7531C5F-9D1F-4A4C-A3D2-9CB5B5140E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"493a6c7b923df9f53aad0f6d32bd7e33d27ff799","datavalue":{"value":{"entity-type":"item","numeric-id":928638,"id":"Q928638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818409$D16E6388-B437-4E02-90BA-7ADC3C318092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9161fa8cc83aaf73e2b824f832dc0d79782a9c35","datavalue":{"value":{"entity-type":"item","numeric-id":1818407,"id":"Q1818407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818409$D87E51E6-32D7-44AD-B426-40E66E4E4089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e54cbd87cdf8a701a81db9c15c716823e1fabfd9","datavalue":{"value":{"entity-type":"item","numeric-id":1818408,"id":"Q1818408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818409$9E0129A3-1858-44FC-BA72-CC0C48033CDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc854c7d3729575162ec18a1f06cdc4605d69319","datavalue":{"value":{"entity-type":"item","numeric-id":246651,"id":"Q246651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818409$BB77F816-BB4C-42A6-9C7F-7B1CC08E9CFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cd021da003ce90b694dcd1b369ed11b6f26639","datavalue":{"value":{"time":"+2000-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818409$506AA1B5-B61A-4A12-9CE9-223026FB3ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818409$06E136FE-E201-4936-8D2F-6D414FB0C301","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85c0b0a17e8a46c8f77f338f843aae6dbc51c73e","datavalue":{"value":"1383908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818409$79E0CA85-299E-45DB-A0E2-70F03082BA06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad98ae49217978d0c5feece1da6223814779597","datavalue":{"value":"constrained Herbrand variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818409$9971B303-1666-4E57-B362-040E56C63D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37cebdc26287d2049c3f46633a5d3d2e9cb41a27","datavalue":{"value":"Andorra Model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818409$76AD1933-B305-49DE-8E1D-20015D28812B","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":"Q1818409$641D4BB9-9DE6-48DD-B9A7-51700C7D87C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcdac30e2cd658b7d183c122988c5dc00979e66","datavalue":{"value":{"entity-type":"item","numeric-id":3713570,"id":"Q3713570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393c2838e5cbc4801f3e1fa37a740d590b3dc0f4","datavalue":{"value":{"amount":"+0.8141233921051025","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":"Q1818409$E5EAA6AA-CF33-4CB9-8147-416E3EED403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd52fd4ef37fa0f85b66d158d3859176a47ef968","datavalue":{"value":{"entity-type":"item","numeric-id":5458791,"id":"Q5458791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b1f02d228811f90359a41c47a29a59949ff6d2","datavalue":{"value":{"amount":"+0.8012624979019165","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":"Q1818409$433D2387-4011-41BC-B4F1-C19C2E3D5817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fba839a52628047544fed7170c0172db105f23b","datavalue":{"value":{"entity-type":"item","numeric-id":2909520,"id":"Q2909520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032c629ddba99508d5aab30775f73364405419c4","datavalue":{"value":{"amount":"+0.7972220182418823","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":"Q1818409$29B48E8E-AF35-4456-9594-8AE2E585E0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14eda6b21c8988e995824b4fd1f60dfbbb49794b","datavalue":{"value":{"entity-type":"item","numeric-id":3782757,"id":"Q3782757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a776bb92eb56c17d0b88a3643a5cf3d5b27de0","datavalue":{"value":{"amount":"+0.7939145565032959","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":"Q1818409$0D490EE6-10D2-4183-B317-5CF0455BEB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13393c5d641d8b5b146dae9f3038acf70b846bac","datavalue":{"value":{"entity-type":"item","numeric-id":1098621,"id":"Q1098621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ab002e10638bd4f0f75d918b065555e9c771ca","datavalue":{"value":{"amount":"+0.788148820400238","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":"Q1818409$A7894E63-C0FA-4D3D-AF3F-2241C3B25D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Determinacy analysis for efficient execution of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Determinacy_analysis_for_efficient_execution_of_logic_programs"}}}}}