{"entities":{"Q1818324":{"pageid":1829066,"ns":120,"title":"Item:Q1818324","lastrevid":46864968,"modified":"2025-12-25T18:09:58Z","type":"item","id":"Q1818324","labels":{"en":{"language":"en","value":"Towards a logical semantics for pure Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383810"}},"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":"Q1818324$2A1C4300-8AB4-4B1B-AE89-9E4E00584FBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7474735a8558b7ddcd50ab3fb162f107150dc0f3","datavalue":{"value":{"text":"Towards a logical semantics for pure Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818324$E1BB64E6-2884-4EC8-BACD-8728DB23C35A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b51636f4cd6f22631825543b899a7a05b5b12d60","datavalue":{"value":"0942.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818324$9E2EBFD7-7027-4A07-85D2-169DA85F8FA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5d386ed60fb87f458cbb25eb8aa3b659c9c4e01","datavalue":{"value":"10.1016/S0167-6423(97)00033-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818324$AEC6C1CD-AB03-4590-A49E-A51F1B8AADF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818324$C7EE0E93-F5DC-4BFD-ABDE-E08E1442C4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b47e2687c339099320ed3ae6a6e7a67c0e7c742","datavalue":{"value":{"entity-type":"item","numeric-id":816204,"id":"Q816204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818324$5E4D1021-EFC9-45BE-A959-11647BBC973B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b4064b83e75e299611282f04361c538a98060c4","datavalue":{"value":{"entity-type":"item","numeric-id":1390931,"id":"Q1390931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818324$77C69DF8-BCFD-433A-A172-0D84AEA44AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"374c89246677dd014ef2f3c988d2b9d3dc41b230","datavalue":{"value":{"entity-type":"item","numeric-id":703586,"id":"Q703586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818324$A7A23C89-FEE1-4176-943C-C3A4CA87F7DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818324$D38551D5-4D20-4A7C-824C-9A93DF3688C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818324$212A9A92-F30A-49E6-86C6-F60B72550CBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818324$AE9EBA0A-7E0D-41DC-9EC5-62A5C9EF036C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818324$17B538E9-B2E3-4E11-8273-50A02243E1FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c68f975bbb7a87ef0b796b2f4e5166cf2c59a3f","datavalue":{"value":"1383810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818324$CF0ED226-DC0D-4FBA-95E0-0D977C92741D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818324$CA7C9ECA-22FA-41FD-B2F5-693A3F07F28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818324$4370F534-9F9C-4678-9C1D-C1614E10F3A9","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":"Q1818324$BEB74F2C-500A-436F-9628-D9546CBED506","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f501283c74164fc702f364060f65f735999ea","datavalue":{"value":{"entity-type":"item","numeric-id":3129509,"id":"Q3129509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"826eebe21e4b542648bfcdd8667fdd5398c3149e","datavalue":{"value":{"amount":"+0.8187350034713745","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":"Q1818324$87A9B081-C2FD-4749-B6A6-9BDD669F8C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cf814d371fd0d5f3fbe13fe6adc588ce516539","datavalue":{"value":{"entity-type":"item","numeric-id":805224,"id":"Q805224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887ebb1c9bef57ad8fd4f59eeea0c8e509901d9b","datavalue":{"value":{"amount":"+0.811453640460968","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":"Q1818324$6368B868-7C5D-4659-89C9-647019C55A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae943b5422533822849f6112204207629e876e9c","datavalue":{"value":{"amount":"+0.8103218078613281","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":"Q1818324$CAEA9507-CBD0-40AF-B5E1-D18912A5E71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee51c5b56a5aac84a6e446473373c1edc02f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7111235e804eb1b8b164d2ea8be60753126d88","datavalue":{"value":{"amount":"+0.8034737706184387","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":"Q1818324$8F07ACDC-1792-4B04-8AC4-4CC7E78443A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1818324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1818324"}}}}}