{"entities":{"Q4982058":{"pageid":7011636,"ns":120,"title":"Item:Q4982058","lastrevid":52231265,"modified":"2026-01-21T05:18:44Z","type":"item","id":"Q4982058","labels":{"en":{"language":"en","value":"Sound and complete SLD-resolution for bilattice-based annotated logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418431"}},"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":"Q4982058$F7612A45-ED51-48CF-98EB-50E5C6D09BE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e29e6331bf7039e6adc5711dba3d674a344134e","datavalue":{"value":{"text":"Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982058$6492A637-F38E-40F6-85CB-2338A5D5E8D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef649ec7b28abe09f918a4f003f9e18ab0dbbf58","datavalue":{"value":"1336.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$0BA650D6-7C7D-43B0-A5C4-3320EB8346F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$8CA62116-BD56-4519-BD49-558C3425809E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46084c0cca4c70298f0aae77250f85fb8ee886bc","datavalue":{"value":{"entity-type":"item","numeric-id":1427779,"id":"Q1427779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$E0D2C609-C1D2-452B-AD63-F947B1DC234D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$3C23BFE4-09BD-4860-9291-E5905BCC8D28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982058$BC4FB862-A29C-46B0-88F4-C790AD86B6C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$CE9CA731-8471-4C02-B228-DE19092B983D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$D580EA3C-7136-4778-A985-6D2BFD6B8FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$A246E5A5-0576-44CA-8509-4323CA4C343A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1188e627232f29660e234d92b90106633cfa4fc7","datavalue":{"value":"6418431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$48432E49-8659-4721-ADE2-BC2B330FB430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a795a60240aa50c3578533ec460e1cb8c4618e","datavalue":{"value":"annotated logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982058$78633313-8C30-4725-AEC1-D232D1AA0082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733b3864b2e289419346b04e496da3a7a333fdbd","datavalue":{"value":"bilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982058$BF25E99A-C46C-47A6-A1D3-0702790E7F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982058$88871E28-FE55-487E-BD84-A6D2F230EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982058$34FFC239-A7CF-456D-A8CD-E3FACF37C9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982058$4127064C-803A-4EA7-A58C-231A6D47E2F8","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":"Q4982058$7686746D-FAAE-4137-9411-E82FF6668F73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"884d22607a0bf959c2a7ddeba11d7f10a6bbd7cf","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.071","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982058$6ED6F588-C357-4746-8C0B-9E9FF6130244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41663f3852813a281f7774eefce0536fa563af08","datavalue":{"value":"W1996595767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$4D194664-A8C3-4E4C-A947-7AF411C68E06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf44227e8b3fc23a0ac076e5ebe6ca74f6f731f","datavalue":{"value":{"entity-type":"item","numeric-id":1813497,"id":"Q1813497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$ED4BF946-C759-44A3-889E-7D7BC7727F49","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":"Q4982058$FA104E5C-6121-4B7D-B785-688E87D35BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$3091703C-430E-494A-883A-F6E2059B7E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce7703f54181fe1f7b003e9fcec0b7d8ea4f1ae","datavalue":{"value":{"entity-type":"item","numeric-id":4281690,"id":"Q4281690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$545E2CF8-2696-424E-8A0B-E632A2273BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00170af4442605a1b4cc730ce70e6e0cbae4d54","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$7E1E6BCB-B794-471C-9362-EC382D1A4150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$E537D9F0-9CFC-42FF-9D89-42D3B8D7C235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f5c33bd8b11407b0f286e5f5d67f951fd1bc29","datavalue":{"value":{"entity-type":"item","numeric-id":5434488,"id":"Q5434488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$822E286D-4486-49C9-9202-DE021D56C34F","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":"Q4982058$9534E396-239C-40F7-A99E-9A6D7B7BFFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc5c4d092fc564d0967734417893fb0bb6660cc","datavalue":{"value":{"entity-type":"item","numeric-id":2785669,"id":"Q2785669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$1065E804-7538-4450-A132-D800D0AD7100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f302ec958b0d15349e6e6048eb4175e963ace8e6","datavalue":{"value":{"entity-type":"item","numeric-id":1272603,"id":"Q1272603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$30A5821C-43FF-41E4-A774-E8BE3391E968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11583d3aebcdb773eae6f7f1f6c17692b0194b61","datavalue":{"value":{"entity-type":"item","numeric-id":5692880,"id":"Q5692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$29C077DE-5EC4-47D2-B8EF-FB29C1AAEDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e32a8a1a7377530f0354a56d69875753a5464","datavalue":{"value":{"entity-type":"item","numeric-id":1207942,"id":"Q1207942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$1A9C0D09-B68B-4A2F-98E7-5F0B7FCD3E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7515aefb536509400d3a916b3da4e4729552666","datavalue":{"value":{"entity-type":"item","numeric-id":1607217,"id":"Q1607217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$513C8AC2-BB61-4844-A495-501B8041675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05775e1d1f40563f3ac873690861e4dbbd81f635","datavalue":{"value":{"entity-type":"item","numeric-id":5473751,"id":"Q5473751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982058$F2D455D2-8419-4ADB-94A1-4CAC612F657A","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":"Q4982058$353D7831-2199-46D8-9BE3-108A7EA3DE2D","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":"Q4982058$2ABBA381-EE4A-41C8-BF06-F1A68C8BC186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb7a8d122ea95d3c0835aeb5c6f7aa93dedd99b5","datavalue":{"value":"10.1016/J.ENTCS.2008.12.071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982058$06C60A56-9D3D-46E6-BAB2-71382EB28D1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a9b34558946f2b9a9a3fcd6841fb11a27a2c1f","datavalue":{"value":{"entity-type":"item","numeric-id":3532471,"id":"Q3532471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7bc00c19b6e69ab259bc0940fb547dbdc7bf4d","datavalue":{"value":{"amount":"+0.752903401851654","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":"Q4982058$841408C0-F337-4E55-9F9F-66BBA612E53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f642b07da42747c9fb6a9c13b0b55ab5361ae2a8","datavalue":{"value":{"amount":"+0.7500377893447876","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":"Q4982058$D3F7155D-8B5D-48EC-8AC2-DE69A97A8F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ecd637a1b9c751b1d64fb381bd6987b8798ba63","datavalue":{"value":{"entity-type":"item","numeric-id":1568489,"id":"Q1568489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b74acc584c9248142511af259f5284a89a7d3d","datavalue":{"value":{"amount":"+0.7483283281326294","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":"Q4982058$A454A5AD-9274-4193-9AD0-A33E078E113E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ec9a7cf6779a4cb91769541faa44254e614d10","datavalue":{"value":{"entity-type":"item","numeric-id":1193890,"id":"Q1193890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8887ddaea5526c2c9b622601715b03622789778b","datavalue":{"value":{"amount":"+0.7445672750473022","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":"Q4982058$8BE6E566-94C8-4515-9F7D-5BF9C8950EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124cda1c853ed5dca4011a05def0f37d71236f20","datavalue":{"value":{"entity-type":"item","numeric-id":3404325,"id":"Q3404325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f7d131505dc84534e1df7101e2dc473ac9d9bc","datavalue":{"value":{"amount":"+0.7437769174575806","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":"Q4982058$B675C400-5FC6-43DC-B9F6-0887C10378D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982058"}}}}}