{"entities":{"Q6182225":{"pageid":13317113,"ns":120,"title":"Item:Q6182225","lastrevid":102607256,"modified":"2026-06-06T04:54:03Z","type":"item","id":"Q6182225","labels":{"en":{"language":"en","value":"A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793281"}},"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":"Q6182225$87B8530C-6790-4C9D-A067-9DFDF8B43191","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82ecee597dba027b4aed2d09027c63ffecbe9426","datavalue":{"value":"1528.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182225$52BEEE96-A3B8-438C-A0D6-E9C98D089295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"830196da80f2240bfd3c7af74d7ae501cc62eb24","datavalue":{"value":{"entity-type":"item","numeric-id":6182224,"id":"Q6182224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$ED953958-C84E-4805-99DB-74BEAC1B075D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$C9270FAF-E3D3-40C3-8C2E-A425C2F0E685","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-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":"Q6182225$74F9B2EC-6785-48A9-A96A-F3424235332A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8d14d6e2c1a3e67206a7d672942d955409713e8","datavalue":{"value":"https://arxiv.org/abs/2208.03087","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182225$34D912FA-EB61-45BE-B545-1E4FCA8F923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d858a96a1ac011b97c34f37de17716c1c7d6abe","datavalue":{"value":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2022.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182225$E0905AEA-3FC0-4ED4-8EE7-85CF3D9BAF98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182225$47DEBE30-7EB0-4D8E-B190-3CB2B163A5D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"069ee32c34f859d5dac187ec9d018f64b99a3337","datavalue":{"value":"7793281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182225$B7B3AE9B-5C77-410B-8DCB-D1C98980C7FD","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":"Q6182225$6D38FF66-8D07-4B73-A8A8-091219094D54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$B7E33ED4-68CB-4F3A-B570-F176470DD79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522109033fbdc9cba73520db160020695f5ddb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2734934,"id":"Q2734934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$D0A699CA-7AE9-4BFE-9BB0-39F03394E53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2467f1b2221d034d0fe8a069e2133a347586153d","datavalue":{"value":{"entity-type":"item","numeric-id":598245,"id":"Q598245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$B4DAA628-8851-4AF2-9FEA-82808830FB7C","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":"Q6182225$C53D6202-8FA6-4360-B1B9-3C5A12612039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$C35B0E1C-BC87-4F0B-99A8-F4A20B5B7E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf97a87c24ec22461e93bd578586a7e0a19bcd6","datavalue":{"value":{"entity-type":"item","numeric-id":4592713,"id":"Q4592713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$913FD820-D123-44C2-AC0A-FDA660159F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e705a247f833e509a7838866f608205b03a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":646502,"id":"Q646502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$25E95283-35DB-497F-A7DA-40C91A9A86BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddaa8e0c17da8e06531adaa0adfd9aea2becfa39","datavalue":{"value":{"entity-type":"item","numeric-id":4012230,"id":"Q4012230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$DC152C09-5370-4502-9ED7-DE608131AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4764d0a9357e182156723dc53b0585308957f4","datavalue":{"value":{"entity-type":"item","numeric-id":1677437,"id":"Q1677437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$F8020BE2-AB2D-4412-8EA2-FC560B47A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a04b8bef58641f2b0393addac9e97a892f3cbe4","datavalue":{"value":{"entity-type":"item","numeric-id":6063882,"id":"Q6063882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$35ECDC41-D733-4FF6-BD22-30456AD7F015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e59bd53a837f83174d0cf6db91cf457dfa3ce63","datavalue":{"value":{"entity-type":"item","numeric-id":3579631,"id":"Q3579631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$56FFDE2E-2599-4D76-88FC-B8046D81E1EF","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":"Q6182225$DB90CA55-FD91-47E0-A770-88F9F0CC4179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182225$1F8BAC32-AB5F-424A-9AE1-46C436F84000","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4618cf8546422c37c26b87bee7d691454532ee85","datavalue":{"value":{"entity-type":"item","numeric-id":1677437,"id":"Q1677437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd732531ccdecf5777ba23398ae4b08749240e8","datavalue":{"value":{"amount":"+0.8098876476287842","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":"Q6182225$0C9CE655-9B68-46D7-94B2-22C110617652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591fa614436423fb8df7599e995995622b7ac752","datavalue":{"value":{"entity-type":"item","numeric-id":6063882,"id":"Q6063882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce289cb0f24012b0daeefa61f8bac29145cbdbbb","datavalue":{"value":{"amount":"+0.7693825364112854","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":"Q6182225$008AD598-2B61-4894-B57A-D6609A2F015E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2525492b837aa018f2f462b97f6c47aca81c3e","datavalue":{"value":{"entity-type":"item","numeric-id":6182226,"id":"Q6182226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf743b3b8939e4dcc61b98e2ebdfb4fafa725f5a","datavalue":{"value":{"amount":"+0.768307626247406","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":"Q6182225$74AC35E6-7DE7-4B2E-B70A-12388A0E7DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd4b05450b79a32cda6e5ac775401e0196b316f","datavalue":{"value":{"entity-type":"item","numeric-id":6488959,"id":"Q6488959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7265e0ed7058e28d272289a26c3195b8cdae479d","datavalue":{"value":{"amount":"+0.7645627856254578","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":"Q6182225$58F82CA1-B8E5-48A4-9BB5-AAE6328E9409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77fc4b6d28fd44b437b349f429f812b2f861aac","datavalue":{"value":{"entity-type":"item","numeric-id":4925173,"id":"Q4925173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3225e298f60c667ff949b511a90d6d360eced989","datavalue":{"value":{"amount":"+0.7236530780792236","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":"Q6182225$81D10C71-31EA-41BE-8A98-997AA3DE4FDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixpoint characterization of three-valued disjunctive hybrid MKNF knowledge bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fixpoint_characterization_of_three-valued_disjunctive_hybrid_MKNF_knowledge_bases"}}}}}