{"entities":{"Q673383":{"pageid":675232,"ns":120,"title":"Item:Q673383","lastrevid":46765095,"modified":"2025-12-25T13:27:45Z","type":"item","id":"Q673383","labels":{"en":{"language":"en","value":"Multi-valued logic programming semantics An algebraic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985540"}},"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":"Q673383$E5E5F817-1D45-486C-AECB-370D28DD8DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88a87950b02bf043701768cbcabc49c4f6ac3bf7","datavalue":{"value":{"text":"Multi-valued logic programming semantics An algebraic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673383$837755D3-7A64-4CED-9C66-5F8BBFFE7BFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bff6e045d429e52338606dc0ec2a0385f054deb","datavalue":{"value":"0874.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673383$EF348EDB-BA26-47E2-9DB9-4ACAFDC4C274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"022a33d6cabe8960566a94e1e49ae0695cb1157a","datavalue":{"value":"10.1016/S0304-3975(96)00126-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673383$B3893A8E-2890-4590-B082-CA6FC2518CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63bebace59719d1f724763750cc04d3dfb339227","datavalue":{"value":{"entity-type":"item","numeric-id":673381,"id":"Q673381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$3AA9A094-F39B-4474-A0BB-7A886BE085C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a53629355a87f6eb2c4dceb6664166a14249140a","datavalue":{"value":{"entity-type":"item","numeric-id":673382,"id":"Q673382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$3209580A-7970-4584-94E6-13E2FC7C63CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ba637809b53e4790813aa0d55f52c072a29a3af","datavalue":{"value":{"entity-type":"item","numeric-id":235683,"id":"Q235683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$4A0D802A-8A0A-430D-954D-BA2DEDD54708","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":"Q673383$2BE62217-E6C3-4B3A-A0EC-9D0005E4E3AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673383$6DAE72F2-D80C-44E4-B4B4-FE5DFBCD313F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673383$66682C47-62FF-473A-AE51-B49185ADE8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673383$6875CE38-09FB-45BE-8D47-1BF3FA1C0261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e551723e6ba85cc84395430115ae3604ec7777aa","datavalue":{"value":"985540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673383$9436DB78-35D8-4298-884A-82A763ECD230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q673383$F39ED0AB-D3DD-430F-9232-F47F90082BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"522e0b9cf83689a5c7350ef17c0ca0290dfe87a0","datavalue":{"value":"join-irreducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q673383$CC1FBE82-DB82-47F4-9048-FD4A0B6A5088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733b3864b2e289419346b04e496da3a7a333fdbd","datavalue":{"value":"bilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q673383$3ABE1E08-32D8-4B3D-B012-8CD7DE5621D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q673383$9F30EDA1-CB30-4C8C-845F-A2A7BE434D9A","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":"Q673383$25B29B02-E93F-48C1-A40D-DAA9382DA3F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$A8DC7A42-F03F-40DD-873A-820CDE0E28E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$D66C3CEB-B2D0-44EE-BDFD-4E8124A18A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$0C97F663-C9BA-48B2-B7C2-FF519757F7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$255BAD20-0EAF-43CB-BAB5-50CBD82451A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b322b21737439993ed802c9ad41f82daf1dd1ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1077925,"id":"Q1077925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$F7DA149F-10A4-4D71-A828-41B50244EEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$C4C35D50-D03D-4F4F-9FB5-4BA2034D82A4","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":"Q673383$AA7933FE-7327-473B-A267-D95801CB8955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"553e5be152c189af4d114498bc84cff5e95b5d78","datavalue":{"value":{"entity-type":"item","numeric-id":3204031,"id":"Q3204031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$A8973861-01E3-4380-9FB1-64A1DFC7CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69a1b0696d3d19ee0dc3aad945f1b6fcdf0a0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3792274,"id":"Q3792274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$C67B25C2-59F1-49EC-88A0-D696C37AFF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903f9f52eef04d94cfa524ca594f47f356bcbc56","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$1E85FB17-AC3E-4F90-998E-394C48A225BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0f4aecd8fe96a47ff9e981931f2977397d21e1","datavalue":{"value":{"entity-type":"item","numeric-id":1202168,"id":"Q1202168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$7790925C-7DA1-406A-AB15-B2BD8D9DC064","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":"Q673383$840891FB-D238-40DE-AE7E-9111586CC40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$DE92D305-D032-4EC9-A732-CDE3B7C6B1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6120c83a66928780ad0445e8b6923c4b70f9f109","datavalue":{"value":{"entity-type":"item","numeric-id":673383,"id":"Q673383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$59072C64-A9A1-4E72-82E4-E89C68AA2D66","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":"Q673383$2D7AC740-F86B-453A-84CC-9B273E42D371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$46577253-85A2-4C70-A29E-86D28E80ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af729b550ee6c261d9eac063873d8417ce43bae","datavalue":{"value":{"entity-type":"item","numeric-id":673380,"id":"Q673380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$9B581AE0-AC76-4296-B3A3-7057F64EADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f5b57336e5f2bc922c7f31f958263e5ce7ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":3750144,"id":"Q3750144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673383$75CF0761-BC98-4CED-ABE1-37E8204E1CFD","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":"Q673383$35F4A570-64A3-48D7-9E62-0723A16DFDCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6065844706c05aff78f76e09bf4765703d4bf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3983121,"id":"Q3983121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffa28fdbf00fa32ee74c8c54dd8c584cf183983","datavalue":{"value":{"amount":"+0.7796242833137512","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":"Q673383$31A4B46F-4521-4F55-BFF1-89F738392508","rank":"normal"},{"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":"32bc5b07adb4c86b7306c8a59f66027cbbadf2ae","datavalue":{"value":{"amount":"+0.7788706421852112","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":"Q673383$A0A027D1-0FE8-453B-9E5E-61BE5BF50E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a337b1269b880723d45aee5d712544f52bc918","datavalue":{"value":{"entity-type":"item","numeric-id":3024976,"id":"Q3024976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae0b7bd2686afe3a642eb6d7ccf2b1ab3a89d6a","datavalue":{"value":{"amount":"+0.7715117335319519","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":"Q673383$5DD01807-5C85-4D12-9072-2A1E8E4D9C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b23ceeb3908b83516ae230521c3df363f0c0dec","datavalue":{"value":{"entity-type":"item","numeric-id":2353941,"id":"Q2353941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b91e7f8318f754d1fffd07b6fdb2439aceb899","datavalue":{"value":{"amount":"+0.7684261202812195","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":"Q673383$CBE65CB2-467B-4FF2-8501-48348C84CABC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673383"}}}}}