{"entities":{"Q5020543":{"pageid":7050120,"ns":120,"title":"Item:Q5020543","lastrevid":55397149,"modified":"2026-02-17T15:29:57Z","type":"item","id":"Q5020543","labels":{"en":{"language":"en","value":"A three-valued semantics for typed logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453101"}},"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":"Q5020543$7681C81E-C19C-4EB5-9C80-7B97B6EE9C6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020543$06DFA913-56C6-4557-8F97-93F63CC80E5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e350148e3b7800ed2cefc08e8d435f89dd6aeff","datavalue":{"value":"https://arxiv.org/abs/1909.08232","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020543$A3E87254-E78A-4DD6-88AF-E4CF03A9BC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"882cb90eef0cd1247b7e6bdd4b24868bf15a8737","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020543$2BA74F48-A69B-441A-8F79-0C6A0C152C76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020543$16430B8D-D112-4A1D-8A07-9573638DE120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fc1e0ba0e948caa99868d826b15625a7523e391","datavalue":{"value":"7453101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020543$1521B5D4-DD0B-46BD-B008-BA25A8CBE6C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adecf1248d62f0ca239433953e8240b0639cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":20976,"id":"Q20976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$A4569008-1BB7-4566-B558-9410827D5C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$06307FB5-3AB2-4534-A147-3303F3C83DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$F05DBD89-9FC1-4CF8-85A8-892D174C5152","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":"Q5020543$3F180CD9-50A5-478C-9D63-E7212A7EECAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07709ad83c4cde14d48459b0e20bad4b14e3e47c","datavalue":{"value":{"entity-type":"item","numeric-id":1208426,"id":"Q1208426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$6032B7D1-2540-4CED-85DF-E23C6219D7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6859974629692e7f7ae9e880660fa35ccbfe1205","datavalue":{"value":{"entity-type":"item","numeric-id":2966524,"id":"Q2966524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$CD3C6F10-C821-4E6D-86E4-B0A37E8BA0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$FE8F51C9-AB8C-469E-A00E-11E04D89E808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c2b7fb3b5dbc3348fa37c766d0de3dcb7f2bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$D50FEDC3-EE75-4E6F-845A-5DC3E473DB71","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":"Q5020543$864D889D-24CE-4FF8-8340-9EC43E98CC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247970768287c87e9f32f6c332759567139e2cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4916076,"id":"Q4916076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$BA300978-7DD9-4BFC-AE36-CC38D85B3824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$6A7CAF0A-FA1A-4BA4-B8E0-65F19EA759CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$F48249F8-A24B-4D80-919D-B4509D40B1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$04E7534E-3ADB-418B-86B7-35DE39B5C23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$0EED04F3-00C7-419D-B24E-388821D0E05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$DC8D0A3B-C01D-42AD-A403-C949FA18045B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$696CB031-C24A-4119-9D4D-AD75C156EA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b944e59a2167b9b9238f722329ee3461ab7e0c04","datavalue":{"value":{"entity-type":"item","numeric-id":5482275,"id":"Q5482275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$686BF2D8-DB0C-4DD4-8DF1-513DC82D2377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc38e0f12dc12bf9a3a54e9bb80ff6e58fd43788","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$32DAE6D6-6853-4F87-A905-A8CB9983FDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$7B7E366F-9508-41F4-9F32-896EF10F1AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0877ba4aca119dec904804ed9ebcc5ae4702de24","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020543$D2554953-113F-41A2-B963-830A806523CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b4b71f34a593219610bd179be8ab9818b436cb","datavalue":{"value":{"entity-type":"item","numeric-id":5482275,"id":"Q5482275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d600a8e24a5271691ab9e1c79e4ec83e3abae19","datavalue":{"value":{"amount":"+0.8196239471435547","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":"Q5020543$C1E62D31-57A7-43BB-92BB-3B8F29DCB2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35c440f0f0a0e9f399e06422d03fb94f9699c26","datavalue":{"value":{"entity-type":"item","numeric-id":6103019,"id":"Q6103019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7956c955268a90c2371d5c95135aba2c52df4cdc","datavalue":{"value":{"amount":"+0.806845486164093","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":"Q5020543$D9F63194-3414-44FB-9381-9F302843A27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e78376902b3e7b02d2c80b765b954fcb85c79b7","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4351fc36e3a969e7e5be716a9b7060b9ab5ce62a","datavalue":{"value":{"amount":"+0.767829418182373","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":"Q5020543$779295B7-C4A6-4B6B-B7DA-1F2D8BB73788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5306b390db309186c37f8f3e60d4f2bccfe2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4282517,"id":"Q4282517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764e3bd7217d1f0e21f42007e01927a19775b8c7","datavalue":{"value":{"amount":"+0.7506539225578308","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":"Q5020543$CCD44E1A-7198-4AAD-B674-D52F3966789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597d0457517b42418b494156a76d5bb49d8a0ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2933087,"id":"Q2933087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70ce2598f06104dba0860efc84fd94654d21d9e","datavalue":{"value":{"amount":"+0.7494319677352905","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":"Q5020543$347DD8B4-1EC5-4AD1-8FC4-A5BBCEDC4750","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020543"}}}}}