{"entities":{"Q6182226":{"pageid":13317114,"ns":120,"title":"Item:Q6182226","lastrevid":102607265,"modified":"2026-06-06T04:54:04Z","type":"item","id":"Q6182226","labels":{"en":{"language":"en","value":"An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793282"}},"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":"Q6182226$3A0EE2D0-1436-4BB1-86B5-E5D9984DA6B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e45a98632c1a669c197d1a1ada1a786869ecb7c","datavalue":{"value":"1528.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182226$84262A1D-3DD4-47F3-BD5E-B34A33920C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79522d80875e707d0dab6f28d9451bb243141953","datavalue":{"value":{"entity-type":"item","numeric-id":421473,"id":"Q421473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$00E84B01-EAA0-4F08-A651-C76DB5AFC1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58acca8689ffb2cf6b64b513a5875036d443f42e","datavalue":{"value":{"entity-type":"item","numeric-id":1653446,"id":"Q1653446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$8F8064B3-6E80-4302-A58F-56E1894BB598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e6b99038792d9e71582d3a141db4768ddf7469","datavalue":{"value":{"entity-type":"item","numeric-id":313121,"id":"Q313121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$DFFC6143-8115-4148-9144-5A92579B5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$27E6DC16-3E46-426E-A5EB-F08119ABB73E","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":"Q6182226$DE300AAC-D5E4-457F-AF8F-C672CCC0D791","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ba28829946e60c64529b658cf34ee3b263e5b34","datavalue":{"value":"https://arxiv.org/abs/2208.03092","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182226$7C0E726A-B99C-41EB-BE28-E5B6FA21D0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d1918dec5bc22d651c51ad4c44b988a7ddda5e8","datavalue":{"value":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2022.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6182226$EDA6C000-7B4E-404A-AF93-8EDA00CB1FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182226$E34874CA-C81C-47B8-8A5D-43E5D82D524C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182226$79E67E1F-6883-4DD6-8525-D2833554EA0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f80a6363801740e55fae6fbe1c20d85fa2d571e","datavalue":{"value":"7793282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6182226$8A951780-37CD-4077-9062-69D2900C36F4","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":"Q6182226$510E1CD8-652E-476A-80AF-E6454B04B466","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"927e3c426d650ece24ad0e4edd7f58a5c5a4538e","datavalue":{"value":{"entity-type":"item","numeric-id":3092311,"id":"Q3092311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$F19B0E9C-0B86-42EC-B98D-62E3FD5225E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$95F516CC-055C-42C9-80C2-CA6EDDB9E79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3015d011b718c45dcc4cd7ed7a347b9d253184ec","datavalue":{"value":{"entity-type":"item","numeric-id":2674209,"id":"Q2674209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$9BF53107-0190-4782-931E-A1FC75B9C2CF","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":"Q6182226$FA0B718A-3749-4959-BD30-6DED6655C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$09E5A11D-6DAD-4E03-99B9-121D6FB4A45E","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":"Q6182226$9C5FD1FD-D24B-4C64-BC8F-E6A2C6C8A017","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":"Q6182226$2FB55602-0C03-4295-936B-4170F4BD40EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad9a0067c8bc9b42076800844181a83049d4b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2401940,"id":"Q2401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$78331FB8-1F4F-46C1-AA48-32436654DC3B","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":"Q6182226$D0072AA3-128D-4EB6-B158-2BCE8282F1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f10505ea9cb39bb01e3f13c3bfc90853d581bb","datavalue":{"value":{"entity-type":"item","numeric-id":3087434,"id":"Q3087434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$6C184478-7A97-4BE7-9774-9BCCC42070BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54535dfd19b4ccd19c6d28861dadcb14acfe5d31","datavalue":{"value":{"entity-type":"item","numeric-id":1653448,"id":"Q1653448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$EFC0B439-1D7B-40CE-B5C4-B836BDE17B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6813f09c832d97e1afb8979431938adc9c3a21","datavalue":{"value":{"entity-type":"item","numeric-id":4957185,"id":"Q4957185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6182226$B4A6C4E2-A117-49C5-8B9A-D7F1623D899B","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":"8259d93003605d2001867cfcdb3417eb1b28837e","datavalue":{"value":{"amount":"+0.7880018353462219","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":"Q6182226$01833542-06F8-47B9-B5D8-5487D0985337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bc800b05469a415ea596332eb3129da7bc8942","datavalue":{"value":{"entity-type":"item","numeric-id":5215372,"id":"Q5215372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c3ccba624025eec8ecc371bd91612c8cb1f998","datavalue":{"value":{"amount":"+0.7756531238555908","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":"Q6182226$F61689C5-56B1-47EF-AE39-6EA9562D3150","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":"3093ed78d75eddd9f5f6bee65b78f6f3eebdbd0a","datavalue":{"value":{"amount":"+0.7700278759002686","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":"Q6182226$EB200FB5-DCD1-42AC-B1A2-50DE6364DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6b4c3fd9410ef29162eaa9f049427212d9d2f9","datavalue":{"value":{"entity-type":"item","numeric-id":6182225,"id":"Q6182225"},"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":"Q6182226$B312CF3C-E56E-4F17-AD31-CFC335F298F7","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":"fb88192742a1de24dc28088e757558e4ea47d849","datavalue":{"value":{"amount":"+0.7571553587913513","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":"Q6182226$C1D1A2D8-A978-43EA-A93E-6C7F4D3FAF0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An iterative fixpoint semantics for MKNF hybrid knowledge bases with function symbols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_iterative_fixpoint_semantics_for_MKNF_hybrid_knowledge_bases_with_function_symbols"}}}}}