{"entities":{"Q3358245":{"pageid":3368950,"ns":120,"title":"Item:Q3358245","lastrevid":49532692,"modified":"2026-01-07T13:25:31Z","type":"item","id":"Q3358245","labels":{"en":{"language":"en","value":"SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211524"}},"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":"Q3358245$816B1EBA-B800-4A17-9A24-003487D2573F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a183dec1e4f3a94d16663d2b4f65d1fd62b7787","datavalue":{"value":{"text":"SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3358245$03BB8A02-A5EB-4595-BB4D-8863B52BF9EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a92f13c9e4b7b6e1bd85689d18f66ee00764daf","datavalue":{"value":"0732.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358245$ACFF9956-2597-4A59-BD4E-D35DD0E1ECC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"482347796e6a54b7f7b853182c4e5503b0c963b8","datavalue":{"value":"10.1142/S0129054190000175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358245$377BA0CE-F43A-420B-9743-C34CFA239758","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358245$8F8C35C6-9E8B-43A8-BCBF-F46A9EF909FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358245$1A209920-DCE3-4A6E-8D3D-53CA851D7864","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3358245$A256B83C-94BD-40D7-AE21-FA0DFB62CE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358245$828FFFC9-EFD2-4AD5-B027-13AFF4CC1A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358245$0C2F18EF-1E74-488D-8401-714F8531217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358245$44F273EB-71FC-4EB6-AC6E-EAB2624CA63F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad434e1bd136277284118da729ddf6d7bdf7461","datavalue":{"value":"4211524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358245$6AB87D07-4CD4-4130-B068-6E333E4C876A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d7dd78d93f126d483a4ef76783eee4538b76ab","datavalue":{"value":"Horn-clause language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358245$AB77455F-760A-4059-BE2D-25ACB07DA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a59a99b3d658073f9e4d033cf66a18b20110945","datavalue":{"value":"metalogic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358245$E782A8BF-000C-4850-A46D-B6421AC0C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c632539fcd8cd9540139ac321cdc0273381daa3b","datavalue":{"value":"Reflective Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358245$B272FB90-3F07-4D38-8192-ECE88DFC8FFA","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":"Q3358245$73187653-1CFE-47A2-BE41-28DFB0AC88C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1267172c702e6cb33f5b3bbf89ee4b7dd8d8980c","datavalue":{"value":{"entity-type":"item","numeric-id":4305334,"id":"Q4305334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2c356b7981cb0827e7ee6aae51a455fa93fc7f","datavalue":{"value":{"amount":"+0.9305522441864014","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":"Q3358245$5B479973-9958-4C31-A186-E7E26D91C40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb99e36c85f5d4e719deab587a09576d67d8b927","datavalue":{"value":{"entity-type":"item","numeric-id":4885624,"id":"Q4885624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1d36e1d3de7e32426eaa3c3035a0ddce192fe3","datavalue":{"value":{"amount":"+0.8520826697349548","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":"Q3358245$D9B58A9E-C245-4980-91B7-203817D36124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a054549614805bae41860ade89d7b28adc037780","datavalue":{"value":{"entity-type":"item","numeric-id":1818324,"id":"Q1818324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75789c0f7491ea237b4fc3c3e491a0e7897e8c10","datavalue":{"value":{"amount":"+0.765173614025116","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":"Q3358245$54917017-EAF5-4002-B4D8-CBEB21329BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32809c293635d049ae406af9f8691702a58a15ab","datavalue":{"value":{"entity-type":"item","numeric-id":3983346,"id":"Q3983346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64181e4a33b1be89c0b1c9ac20c417f1abe05ec4","datavalue":{"value":{"amount":"+0.7601800560951233","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":"Q3358245$11A9F35E-64FE-486F-AD92-41B599F2800F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4016f7bb8f37f7c125ef54ee44a6763826a678e1","datavalue":{"value":{"entity-type":"item","numeric-id":4537453,"id":"Q4537453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc59cc1ee82c589e4facc2ec486e68e5a70bfe79","datavalue":{"value":{"amount":"+0.7600240111351013","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":"Q3358245$F5999A2D-A541-4D0E-B997-64059B0180A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358245"}}}}}