{"entities":{"Q6918458":{"pageid":21013288,"ns":120,"title":"Item:Q6918458","lastrevid":84145673,"modified":"2026-05-11T06:39:08Z","type":"item","id":"Q6918458","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases for Boolean function minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8103926"}},"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":"Q6918458$07DA1114-26D3-49C5-BE85-E47BA560A1B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f1992353e1b6f3c9de1a429dca921f78901d90e","datavalue":{"value":{"text":"Gr\u00f6bner bases for Boolean function minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6918458$9E9A3CB2-4CB6-44BF-88E2-D14A3628B55E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0c30913f49c9f9afe7447463eebb33ebcce1c39","datavalue":{"value":"10.1007/S11786-025-00602-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918458$6A6EAC0A-CF10-4A3B-A7E8-676E19F7CBA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfd41778a187ee4c98aa0b3a2ffdcbe422e2bdc6","datavalue":{"value":{"entity-type":"item","numeric-id":6433525,"id":"Q6433525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$05A8166B-14B1-4CC0-A51D-11CF9A695EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c80d2df31b8ddc491af58f3d13f51f715163a04","datavalue":{"value":{"entity-type":"item","numeric-id":842492,"id":"Q842492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$4F1C356A-85AD-4675-AA1C-459DFE1C1987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$02DAD040-B08A-4607-8C22-A6871A20EA86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"564e8a6af2f00b2f2292327fb6099fe507ec5ecc","datavalue":{"value":{"time":"+2025-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6918458$4BF11578-5C7E-443E-875E-02D3FB1C65A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918458$EF0ADC46-FFE7-4FA0-BE79-D71617FAB91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918458$1817CA0C-F4A4-4A81-BE1B-8B8B302FD047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2275974ae884b0b458f4ecfb530c05293154585","datavalue":{"value":"8103926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6918458$8B88CE7D-29F9-4BE7-9BCC-D372B8A97BA2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$728D7B17-EF1F-4223-B912-940E4FA5914C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c855ab6f597c2e54a51f3f7cd76ad6e673f97541","datavalue":{"value":"multi-level logic optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918458$160BABD8-64DC-4121-BBC4-43B1C1967AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a4d57e870ec3fcdbd765fc2282aaf58e958c7f8","datavalue":{"value":"Boolean function synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918458$6CF39671-BD76-4680-88AA-3897ADE9780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q6918458$0930842E-4465-4AA0-AFA0-707CDCDE34D4","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":"Q6918458$52C1B771-0C3D-4B18-86DF-9BD600F042C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$B2DEC189-9928-4ED3-B1A1-6DC6E0D42549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7038edcb569e3a0303476a2740b60e11d10261","datavalue":{"value":{"entity-type":"item","numeric-id":3521905,"id":"Q3521905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$55411CFC-110B-40A2-BF85-20C670E434C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96eb372905fff95217379fabbb2cde4a7f97e64","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$01BAABEA-56D0-40C6-B914-4E9513BD37DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93c658de2d44ffa685be37c0ff9882760427828","datavalue":{"value":{"entity-type":"item","numeric-id":5758133,"id":"Q5758133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$35335510-1C5A-452E-9608-309CE70B0F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$32C380A3-BCD3-4A6F-861A-2C829489DFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$D9D83FE3-3622-41D7-AAB5-9C6BB8428A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c413a93d0e21c803f8365fbeefc235072bea876","datavalue":{"value":{"entity-type":"item","numeric-id":2225473,"id":"Q2225473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$46092491-138D-487B-B4FB-341F921A656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cd7b0cc2fe1e93d1b3664031733149aae245bda","datavalue":{"value":{"entity-type":"item","numeric-id":7025216,"id":"Q7025216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$AC72B7B6-F3F4-4FFC-8D04-4033A6C39390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$6B993C37-0184-4EF4-AE98-2E01EEC9B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f570a30b834cbf44f2301e9585bc742c3cbf9268","datavalue":{"value":{"entity-type":"item","numeric-id":2850015,"id":"Q2850015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$FDA61ABF-2FAB-47CD-BC06-978F56916BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$0DF71A5C-C98A-478F-970C-E70AF848054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$A38EB939-C5BA-4D9A-9A58-6B5EF9F52C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832e3ccd914223ef7a030ab6742847f050ecf758","datavalue":{"value":{"entity-type":"item","numeric-id":3341887,"id":"Q3341887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6918458$6889EF54-6D0F-4225-86C6-783E37436F81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases for Boolean function minimization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_for_Boolean_function_minimization"}}}}}