{"entities":{"Q6623792":{"pageid":14234944,"ns":120,"title":"Item:Q6623792","lastrevid":95646023,"modified":"2026-06-05T09:29:11Z","type":"item","id":"Q6623792","labels":{"en":{"language":"en","value":"On logics and semantics for general logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7931391"}},"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":"Q6623792$2AD1DC6B-75E6-4A7F-9B87-4B0B63BE589C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2460409cc9c90ff389a4cc9efa68efe8300a3e32","datavalue":{"value":{"text":"On logics and semantics for general logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6623792$3A2320ED-5011-457E-A77A-28671B5ADA25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d500882847dd8e842e6e6ba44a4f0470373c3623","datavalue":{"value":"1547.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623792$9E9A9099-DDCC-438F-B2CC-1D783AB92B14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7279389b2829453942e3a511537e8d8a8343b4","datavalue":{"value":{"entity-type":"item","numeric-id":190252,"id":"Q190252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$5CC922B7-A0B9-480D-B104-EDC937EFBC61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e904a32ce9fe0905c581b0bf09991f7f3f0c6d0","datavalue":{"value":{"time":"+2024-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6623792$18DCDCAB-3AFE-4338-B018-50E1093E2705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623792$CBC4DA87-4122-472A-B4AA-0378DA57D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623792$A3659DF7-9E20-45CF-B12F-DF60AFF25035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623792$9F2376AF-E85F-4117-871A-23974397C4C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9eef90cbd0da4fe06b97c37a18c01b3f4e2b821","datavalue":{"value":"7931391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623792$450D9749-A4E1-425D-908E-41ACF34C81DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623792$6CAAF1F9-42D1-4514-86BD-220B37CC1408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623792$50CF26B5-0A4A-4480-80E2-A37032B8F491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be7507bc08054ffa8ff449da98524849d4d3fa5","datavalue":{"value":"propositional atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623792$70215D09-C609-42E5-82EF-212FD1FADD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623792$F21BDC38-05E3-4AF3-A225-B636F03F5CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568aa25ffec7828361d61125d21fd268ae8ccc22","datavalue":{"value":"static semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6623792$1C8790C0-50BE-4822-B3D3-F706CA36422E","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":"Q6623792$3D5CD798-89AF-460C-9846-3A14893AF89F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9e0c2210260f462c7da78738460d0b3ea6e217","datavalue":{"value":{"entity-type":"item","numeric-id":1197387,"id":"Q1197387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$55B0646E-EBA3-4097-B851-3149EC28B60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a3768f9178495dd2a65db2685e2dc39f9eef9b","datavalue":{"value":{"entity-type":"item","numeric-id":3206928,"id":"Q3206928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$48AE30FE-DBDD-4B81-8DF6-385FFBB7AC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$31700F86-55CB-42B1-9627-D6C065708CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac324ccdfa2ee3e8547ab4ed567498604785d6f6","datavalue":{"value":{"entity-type":"item","numeric-id":5101454,"id":"Q5101454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$02AA1AFB-E7B1-4468-B1AE-2AF980668110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4805594407a57257c47b2939793bf5829a6c8de4","datavalue":{"value":{"entity-type":"item","numeric-id":5236439,"id":"Q5236439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$85A32575-CA37-414F-81CF-B9DBE071F09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f530131a4cb0754d2110e978c5f517f2ce20229","datavalue":{"value":{"entity-type":"item","numeric-id":4327612,"id":"Q4327612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$398B79E2-85F0-4712-A1E5-4C2BA7F213BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df2ed3bccaf33db2911d0fbd26c5af6161bed60","datavalue":{"value":{"entity-type":"item","numeric-id":1123891,"id":"Q1123891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$EAE20746-A151-4A06-8A7D-B2F4938DB5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4e9ae009d5790d07b8fb9d4b94d739d61ef352","datavalue":{"value":{"entity-type":"item","numeric-id":1342215,"id":"Q1342215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$6757E850-51AE-4074-98DF-6F15764B871A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb678fcfbbb428f6b5621e5f89f6a8cb37d8f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":3983045,"id":"Q3983045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$2EE78BB4-26D6-46B4-BD42-0A6616A41051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af77981a43abcda1d261a05984537b43f03bc74d","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$2DF6F0B0-A3A0-4A87-B1EB-36A30138E472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6dfd012d5aeffb758a1244231e92d7c412e3861","datavalue":{"value":{"entity-type":"item","numeric-id":4835533,"id":"Q4835533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$F7B6ED82-D402-4F42-85E8-05F163A41739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4df7911dd9b29790eb846da65ae638475d481b","datavalue":{"value":{"entity-type":"item","numeric-id":1354044,"id":"Q1354044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$DFC5EBBD-7DE9-4FF8-9501-FDB623DA1F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c7890edd5aa96546667ca93a6be6975fb87f3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1311407,"id":"Q1311407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$ECDDE3ED-6BB0-4029-82FA-077E66688DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58bf5b8cdf98a89cbb941f903d44d8103f82ac98","datavalue":{"value":{"entity-type":"item","numeric-id":1337468,"id":"Q1337468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$8025C821-2434-4CF3-A5E1-DFC4F152B4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7255ca9f51eb4d28eb7b2d9bbf856554aabaccca","datavalue":{"value":{"entity-type":"item","numeric-id":5101450,"id":"Q5101450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6623792$5D8B5303-EC9F-4972-BA46-3FB3E3FCAC53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f166bc593d0746161af677d253bab41dbe136927","datavalue":{"value":"10.1007/BFB0023800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6623792$202A94A9-2D1E-4761-8E7D-555D75593F8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e223bbc6d5fc894b4f9e10ed218fe63aed8e17cc","datavalue":{"value":{"entity-type":"item","numeric-id":4208859,"id":"Q4208859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0272bee40bc4af5b125e47f1ffab1dd077c5cb","datavalue":{"value":{"amount":"+0.914436399936676","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":"Q6623792$8662ACFC-A11C-42C4-9C1A-69A5CB9BA332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86621906eeee17313837d8fa8d9a23bf6546584b","datavalue":{"value":{"entity-type":"item","numeric-id":4208858,"id":"Q4208858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80e68580a8550e71e1a9842964ccc8612fdf7c8","datavalue":{"value":{"amount":"+0.8953360319137573","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":"Q6623792$5359C802-8F71-4920-BA7F-091A8DE9D4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee08a2115648bf6876f249bfe90f355eb3dfb8a","datavalue":{"value":{"entity-type":"item","numeric-id":3126167,"id":"Q3126167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6f1ebe616063cd7fddd0cf489f05191662b20e","datavalue":{"value":{"amount":"+0.8286912441253662","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":"Q6623792$07F71E85-2042-45F7-8D82-E4C9B587E796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615f28c3e10f513287a7ca474218f488ec5513d4","datavalue":{"value":{"entity-type":"item","numeric-id":4673541,"id":"Q4673541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268979e65b245765710efdfa08699552f79f8a34","datavalue":{"value":{"amount":"+0.7902417182922363","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":"Q6623792$0C15AEA8-EA4F-405E-AF39-8D7A6BDEF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb37409207f3617b72f0a6599c01ef7c1a74a1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4225120,"id":"Q4225120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c311ce192f36c952089ded912da963f0b4a0e9e1","datavalue":{"value":{"amount":"+0.7860428690910339","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":"Q6623792$E2A5B442-A5FD-4902-B910-97C6EB4C6AE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On logics and semantics for general logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_logics_and_semantics_for_general_logic_programs"}}}}}