{"entities":{"Q4305334":{"pageid":6334935,"ns":120,"title":"Item:Q4305334","lastrevid":46276104,"modified":"2025-12-24T11:29:12Z","type":"item","id":"Q4305334","labels":{"en":{"language":"en","value":"A metalogic programming approach: language, semantics and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638359"}},"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":"Q4305334$96A0EE91-62B0-4DEF-A7D7-080B3962A37A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d62f0f0648569bfcfdef34daeb3947b51401219","datavalue":{"value":{"text":"A metalogic programming approach: language, semantics and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4305334$48672B10-E0D0-432B-A071-19803245A68A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cff926773aee9d87239c9fd79824a70af654516c","datavalue":{"value":"0820.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$3EC4022B-AB61-405D-9773-4E446B9542E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a25d0453c31d2db7bc5179687c48bf37f1c1a770","datavalue":{"value":"10.1080/09528139408953789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$1E8FB9CC-2478-401A-9C0D-47CFCD78EE48","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":"Q4305334$D3F8CDCA-EFFF-413A-BB9C-BC0B0ABE0F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8555c2a3737093b1ba7830fd7aba79aca0ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":4068064,"id":"Q4068064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$B8B1DF5E-A615-4754-BF27-7F7DDD92570A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$35557571-D7B2-4CE9-B608-D2F036617F33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35d39e210be1143825b67c9418f16b393bda66a7","datavalue":{"value":{"time":"+1994-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4305334$1F5F0639-7ED9-4A67-9B0E-84EDCC413F7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$AD9A9569-8DBC-4CF9-8F65-250FCE82F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$07CAEC70-4085-48B2-BAA0-D9ADC65B1AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$048FC84A-91A5-418E-AE91-B943F4D886DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c2a7555546bd0f692ff5057502b5438390d568","datavalue":{"value":"638359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$3BC25DA8-9AAA-4BA7-A65C-FE17CFF6FF96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305334$97F73381-B957-4D41-947B-8CE0ED8632DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5e6c48a598cf304487c4aac3470b065acc8014","datavalue":{"value":"reflective prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305334$A74B4DBB-7F85-4978-AB4C-8097AE027A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d012fb06a72d19ddd3af1cd634f7a98d17de6e4e","datavalue":{"value":"declarative knowledge representation languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305334$82917F02-59A7-4DA2-BB9C-0BA8EB93AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305334$6619E057-59EA-4E34-881A-3FE175D80F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aadbbce4d6212535f94d23b11a1e613d10da08db","datavalue":{"value":"knowledge-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4305334$7AC93CB5-A7C5-467B-8CE6-612C76CC91C5","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":"Q4305334$242F0F0A-6678-4FB9-9233-990CABB5AAF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5378840a4759d56179b8cb34fcebd75ca1fdc65","datavalue":{"value":"https://doi.org/10.1080/09528139408953789","type":"string"},"datatype":"url"},"type":"statement","id":"Q4305334$AF903AA0-FF9D-458F-8746-39A3A1B0157F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e00bdd61496e4885249a2c3adf8457322ddfbf3f","datavalue":{"value":"W1973381136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$C712B157-F9CA-45BF-9C78-8A8E9806440D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d418920177a910ec31640970cf78e21a929ec6","datavalue":{"value":{"entity-type":"item","numeric-id":1177923,"id":"Q1177923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$49BA54EC-2049-4796-96B6-C99A156DB0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c491da19b0e289c52ac628330227298729289aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3255339,"id":"Q3255339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$2B5FF01C-DFFA-4E96-ACD4-C2A871B70C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81878d69ccfa886f1c81edc4744c8a500ba547a8","datavalue":{"value":{"entity-type":"item","numeric-id":4176999,"id":"Q4176999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$48EFAFE5-5B01-459D-BAB5-5E39592950FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$7679DE5E-A529-4110-BCE0-F573481CA436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$69D7BD0F-1A2B-43F0-A34D-B20CDFC4E28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$6CE7B909-E5CE-4A1E-B144-821EC5B3F731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff9cc29d1e2598e2f44a2c297a79d89e62eb612","datavalue":{"value":{"entity-type":"item","numeric-id":1068068,"id":"Q1068068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$B9F1D1FC-B49C-48D4-82E5-A8CA29756A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbaa4793231842602aa3ae84c535a720bfea03a","datavalue":{"value":{"entity-type":"item","numeric-id":4692551,"id":"Q4692551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$CDB74973-3D7D-4D0F-B22E-4A7DE1775F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f76ebead7dafb172c6ec05c7848750b5cf7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5656739,"id":"Q5656739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$5FFCB210-AD14-4EB4-8100-87AF2100AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$C82BB9C0-1B27-47CC-A5BC-18AF0280710E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501047b61c64811dc0685d7aafbb8dd4f7f7adaa","datavalue":{"value":{"entity-type":"item","numeric-id":3817650,"id":"Q3817650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$0432287E-6400-4AF5-8BDE-BD8516AE7F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4bcd76765332f83ca0d4b037c13ff8aba19c47","datavalue":{"value":{"entity-type":"item","numeric-id":4132514,"id":"Q4132514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$DA2A2C95-6EF4-4DB2-BB0A-AEE0F5BF3197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bdcc9a1e95411e083061f80595849cb8ff9255","datavalue":{"value":{"entity-type":"item","numeric-id":5557870,"id":"Q5557870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$2E428F70-FDAD-49D5-B872-9FCA7AF4F4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4305334$423F007C-6B5E-4401-8EAE-713789FD5A17","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b61ece149e20a6816c787f7c42a1cfb88a59522b","datavalue":{"value":"Q126251932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4305334$2BDFC5A6-F87B-41EF-84A9-582474F67752","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cd9d726c12e65ce0b03b54fd0a5c2a6b99873e","datavalue":{"value":{"entity-type":"item","numeric-id":3358245,"id":"Q3358245"},"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":"Q4305334$B72C55F3-9A62-4D17-AA01-FA1429045B9E","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":"1642d1cd4609eb5581a548698c9b604258970ddd","datavalue":{"value":{"amount":"+0.8132826685905457","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":"Q4305334$94882B5D-F4C3-4F6F-8617-3AD2A4CEF570","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":"998468518e89dc5ca9145429b9267e87099808ed","datavalue":{"value":{"amount":"+0.7947638034820557","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":"Q4305334$BAF04481-E89E-4D89-BAC9-E9C4410E269C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff29ee89187f69a6b5819af35d62a9048131ed7b","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138b8991466b83822d7c1ac4b28fc1e7ed43e682","datavalue":{"value":{"amount":"+0.7814769148826599","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":"Q4305334$E7B250F6-DF32-4E7B-8174-61CF091D2A81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4305334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4305334"}}}}}