{"entities":{"Q4592713":{"pageid":6622298,"ns":120,"title":"Item:Q4592713","lastrevid":58297524,"modified":"2026-04-04T15:08:42Z","type":"item","id":"Q4592713","labels":{"en":{"language":"en","value":"Well-founded operators for normal hybrid MKNF knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803828"}},"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":"Q4592713$4F8241C8-B853-41E9-B8F8-015F928B7904","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f271f654d087e642c011444b4c3d07d1d9a5221","datavalue":{"value":{"text":"Well-founded operators for normal hybrid MKNF knowledge bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4592713$430A4DA4-F127-44B1-B81F-7BE9CD5A2BFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01b48befd156f2d6ce853e04d129ec6a7b5c57c0","datavalue":{"value":"1422.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$1D40D878-0FB0-4676-AB76-C54B0BD16FBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"654ad8cf1adb0336551979f08b464dde5307a9a7","datavalue":{"value":"10.1017/S1471068417000291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$20A31EA4-8CFE-4390-901C-31D583406099","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d68967a52c24d21505750875cb36dff65f1636e4","datavalue":{"value":{"entity-type":"item","numeric-id":465605,"id":"Q465605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$FEF90E9E-5700-47ED-A6D5-26837E49691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b69a840a3ed4ff10fd79faf47ee43d62dbbc0832","datavalue":{"value":{"entity-type":"item","numeric-id":501531,"id":"Q501531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$39B2445D-C3E1-41D6-B87D-8C1623B5CB05","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":"Q4592713$48EB1D09-E4AE-45BB-968E-09A12DAF11A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$F939C7C4-2EB8-4DC4-A49D-839200DED7C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2391d5f6fddbacd8a68a2758b6c133ddb0a14538","datavalue":{"value":{"time":"+2017-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4592713$8B5EB6FC-7520-47C6-A02B-5B7F012C2C15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0566d95c426439b921204f5a51c73dc5eee8cae3","datavalue":{"value":"https://arxiv.org/abs/1707.01959","type":"string"},"datatype":"url"},"type":"statement","id":"Q4592713$B8080B14-BBF1-46CC-9CCC-C94DFFA284DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$96461D9B-D90E-4073-AE15-95B7C1B7B628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$CB8A8C2F-18BF-4609-B062-97D5542BC283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$FF0CE8A6-A34C-4181-B0B4-255D2BC9C533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9368fa55782888e02a231a133af806ca20634aa","datavalue":{"value":"6803828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$2F515D45-D1D2-41AC-A752-D2C483BDD6E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f2808f170859b5572b232e8cf12373837d6fd1","datavalue":{"value":"hybrid MKNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592713$3EEAAFA4-24A1-4204-AF55-391B1451E672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05a7831e531e75b31a4af9070b239d7abd43620","datavalue":{"value":"constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592713$8509DD36-4C62-4280-94B9-7C54996D43A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e44072aa399376f803a42545ce841ff8431aa0","datavalue":{"value":"DPLL-based search engine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592713$0D8267D2-C56B-4FB6-ACEE-5FFA15FA3CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"298a756e921915e36c1e766193e7ea53e309101d","datavalue":{"value":"well-founded operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4592713$4E39D954-6E11-416A-8042-7347580728C1","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":"Q4592713$F8717644-26CF-4F53-812C-91B5A5CD231A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e41f35fc8e122de10f794d2ff33c720138ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3112638,"id":"Q3112638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$F2515CE4-24E8-43B1-9738-75BBD68D0A1F","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":"Q4592713$66D7B164-5266-4FC5-8EB6-5C4180B06762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$69D997AA-B622-4278-B655-876D6683B63C","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":"Q4592713$C4A63A88-CABF-4C9E-AA23-292590345EE2","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":"Q4592713$FB860108-6373-49C3-976D-51A3D76C74DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f7a9134e658e259af7b343ab5d0a31a19e0988","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$EEF24B1A-842E-477D-B55B-75526E63D429","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":"Q4592713$C8E76E43-9358-4223-877C-44A3CC7120C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$406B23B7-7F88-4D78-9035-F52C2612CBA3","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":"Q4592713$98331936-C01D-4325-8E03-B11755B3CC5E","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":"Q4592713$CBBDB621-757E-4393-8DA0-0FF147FCF477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$6A55EBC6-16FC-4083-9E01-D7E145F602A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$B617755B-8118-4CE7-B92E-E3911D5C50DC","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":"Q4592713$FA6FBC47-5261-4429-99AD-138D4AE53743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$BC12BFA9-FA85-464A-86EB-A5839F443F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd81fa3bb16547b9f0c5035c9a1681fb35f7c28","datavalue":{"value":{"entity-type":"item","numeric-id":604911,"id":"Q604911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$148904C6-D8ED-48BC-BF67-D479CCB0C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e1604a00628ddd7abdcaadf06538f9adcc20d2","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4592713$94C6F351-FAAB-489D-A485-7EC853456477","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cab831b331c745b0edd76ae93d054703bccd51a","datavalue":{"value":"W2963390246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4592713$C8E5B893-C531-4BCE-B1D7-2EB25BADD17F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571cfbf9dc41c02b85114320d63a371e328b1b29","datavalue":{"value":{"entity-type":"item","numeric-id":2946701,"id":"Q2946701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc0be2edfdf3385d084ce025a952aef5b6223d8","datavalue":{"value":{"amount":"+0.85920936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$2273CFBD-EF88-4B66-9E41-2BD676D38D0A","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":"f75d5e3a4b9f54e38cd282d178667cde821a71ce","datavalue":{"value":{"amount":"+0.8447232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$1226A0F0-020F-4C0C-886E-85F8BAA02AF6","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":"61e020f55a76354837f451fcbf74e97f8098e352","datavalue":{"value":{"amount":"+0.84059465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$3D3B7F07-31E9-4D42-9661-577F502BD2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3911b9e9c5769b4be0e1c0fd8392096d40208665","datavalue":{"value":{"entity-type":"item","numeric-id":5174583,"id":"Q5174583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aeb77accd1ac3238a31df09bf01f990960ece12","datavalue":{"value":{"amount":"+0.8372291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$7514687E-6929-408A-BB13-7A3FBE271444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaeaf1e8311e7528729c1de3294568546ae5017c","datavalue":{"value":{"entity-type":"item","numeric-id":5947353,"id":"Q5947353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178507046538893b4dfe3f9653f28536d34b4d26","datavalue":{"value":{"amount":"+0.8336811","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$C9CDB19A-B23F-476C-976C-E96E71C4ED31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb672a479c7427affc25fcff502e51f9aee89f6a","datavalue":{"value":{"entity-type":"item","numeric-id":2915049,"id":"Q2915049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d1d44559791ce03f2eac6a47a01a0c14cea6bf","datavalue":{"value":{"amount":"+0.83121616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$BB49F5BF-E052-4F63-A7B7-FFACB68CF38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990895257bdacde7d05ab5faa91fd0e146835dd1","datavalue":{"value":{"entity-type":"item","numeric-id":2297764,"id":"Q2297764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5708b8804fe7518c717ba39f403cfd213c37f8b","datavalue":{"value":{"amount":"+0.83054143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4592713$E93AFD77-C509-42D1-AF56-230EE39338FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4592713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4592713"}}}}}