{"entities":{"Q276409":{"pageid":278176,"ns":120,"title":"Item:Q276409","lastrevid":77606996,"modified":"2026-05-06T09:38:31Z","type":"item","id":"Q276409","labels":{"en":{"language":"en","value":"Reductions and saturation reductions of (abstract) knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576791"}},"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":"Q276409$DADCF39A-8469-4E9B-8616-6F1A56966607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f79eb604598b6a52c0c39c29f46780ee6cec0b58","datavalue":{"value":{"text":"Reductions and saturation reductions of (abstract) knowledge bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276409$0136250C-BDA5-4C28-A081-261DA1222B83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a600b9298622486cd77f4b1ce39ac90a0e3e0c87","datavalue":{"value":"1337.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$F0D366FB-3B79-4C8A-AAD3-64AF65C5A534","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb9fe92a06efb137ba268d44b69fcc91a245bc71","datavalue":{"value":{"entity-type":"item","numeric-id":221087,"id":"Q221087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$80ED8B60-A10E-41D1-9ECD-DBC3C5BEAA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab4645d847f6f940150ce34e5ab52bc266ea508c","datavalue":{"value":{"entity-type":"item","numeric-id":6129504,"id":"Q6129504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$953D395D-2900-461F-869D-1C391127CAAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276409$F6DA6560-FD6C-410D-808A-9C7B3307A3E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$CA0C266B-D7D2-4C47-ACC2-4FE0C0DF48E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$C91895A3-4260-47B8-A979-B49A42714E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56a141f7cbd286596e4bcc384f7f66672c9298ac","datavalue":{"value":"6576791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$A5FA86D8-7A45-4F2C-AA8C-A93841C609A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d9fb2b26e7d5559455c0330013b6cebfe35fe8","datavalue":{"value":"semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$183F9AAA-9014-4D45-8E10-1D57271E6E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$84108688-CE33-41FC-8F73-0B6E62C77431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$69C4577B-0B88-40C4-A8E8-DD7C4AC4B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b125ca9857b87b45acb1c197ed9a75f3b55d81","datavalue":{"value":"abstract knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$69B497C1-9C1E-420C-9149-FE92AA9D7BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e139649fd525672218828b7137bcacdd68992b3c","datavalue":{"value":"saturation reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$4B715921-5A06-4E0D-8822-E421BC5E1F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2a69137098850450d1a17ddf83d6c1a1704d1f","datavalue":{"value":"existence","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$84DAACFE-4B37-4F0E-81E6-0A723DAD8505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274d092672a414a51cbf1f9c6392a720be1e7927","datavalue":{"value":"core","type":"string"},"datatype":"string"},"type":"statement","id":"Q276409$A20E500C-B998-4A49-81E5-EE370B260093","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":"Q276409$066EC27F-7547-42CE-8554-83E7954AEF47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccf63b4d1eb0d41f3f77c116e8bf2954d4c5fc9d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q276409$906CC7BC-6F51-4FCB-812C-4673877DEE32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2257c6c091a847e5cad9afaa73667658d6c4857a","datavalue":{"value":"W2094012026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$CE129B71-F3C3-4ED7-94AC-C7C6CE7C637F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7fee7b6efda570ddb5b12d48798c69a6de0d8e11","datavalue":{"value":"Q113317911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$D1C22325-ECF9-41EE-AD77-07B7C4A7AA05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$00A38876-6E2E-4141-B550-2E505A007058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$D76591FB-B532-4227-B893-639ED92D46F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfbd155495720d1a99514c53428491aa56b433b","datavalue":{"value":{"entity-type":"item","numeric-id":2710088,"id":"Q2710088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$C5B28E01-7535-4E97-9328-810C94C1D83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4443d7bac3b6b0037240136da102c3a711b964","datavalue":{"value":{"entity-type":"item","numeric-id":1274279,"id":"Q1274279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$E0BF9A75-1FCA-496E-960F-DEC0E470437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$1FBF7972-6B61-48B6-97BB-A8A2528DCDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbae351310c6fbc174dc38079ec3b3d9eb0f8646","datavalue":{"value":{"entity-type":"item","numeric-id":867594,"id":"Q867594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$1477D942-6370-44C6-9EFA-4AD6BAE851AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320377565e2a55563cae1accc44cc979b3da067","datavalue":{"value":{"entity-type":"item","numeric-id":2372215,"id":"Q2372215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$AD6F4B28-9A3B-44EC-B94F-96D5D07BBD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba68cf996d87fe5c4f7447c7359401e3169e902","datavalue":{"value":{"entity-type":"item","numeric-id":1425266,"id":"Q1425266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276409$85D6E32F-1712-40EB-9F9D-4FD77F589672","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e52bd103261aa87cfdee15e6374107d04b53f719","datavalue":{"value":"10.1016/J.ENTCS.2014.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276409$40AD0864-9B5F-44B5-838E-69CF69CE3974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8281d2a6730dd46efd4a9f9a0f44648a527e16d","datavalue":{"value":{"entity-type":"item","numeric-id":1749973,"id":"Q1749973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d414b35c292113088691a35c49c252c03ee12c98","datavalue":{"value":{"amount":"+0.9090939","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":"Q276409$921E61B7-DAAE-4D27-845E-61DFD243E610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb1c5b2311e670300954e75a40aeccb0c619c24","datavalue":{"value":{"entity-type":"item","numeric-id":3638305,"id":"Q3638305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9105193688c697fedef796d4a6403df8341851","datavalue":{"value":{"amount":"+0.8714871","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":"Q276409$278538A8-0A2E-40A5-819A-B8DA6C10313F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf43a525a211160af15130b223a53d5717583109","datavalue":{"value":{"entity-type":"item","numeric-id":1198439,"id":"Q1198439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ed7bd4703d779a98e972e27cffdcb2addf42f9","datavalue":{"value":{"amount":"+0.866131","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":"Q276409$D617A862-6FC5-419F-A049-9948DFF01AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881df92df60e9be1d6f6cebcbb6fdcd09f527a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4932615,"id":"Q4932615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e840a7869b46af3d395267cb4c3f85d2dceab346","datavalue":{"value":{"amount":"+0.860977","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":"Q276409$1F932DF9-6B44-43C9-9F43-0FF4C91E9719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0d0b934809b08b5884f33de806fad4ec3ed72f","datavalue":{"value":{"entity-type":"item","numeric-id":3170262,"id":"Q3170262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832f1de6cd6dc88c9c533ea537e45e999c117d14","datavalue":{"value":{"amount":"+0.8565792","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":"Q276409$F2A423AC-CD09-400C-85F0-720545297BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8c9830c04e40683cdc96805306ec086cfff6aba","datavalue":{"value":{"entity-type":"item","numeric-id":1978452,"id":"Q1978452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8914bdf84d431df577a749e10fb9ce376b3505fc","datavalue":{"value":{"amount":"+0.8481642","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":"Q276409$87FF1205-3C10-4160-A419-9E8F6D99B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c08fefba6317d4dbc035fd23a01feec081ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":3573983,"id":"Q3573983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a343995e37957492b6c11500e4f7d16c3330d2","datavalue":{"value":{"amount":"+0.8468626","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":"Q276409$0B48454A-3203-4BD6-809E-ED02FFFC7CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011c10031609e1b9f78426578a94a7c4df8280cb","datavalue":{"value":{"entity-type":"item","numeric-id":5220288,"id":"Q5220288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e658d64eeb8af82d99c7d507a54bcd2530e4ce","datavalue":{"value":{"amount":"+0.8463007","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":"Q276409$D0946F5E-F3A2-4F07-AE33-4C4D265EC77D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reductions and saturation reductions of (abstract) knowledge bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reductions_and_saturation_reductions_of_(abstract)_knowledge_bases"}}}}}