{"entities":{"Q3075664":{"pageid":3086380,"ns":120,"title":"Item:Q3075664","lastrevid":56894904,"modified":"2026-03-24T12:29:36Z","type":"item","id":"Q3075664","labels":{"en":{"language":"en","value":"Mathematical aspects of logic programming semantics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5852113"}},"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":"Q3075664$71023C57-4474-4EBD-AB4E-7BF9826D39AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe35f48224740dedc6f13206b6a9442e0dd29fc4","datavalue":{"value":{"text":"Mathematical Aspects of Logic Programming Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075664$BB8B69C3-EB1D-4F4A-9982-770A4EB4A13E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88428a9bfbd7a73e8f7587dac4d5c228859800ac","datavalue":{"value":"1219.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$1F8C8CCD-111D-4EFB-812D-823CE948A805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbeabc28ae419338d0fc6eb2152a601d7b21813c","datavalue":{"value":{"entity-type":"item","numeric-id":646501,"id":"Q646501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075664$A5E51E2C-175A-48A9-A096-9038A6137776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46084c0cca4c70298f0aae77250f85fb8ee886bc","datavalue":{"value":{"entity-type":"item","numeric-id":1427779,"id":"Q1427779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075664$B0BEBB9A-128D-419E-9A99-B1600CD1AF84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dc8e3e22accee961bbaa1bf07d11ae641d94757","datavalue":{"value":{"time":"+2011-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075664$4A7E5CA3-61E0-48C9-A6CF-BF656A7AEC88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4e8380c681e45fe347285c556b990ff7fb15976","datavalue":{"value":"https://library.oapen.org/bitstream/20.500.12657/41648/1/9781439829622.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075664$BA6B6235-9D4E-4E81-98E0-CBFBB7EDA5DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$5C7324B3-CD7D-46E6-A926-7E8B382A7A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$EC66624D-9E70-4D05-98F6-3DB5135F8CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$58568A65-845E-4B68-8ED0-80DC9AC56EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$348570F5-0D4D-4BB3-8FBD-41E69659387E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$3F9879F3-4F1F-4EEA-AF7F-EE5E3708EC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7058e6445d419a356a3fd5be04af78c961ea4f3e","datavalue":{"value":"47H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$4D4A5599-737A-46C1-9129-AF4FFACD1B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abeedc71cd06a37abad81827a9e2d121d35aa01e","datavalue":{"value":"54H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$6FC2E1FE-B358-4346-AA63-A32C34871B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d68531b723566bb76eab3c8d0dd2be83da65eb16","datavalue":{"value":"5852113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$DAD00C9F-0F16-46DF-A813-7050DC512DA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$5B05A068-D9B2-4933-A58B-124A91A97005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b98241ded7975c0f16318c85fe17a6847618e0","datavalue":{"value":"fixed-point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$462E499B-42ED-41D8-A8F0-063A74AEE444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$A26709E2-C78A-4FDD-9CD1-1C8EAC2439AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$82619B04-6208-4C95-82E8-803310971A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$ACF41192-C16E-429B-8F21-FB563F7697FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac54fd1557752245b07f63aff5dba29772594aef","datavalue":{"value":"multivalued mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$8E1861C5-C0A4-435C-9034-E15D14A8631A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6596e475a9945d1a7714e1169195083cc3ae678","datavalue":{"value":"artificial neural networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3075664$94EED262-221F-4D5D-B61F-DC96516698D2","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":"Q3075664$EFACDCCF-516D-446C-854E-E5888564DE88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ed216570695d995d4a1ca44ad234a7ebaead44a","datavalue":{"value":"W4212883977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$5ED9105E-499B-4605-B91F-20363E472AB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffb5fdf801361165d3df562e1fd5d866764ce9be","datavalue":{"value":"10.1201/B10397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075664$8D5C5F86-B4ED-4720-9AE7-243B125A70E2","rank":"normal"}],"P1643":[{"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":"dae7d424dfdedae2adcdb4ac4c2808b084634bd9","datavalue":{"value":{"amount":"+0.7780580520629883","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":"Q3075664$68A53544-A2FB-435B-8109-BFB659DA0DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d312d5a9cc3dbdc200c1996c669d95ecd2e4890c","datavalue":{"value":{"entity-type":"item","numeric-id":4500930,"id":"Q4500930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3da23352aeaf3be7a676cc0e25bc0d2a75d66b8","datavalue":{"value":{"amount":"+0.7761744856834412","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":"Q3075664$299B42FA-5187-473A-A8E2-93000462FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267a80fa263c380bca996bec8c439f636fb35b8e","datavalue":{"value":{"amount":"+0.7702009081840515","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":"Q3075664$51981158-3C69-48C1-819D-55E8D2331DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26876da7f91f6534e43de954cb6c3f958fe4d881","datavalue":{"value":{"entity-type":"item","numeric-id":3126163,"id":"Q3126163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118d4e63ce079d9785880569a073c4330db379dc","datavalue":{"value":{"amount":"+0.765227198600769","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":"Q3075664$48EF19FF-D345-4E0E-806E-63ABAB4D0B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1513c92bdedb60534ccf5c31e99c384ee0963f","datavalue":{"value":{"entity-type":"item","numeric-id":4853319,"id":"Q4853319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c53729a0ce06775ca9094658b7096ac3b07e47","datavalue":{"value":{"amount":"+0.762951135635376","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":"Q3075664$6AFEB40F-81BC-4E2E-BD43-0A7299F23C70","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075664$E6321E43-C69A-49DF-8FCB-A38A0F2A93C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075664"}}}}}