{"entities":{"Q1185016":{"pageid":1195765,"ns":120,"title":"Item:Q1185016","lastrevid":66791742,"modified":"2026-04-12T12:53:11Z","type":"item","id":"Q1185016","labels":{"en":{"language":"en","value":"Domains for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35445"}},"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":"Q1185016$38389F79-2F43-4090-8F0D-076BB21D4F42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6100054a765194fe4f25e4d284d405a759b39603","datavalue":{"value":{"text":"Domains for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1185016$51437176-D644-41C0-9052-9B96F35C4A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49098cca041e797ac94b6fa58f3d35a9ff9aec6c","datavalue":{"value":"0745.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185016$5D2E4BB1-2D50-4858-88D8-F3D0538CC2B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cf8ef0f4bbefd18221c742aa47a1970f2502c3a","datavalue":{"value":"10.1016/0304-3975(92)90324-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185016$F589D044-30C1-4E99-9BD2-E72EBBFB77FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$301DF8A2-D1E3-42E8-A1D5-875FA55EF120","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":"Q1185016$9DF8D750-F852-46FB-B521-3BB0A4461783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1185016$6BB3B60F-6852-49DE-BA75-52E0CCC46CAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75f854700f7a3491a32d4e6e011b7c8c40fd18af","datavalue":{"value":"https://surface.syr.edu/eecs_techreports/33","type":"string"},"datatype":"url"},"type":"statement","id":"Q1185016$359111D5-5EF7-47A7-A54B-982590F0F643","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185016$DE3214E7-3229-41A3-A81D-564E942D6AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185016$C157F3D4-7507-4A8B-AD9D-EFF136F4366B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2d40c1f5773a302ff12adadb5dfda736313d6e","datavalue":{"value":"35445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185016$4ED02210-55A0-4743-82AF-E9EC9A93B3FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185016$D5BB5A2E-AD00-43B2-B853-F580D4D286C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91541d6d69b4d01960e2dff7ea9917605caa590c","datavalue":{"value":"least fixed point semantics of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1185016$B6148D1A-16F0-4D6B-97CE-B2AB2489DFBF","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":"Q1185016$B4AF753F-B54F-4540-98CF-DB4C9F96BC97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66d68291a7c368f40000698545a7d0ddea5384b7","datavalue":{"value":"W2093288068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1185016$E4B6C5C0-9626-4423-8A78-14C71E824B2A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"400f20ecf79d81a3d3b5792afa45f1f4a9cee7d2","datavalue":{"value":{"entity-type":"item","numeric-id":1093359,"id":"Q1093359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$E8A04C98-C623-4B9D-B028-B20F5D89B038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$06BF2E9A-6E77-4DC7-8764-DCF91F801CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$1686FBAC-DA00-403D-8609-E920E1FD64BF","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":"Q1185016$A00DDC3E-2B6E-4DFB-AF7D-AA5F5C40DC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$8D25CD15-7D2E-4C87-8CB8-981BB39375D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$86095652-ABF0-476B-B651-EDC80498A6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd2973a40cdc7ada8d04704b32ff80bbdfecef18","datavalue":{"value":{"entity-type":"item","numeric-id":3960746,"id":"Q3960746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$A88FB655-7EE0-4F87-A534-88E8CB21B8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1185016$55B960E3-ACA2-41D7-82D7-A99B7C0CB36E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08738c0dfd18c69a1c483efc4ebb0f31e3d44dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f2303100dedd75c47545210a47304172749dec","datavalue":{"value":{"amount":"+0.9300606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$5F941086-A175-4993-B408-E2D5731084E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87976f70a16f5652069910c59eda031ff91461a1","datavalue":{"value":{"entity-type":"item","numeric-id":5449634,"id":"Q5449634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77a64199e92892f02104c1b719ad3965743e5ee","datavalue":{"value":{"amount":"+0.924435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$05E2E701-3262-4A35-8AC9-6F96860AC469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49283f14c7cc27f0d17b2a320f270711e5a0367a","datavalue":{"value":{"entity-type":"item","numeric-id":4036550,"id":"Q4036550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e27252ee0cc6f64832d06c787c410095fb01773","datavalue":{"value":{"amount":"+0.9126487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$442A6B37-689E-4057-B4E5-387B70573C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee682fade91aa8c4661f25c38eb106e5dabd","datavalue":{"value":{"entity-type":"item","numeric-id":4764614,"id":"Q4764614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb8eb93926c171ef885464506a475b66cdf0588","datavalue":{"value":{"amount":"+0.91043264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$4C239625-8633-41BC-8CA8-1CCEC23847F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb8ccb2db025cd5f95d6bdad251ea8197ea203b","datavalue":{"value":{"entity-type":"item","numeric-id":3804231,"id":"Q3804231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9808022a8d0220de20837ebfe10d7ac478c12cd0","datavalue":{"value":{"amount":"+0.8998197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$07705B36-C2CD-40A7-A4ED-F3EFAC77E5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859ebd5d13c6474a7b6b00d78a20e31885cd87e4","datavalue":{"value":{"entity-type":"item","numeric-id":4692331,"id":"Q4692331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9808022a8d0220de20837ebfe10d7ac478c12cd0","datavalue":{"value":{"amount":"+0.8998197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$7E8EDC91-68DB-421E-9B43-C72FA69C9157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946946555f699e139e5c383411f537f94836f342","datavalue":{"value":{"entity-type":"item","numeric-id":4862201,"id":"Q4862201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fd9c1bbcda5782b79131ec8372e1abcbe7bbd7","datavalue":{"value":{"amount":"+0.89134467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$EB5AA3A0-1112-435B-8C26-27968218F6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fd9c1bbcda5782b79131ec8372e1abcbe7bbd7","datavalue":{"value":{"amount":"+0.89134467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$99A1FBB6-F8D4-4D4D-B92B-735FAE770403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42585510f374d8818326c3f472fbaa5b0baaeff8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fd9c1bbcda5782b79131ec8372e1abcbe7bbd7","datavalue":{"value":{"amount":"+0.89134467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1185016$BA281B48-E899-4CC9-95B8-68C24EF42FE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domains for logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Domains_for_logic_programming"}}}}}