{"entities":{"Q1314414":{"pageid":1325164,"ns":120,"title":"Item:Q1314414","lastrevid":68438544,"modified":"2026-04-12T23:42:59Z","type":"item","id":"Q1314414","labels":{"en":{"language":"en","value":"A compositional semantics for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501217"}},"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":"Q1314414$A9C4E67E-92D5-4D6B-B324-F5A800430CB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16201d4d23e3840b9e4529d1249bf01df340b6b1","datavalue":{"value":{"text":"A compositional semantics for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314414$04836599-7FA7-41CD-8C2C-04AC8D06B4F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc439561d63d85e6e90ace8b6b68689b8e4d82e8","datavalue":{"value":"0801.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$46B21E96-FFC0-459F-BD37-3D8EAC62CDED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"300df0cd095284dc60ed14de2d69e5036a1e568f","datavalue":{"value":"10.1016/0304-3975(94)90200-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$0813E014-9423-46D0-80FE-BC60E0101DE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$531972E5-390D-4CD4-A1A9-0FBC1A32832A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35f07f26077989a46e074a3e6621ef2f811b12d9","datavalue":{"value":{"time":"+1994-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314414$92BFE5C6-7AAA-4D9F-91AF-170381D4D060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$53CE63F1-4B70-4E20-9D78-CEE296F0C6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$7EE45602-4DD2-4A65-968E-3A3064F58B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$101736E9-567E-4E84-BE7B-BFD634E93333","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dce395e0cfbc4612b263c7c70c4633f096d6d9c","datavalue":{"value":"501217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$A79032AB-6390-4F23-B3A6-8EE2460169D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314414$8007A29A-4234-45C1-81D4-55D22840506B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314414$54A8A468-1E52-4186-882E-E83309B41F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314414$B211E3A2-5723-4805-A1A2-193B4CDEA395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314414$FD1A1A11-5B3E-477C-8D01-65C9D2D6D6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42df55897f9ccbaa78545ab8c3c712ad9bce1053","datavalue":{"value":"modular program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314414$F2DB6F00-5AFF-4C3E-A4C1-6DFA655BEA3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$5068F62D-F52A-493E-86BF-7E5348CBFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$5E16CEA0-916C-4F9D-862A-6D6C7A00B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e5a5ffda3b91beac514a35e59d9924cc050864","datavalue":{"value":{"entity-type":"item","numeric-id":915475,"id":"Q915475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$5B88632A-0097-4CBE-8EB7-6544EA944994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$5E77AD59-AB1D-43BA-A9E5-8AFF7C1560F4","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":"Q1314414$56635097-7060-404B-9799-C764BDD476D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5621a01ac24bdb18ed15ee24ad3ed1e18afd078c","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90200-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314414$37D7D0DC-E1B3-4F79-9CB9-DAD9095DE247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d8379a82696713ff03afd27da6a7762c741120","datavalue":{"value":"W2002343112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314414$839AF3ED-E5C1-4580-9DD6-6B95AE5AF362","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$844A2EB1-2209-46F4-95E2-EC6ABB834D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aca387e341fbb9b8bdabd6b9c61c6e540a4bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$9DAD6DED-1610-4767-BE67-4034AE8DD2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d108bb61bdcb4d257e4a38ea5d2eab000a9b96","datavalue":{"value":{"entity-type":"item","numeric-id":5688899,"id":"Q5688899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$6BFA7EB1-6B62-447A-B6CB-FE01622CBBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b50545c3cdd687c8ac9a8ddc1921a120618353","datavalue":{"value":{"entity-type":"item","numeric-id":4276170,"id":"Q4276170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$0EF76494-571A-421B-8C2E-ACD1D89C380A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e49d24efc4d6e28e97928249b399027bfe2db6","datavalue":{"value":{"entity-type":"item","numeric-id":4035697,"id":"Q4035697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$595A7467-F86C-442F-AF83-CD7EA2843C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$F827E63C-6717-4197-9083-22A8E78D771A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$DED36C83-DF49-4168-81E7-906C78F5F4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8e99f116514106e68ae9cb033244e0968df00af","datavalue":{"value":{"entity-type":"item","numeric-id":3761666,"id":"Q3761666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$3AC02AA1-E1B7-43A9-B924-A87D885DEF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e65838e11b69a484cdc09d1831c2c354545208","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$FB777E02-DE51-4DD4-BE33-07A0163043EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c814aea923501d6e55b16e4e69e66c62b81297","datavalue":{"value":{"entity-type":"item","numeric-id":1200981,"id":"Q1200981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$6B2B7250-4380-4174-A545-CFB283630216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf26eb6ef0a2cb5ec8accba41f732c223856278","datavalue":{"value":{"entity-type":"item","numeric-id":1900312,"id":"Q1900312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$405B5B8E-5548-4078-84E7-AC667A857573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179d51bc9fd526cdf376f462991999e7bda33ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$0CB10F66-9F2D-4F85-A493-B8003F0F8F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08660eb960fb992bf546d146b48be64180be461b","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$4AE019FA-2600-4E10-97C4-3D72A6EF3DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bafff14f50652e6aa3b9f92c67eb57091a26f7d","datavalue":{"value":{"entity-type":"item","numeric-id":5096198,"id":"Q5096198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$384D3B48-970D-4FBB-8778-E711187FB4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$0378C334-BDA5-477B-A7BE-6A5181C256AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$F585A3D1-37A9-4322-AB34-84A39F661AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$ED81253E-9E1F-431C-A3C8-CA25207BD0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6493eb5cd6fd695cd6fe9bece6a84b2f139ffe1a","datavalue":{"value":{"entity-type":"item","numeric-id":3767012,"id":"Q3767012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$75632C34-5500-42B5-9F83-DEDABA6F5073","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":"Q1314414$08CA3930-7301-4274-AD9D-6453CA100283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$90BA9EA9-694C-4379-BEE2-433DE1024462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$0ECAE561-DB8A-4DD6-9411-738E87630506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4c5df0a142e825f10aaf217015567d11fd8a99","datavalue":{"value":{"entity-type":"item","numeric-id":4038706,"id":"Q4038706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$4177ADC4-CB16-4B5D-8B17-48F70E3BF695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c218a07c6c1fec768507daf13db1e9b66c81eff","datavalue":{"value":{"entity-type":"item","numeric-id":5624681,"id":"Q5624681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$B9261A97-C687-411B-A97E-F632C488A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$DBFBA8CA-C7F8-49AF-826A-6ED1167254A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$3B71FF99-1EF7-4CFC-8887-F1E74CAD2882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cf814773134948702af49298317262d3beec37","datavalue":{"value":{"entity-type":"item","numeric-id":1100934,"id":"Q1100934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314414$CC53C8A8-E342-4801-8550-C41451253CE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5390caf9866d8612cd82fb6df95f0f4ce671f87c","datavalue":{"value":{"entity-type":"item","numeric-id":5688899,"id":"Q5688899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86dc9664529619463cc983af39cbc92e4d85c304","datavalue":{"value":{"amount":"+0.9237961769104004","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":"Q1314414$94FE7918-2147-4E54-B04C-83C52AFE23A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1587ade3117c5bc72b9d0d1b8b91e6e76aa062","datavalue":{"value":{"amount":"+0.8451911211013794","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":"Q1314414$FB42393D-BFE2-4814-BD55-9D42456B5714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539af1f29a63fd967a7fa7e490d1c41cccd980f9","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8bfe5d5bbfffa6e6807bc8ba1ac70dbdec9bfee","datavalue":{"value":{"amount":"+0.8410064578056335","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":"Q1314414$0B6C558E-B9BF-410C-9FBC-014CF26AAAA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A compositional semantics for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_compositional_semantics_for_logic_programs"}}}}}