{"entities":{"Q3983121":{"pageid":6012993,"ns":120,"title":"Item:Q3983121","lastrevid":42217635,"modified":"2025-06-02T12:01:29Z","type":"item","id":"Q3983121","labels":{"en":{"language":"en","value":"Bilattices and the semantics of logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 25322"}},"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":"Q3983121$3FE765B2-5CC4-457A-9B40-F20CBFEA1655","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e199bd8cd580bd2fcdbbdb5b044d528d23dca2a","datavalue":{"value":{"text":"Bilattices and the semantics of logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3983121$5504F0F6-6438-4954-8B9C-7F12B7BAF85D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cdb479627e24969888f41cc463c8a3b27cb4b06","datavalue":{"value":"0757.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$F28764F8-9E3B-49BE-BE5E-F094C16FC419","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcd6ff84f0ee1f4401990cc709c29de45630b414","datavalue":{"value":"10.1016/0743-1066(91)90014-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$8B3E77F5-C61E-4A45-9DCC-3805BEA3B4CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3983121$33A14B63-CFD3-4E0B-BE9C-96FF5D62F499","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3983121$415DE366-B1E3-40BE-A855-E073DA581E27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3983121$2E95A602-892D-43E6-B246-3C162E5A975B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$69D84205-C8CE-43A3-8AA6-46FD78573B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$C2DD8E6F-906B-4579-BBD4-C11C3666D447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$1C573B77-D3DB-400E-BF7B-4B814F106B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$CB321441-5568-44B8-B275-A533F966442C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18ed36bd4628db0d8db5a1d28f536e84eb44cec5","datavalue":{"value":"25322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983121$CDB6283E-5C95-47EC-A9C6-DDD7B22FA709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1fdb120290cff4c38a8192c566a7c8dd3cb4136","datavalue":{"value":"Belnap four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983121$EFC7B383-0AC5-40F2-A67D-988B5489F403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c14469db39a36d37a387517d9aaf7ac9f1f2f38","datavalue":{"value":"fix-point semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983121$B33FCB49-3642-4981-AC29-CD4EED4AC6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733b3864b2e289419346b04e496da3a7a333fdbd","datavalue":{"value":"bilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983121$C6CAD2BD-D306-4264-91E0-B825F6A7F8E7","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":"Q3983121$02281918-5225-44CA-8AA5-B4BB10A5BA8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c901fb1e39cce067815e4dd70bc960e4266ca8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3792274,"id":"Q3792274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3b8c8b2b43532822e88a8ba512f71a5a3849a9","datavalue":{"value":{"amount":"+0.8261164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$3F042C12-86B9-4C15-A12E-080E83CBF36F","rank":"normal"},{"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":"44ace0c3ed76e8d7bef9b0c94593ba9f0484215b","datavalue":{"value":{"amount":"+0.82103026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$80393FBE-4502-4BBB-A1D1-1FAF3C2C8DF9","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":"1bd2e0f8ac550b50a1b0f2e2ee9ae42bbdd3d184","datavalue":{"value":{"amount":"+0.820861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$E81E951A-8DF2-42FD-9AB3-A49463234C49","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":"e6481bf294d05b24f46fa5b2f63231741c1fbd20","datavalue":{"value":{"amount":"+0.80380106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$B879D8D9-DFD9-47A2-A4E3-A288AD038D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae991310c4eaa2d67c30ac0b2bc5888ba480b86b","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c3af49e8bcf81ef88b1aaee50e17c8a0a721d9","datavalue":{"value":{"amount":"+0.8023125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$2B71BD3A-1D0B-45A2-8C4B-77EC5D2DE73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aa7d98a6126bdfcfaef6b09c5101f2d3a30b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3768016c1e0c1ff7ea282fa0fe19d08b8b676a25","datavalue":{"value":{"amount":"+0.800179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$55162C43-5377-41B8-9A83-9D692E4F4F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fbe325a90e09a428c2a62fa9c2e825386cc2e1","datavalue":{"value":{"entity-type":"item","numeric-id":2104537,"id":"Q2104537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2324aadac0c882a182c8cc3d6535b9ec53942289","datavalue":{"value":{"amount":"+0.7856175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$57DE3EA3-3545-4BA5-9AAE-499359C91EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d84ea3386319ad5b8ba6871f89a32b8488c03502","datavalue":{"value":{"entity-type":"item","numeric-id":4340541,"id":"Q4340541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e0601a2d01903dc93f752c195db02891e590ae","datavalue":{"value":{"amount":"+0.78044975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$A82E0197-94DB-4033-B91D-9096D2C76DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deab398ff342d4f68c6639727706488dd98b6fc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e57e162bd36d84da4df57929670129c4f17ea3","datavalue":{"value":{"amount":"+0.7768525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$F7E2725D-1620-442F-80EB-C2589B8AE802","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":"8052167e4cbc165b0511b538b62c617ca2b8eeac","datavalue":{"value":{"amount":"+0.77608365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3983121$ADC74C0F-7D71-410A-99BF-4171D8F4F780","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3983121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3983121"}}}}}