{"entities":{"Q4015949":{"pageid":6045738,"ns":120,"title":"Item:Q4015949","lastrevid":55190014,"modified":"2026-02-04T15:02:07Z","type":"item","id":"Q4015949","labels":{"en":{"language":"en","value":"Towards a unified theory of intensional logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 70118"}},"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":"Q4015949$11A95E5C-C315-4794-970E-77BD08D208FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09056d7b2ac0a275323ecc4bbdcf241b32d57167","datavalue":{"value":{"text":"Towards a unified theory of intensional logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4015949$166E56BF-55FC-4345-84C2-BFB5EF89E864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0548190a4deb6c963885e6e5bbc81f54b3be0e9","datavalue":{"value":"0754.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$586639B9-A802-4847-8A1E-C58F1B825D5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47a67e9c4367892458d4fa223a8e475bcff54990","datavalue":{"value":"10.1016/0743-1066(92)90055-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$FC8A3EC6-2317-413B-A603-59F767506EA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"968189839c7fc279d65671c9e34dac7d45d8cd1c","datavalue":{"value":{"entity-type":"item","numeric-id":421349,"id":"Q421349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015949$B79F7AC9-00AB-4635-B85A-2CE4D9E979BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f75b0974d4d5c1a2893e608fd0ac428b68651de","datavalue":{"value":{"entity-type":"item","numeric-id":987827,"id":"Q987827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015949$7DD7EDD7-B42F-45A7-AEEC-F41E5B328D69","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":"Q4015949$B10FB579-1B22-4F93-9941-73166E70D7F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9688fba77d08b63334dc8de515e99dd360c4df1","datavalue":{"value":{"time":"+1992-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015949$3EA5385A-ABD3-4665-900F-C7975232297C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$2364DEC2-8707-4140-AFCA-BBCA9EDE2C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$83347E5A-1313-4A4F-8305-422E35ED64B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$C6072DFA-4D79-45AC-94EF-29F4B1484893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca13b2ddf54d632cfcac2afb6b39f6ee5b0a3a10","datavalue":{"value":"70118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$851BE54C-62C2-44B5-8586-5DC2701BFF4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a427fce7f8576c44fab982c3915c01f61c05f379","datavalue":{"value":"intensional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$C40ECE4A-3947-49CB-8B17-3BFBBE5FB202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baca471c73325df3c512934287ca4f62814b38af","datavalue":{"value":"models of intensional logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$2F961862-4124-46DF-A522-CF4B385E5DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ab7328003f5384ebbc5df77daccd5aefdbee63","datavalue":{"value":"intensional Herbrand interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$C0C0FDA6-D156-4251-8883-78F9EEA1BB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f673bff25dc74e5eed1755a56a93e722c21eba64","datavalue":{"value":"model theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$586E817A-CD78-40E7-970D-D96FE3470897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ba6b4e31c2f8670eccf0f511ac730d8a7339d08","datavalue":{"value":"least intensional Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$A5F6C858-B2F4-4BC9-8C12-4D2F24D0055F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$BF1E611A-7727-4C82-A6CD-9C39A30F8313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$CD1B5619-8AB3-4984-A7AE-5594FFD3424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cfb153e163b1113205214c461286516fc8f5591","datavalue":{"value":"nonterminating computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$0ABB9FB2-F5CB-4494-B5FD-7DEC9A98EC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9de844cc352deb7433dbb8f8abc0397f688eb2ee","datavalue":{"value":"Neighborhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$004F3B47-7A88-4E43-9BF5-961C356737E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44909954d6ecbe87d0b68efa5c3a6f80bc2b6aab","datavalue":{"value":"fixpoint semantics of intensional logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015949$AD9B43F3-7002-41FB-8700-5A1787BC9CE3","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":"Q4015949$2892B3DB-CEB0-4818-B37B-B969BBF9AA87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b61f05655b5433e5e268427df70b12728500726","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90055-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4015949$74BD50EE-FCA6-46A6-B4FB-105CB31BF703","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebfd5983ce82169df8afb4c1d6c0184ff4b79dcf","datavalue":{"value":"W1996656410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$321502E5-E3CE-4561-8DFF-E74D68D14BAE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"10905472ded9cc8b3dae8a3e875a626f1bccb855","datavalue":{"value":"Q58185371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015949$B0651F16-5911-46AC-B6D1-94713442D28E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60331b663f10ff547a709f3c81ba3a2990cac227","datavalue":{"value":{"entity-type":"item","numeric-id":2851265,"id":"Q2851265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a52ef1f87924f198b8b039f216fc1deba7cc8f7","datavalue":{"value":{"amount":"+0.831920862197876","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":"Q4015949$9A74BF52-070E-4031-9EC5-7532C990E208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4200ebfa4f1f91bad240865826b5557c025dc92d","datavalue":{"value":{"entity-type":"item","numeric-id":4004424,"id":"Q4004424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17893cc135d31ee999609d10347621d3dca9f5dd","datavalue":{"value":{"amount":"+0.8314865231513977","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":"Q4015949$0D0F4738-BBE4-4898-8979-977E4330C6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86f927324815d06510e06da24d4fce84e6f5e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1314280,"id":"Q1314280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1967fb88e34241cf5ae7b3ca73c1701f5ed2b82","datavalue":{"value":{"amount":"+0.8308578133583069","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":"Q4015949$2A4FC69A-7849-4483-BD23-A78FCD13A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cea0efeafc8742ad319e10704112f9b02dd0c5","datavalue":{"value":{"entity-type":"item","numeric-id":345702,"id":"Q345702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c54f3284afa3390fbf852d0119d96d5ae2da8b","datavalue":{"value":{"amount":"+0.8287188410758972","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":"Q4015949$5778D729-3A24-426D-95BC-5CBF5AF647BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8695ba0e12aea0b0351d35bbf6fdeaf51287ab97","datavalue":{"value":{"entity-type":"item","numeric-id":2742788,"id":"Q2742788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f52a4e3382c25ee68e768095971db5b9097863","datavalue":{"value":{"amount":"+0.8266649842262268","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":"Q4015949$03F99D16-F3AE-4C29-BEF2-5F70AB341740","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4015949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4015949"}}}}}