{"entities":{"Q3406691":{"pageid":3417394,"ns":120,"title":"Item:Q3406691","lastrevid":80404910,"modified":"2026-05-06T16:07:13Z","type":"item","id":"Q3406691","labels":{"en":{"language":"en","value":"Reduced Implicate Tries with Updates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673423"}},"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":"Q3406691$E4EB6F36-B61F-4B65-8155-68ADFC353B82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6782e8f5ca9ac698b792d2d0a6d7a8078ba62b8","datavalue":{"value":{"text":"Reduced Implicate Tries with Updates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406691$8F5295A3-DE71-46FA-80CE-4D169A963C2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cd801aef37a5073982866cb8fbf1bdadb9bda32","datavalue":{"value":"1193.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406691$FB54F856-68F7-45E7-BCD7-B4E64A0513F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406691$8A3B9B50-3E56-46D7-8F18-3C0BA08F5AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406691$1BF6FC71-3E4A-4540-A3C3-44D995EE13E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406691$0B0CEAC2-D5DC-45B7-8BD9-93C647BC4672","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406691$12961A5B-56B9-4DB5-AC2D-1C361E5646E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55082cf133717dd2a2ed9208b269c6ac04b14f90","datavalue":{"value":"5673423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406691$41D43C28-8717-4EB6-A815-0C8DFC8FF9DE","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":"Q3406691$40AF2E7C-A684-4598-8972-EFE89CA8FFB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb6c0835c979bd4d4e0bf77051c84055bfa1967a","datavalue":{"value":"https://doi.org/10.1093/logcom/exn068","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406691$3E19B59C-66A2-421E-80EB-711FEC30D6B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a7014ea07dfacfbd9304223505c65dfe4fd1e46","datavalue":{"value":"W2058101568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406691$56E3960C-E8AA-413F-9131-2C5DAF0C640D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"234ad096f819b8b46f59cf6b28bfdca2f53c4382","datavalue":{"value":"10.1093/LOGCOM/EXN068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406691$40D5B04F-3A5B-4DF5-91AA-A809014EFAC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406691$5F49BD6E-AAE6-4214-A98D-2FE5F6DB2009","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bef107d15a4013e15381519ec82e462fbdb523b","datavalue":{"value":{"entity-type":"item","numeric-id":5434489,"id":"Q5434489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f800c61f658d445ab2cde6aec77f9b004d70e790","datavalue":{"value":{"amount":"+0.97872895","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":"Q3406691$2C31CDE4-B01B-4764-BD2F-573A5002D002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b679b52ad94566ead0d50598774258930d8d502a","datavalue":{"value":{"entity-type":"item","numeric-id":877893,"id":"Q877893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05152a7c9a2d84e6b7646f0fdbbceb736814a523","datavalue":{"value":{"amount":"+0.87326634","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":"Q3406691$13558A0D-4790-4FCB-9B19-40C006863FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fe91492f8d107f5af311f1fe5b6cdea72f131e","datavalue":{"value":{"entity-type":"item","numeric-id":685503,"id":"Q685503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff37cbb6937a8ffcd4be1d6411c5d2a725111467","datavalue":{"value":{"amount":"+0.8032562","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":"Q3406691$5884FAC3-5218-4E41-803E-229427749E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9d01a1c6df6c5eb2c0010024c2d19af6fb631e","datavalue":{"value":{"entity-type":"item","numeric-id":3568273,"id":"Q3568273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05047a94b77c16614f7fb33a9b6baa3ae1d124cb","datavalue":{"value":{"amount":"+0.80310136","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":"Q3406691$101395AB-E440-404A-A257-4F0AA811628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3a84e9ea671a1e6c7f49af355377e0803a65da","datavalue":{"value":{"entity-type":"item","numeric-id":3449527,"id":"Q3449527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85665094ae0efb28310bc2e12bd33db2023112c","datavalue":{"value":{"amount":"+0.7874914","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":"Q3406691$EBAE5737-FE80-4586-993F-6BBF4F2E1E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff94b5d311af514d032608520a83bdc18b175bb3","datavalue":{"value":{"entity-type":"item","numeric-id":673482,"id":"Q673482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c30f92d187902ebb1baa684d018b2cfe9f7aa88","datavalue":{"value":{"amount":"+0.7867124","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":"Q3406691$A0A5F74B-2C7D-4972-A387-7284334B4D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bba0a87e477e4ca0ca5dfbaf6db82708e465ee7","datavalue":{"value":{"entity-type":"item","numeric-id":2767111,"id":"Q2767111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e343820457a88ee4270fb64f468b07c88f11df63","datavalue":{"value":{"amount":"+0.78669536","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":"Q3406691$F06D25D8-5075-41B6-83A9-650B75AD039A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduced Implicate Tries with Updates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduced_Implicate_Tries_with_Updates"}}}}}