{"entities":{"Q6120972":{"pageid":13255279,"ns":120,"title":"Item:Q6120972","lastrevid":57000144,"modified":"2026-03-25T14:34:02Z","type":"item","id":"Q6120972","labels":{"en":{"language":"en","value":"General Boolean Function Benchmark Suite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7809167"}},"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":"Q6120972$1850F74D-BD0F-40D8-BF45-C3B28EAB7910","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8f4a134419ebe3c528e79a9b4928e272e8daf8b","datavalue":{"value":{"text":"General Boolean Function Benchmark Suite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6120972$67A3A40E-6BDB-4955-A7FF-CEFAE90B4728","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75290db156c1f03c56dfdc58942bcc06fbe41263","datavalue":{"value":"10.1145/3594805.3607131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120972$C2FE0520-9213-438E-8DAB-C499C59239B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d477f91fccca9753b1c4d724efd482adc14f5f6","datavalue":{"value":{"entity-type":"item","numeric-id":6120970,"id":"Q6120970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$0EAB2BB6-40E4-4CBD-9AE4-F973F9A94FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23a293413e9c28b661f726a404aefac67d3c3d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2970250,"id":"Q2970250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$D0BC1AAF-95F8-43B5-8DEA-945F7215E442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85190ea5d1f0b5d413ebbcf06a37026a1c66e12e","datavalue":{"value":{"entity-type":"item","numeric-id":6120971,"id":"Q6120971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$7B3AF30C-E39F-4F8B-B336-3E974801F9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bd771045f55c27b670a369615dfd1db09e3c00e","datavalue":{"value":{"entity-type":"item","numeric-id":2086543,"id":"Q2086543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$B9596538-A9D1-4499-A6F5-82DA3A21E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14e9a5268bc5a2062e1f24f2b5f689cb92bcbfb6","datavalue":{"value":{"entity-type":"item","numeric-id":306098,"id":"Q306098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$C5ABD4D3-25BB-4B40-82C5-BDA08A143CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd9873f826f5617463885d46d48b173acd646fb","datavalue":{"value":{"entity-type":"item","numeric-id":836001,"id":"Q836001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$3C8082C8-0EA2-4FC9-9C1F-073ACE5C32AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2eedbeba5d225367b87a921dc1c34d6e016749e","datavalue":{"value":{"entity-type":"item","numeric-id":6120966,"id":"Q6120966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$474072DC-FE11-4F90-873E-5C5DED1E7BD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0e577acca6061328888ba7365d7ba637bb2ce80","datavalue":{"value":{"time":"+2024-02-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":"Q6120972$A8A98227-9F25-4870-87D6-8150CE96E009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120972$6EE57CBC-B4BE-4E4C-B182-E30E5961C1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3804cc9e144948214a41669006fa93d4662c80b6","datavalue":{"value":"68W50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120972$1C6E9F92-2081-41B4-8713-DEDF3FF9A2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120972$38295A1D-C817-411B-AD97-9D77ACB2FCCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d6fd193cdfde5893ef8b2a423d7b7f38e9b4adc","datavalue":{"value":"7809167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6120972$2032426F-DD9A-48B9-93F1-385235323C9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df8d1eacb6d602a0d2e74473db9982db22c7e30","datavalue":{"value":"benchmarking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120972$07AA8CA4-5B96-49A5-9FDC-C02DC30C3CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa13ff551626f2325b72cda4560ced4fb6f9f67","datavalue":{"value":"genetic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120972$E8BB803C-C9B0-4D66-9183-DF32AA3A3C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6120972$0B9D6BA4-178A-439D-BA77-036F9A5F32AF","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":"Q6120972$E086185A-F501-42E1-A4E5-3FE35000AE97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5ec6d5796f90cd0c42735a10a306c9b84e3a48","datavalue":{"value":{"entity-type":"item","numeric-id":3546648,"id":"Q3546648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$A6BE4BE7-87E4-47D9-9534-3B58C05EB341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73249cbefe66146a7b1ea002c808a4393e6978c3","datavalue":{"value":{"entity-type":"item","numeric-id":3081625,"id":"Q3081625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$AA46C2EE-B10C-4589-96AB-654DAFDA7E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea648a53d4a2b131b21f0e30e004e3aa3b5b260","datavalue":{"value":{"entity-type":"item","numeric-id":4570864,"id":"Q4570864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$80624973-F61D-46D9-B1BF-F514EB3C3025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea2b7c824737a00939a43ffb0c75dd2218569d8","datavalue":{"value":{"entity-type":"item","numeric-id":4729391,"id":"Q4729391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$63D057EB-5055-437E-B257-4D11F09650A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d86aea778343072a3160fb17bfd25242a00010","datavalue":{"value":{"entity-type":"item","numeric-id":4888830,"id":"Q4888830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$3020EBD3-6597-4997-8F33-CC21E4E97376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bce19df0ceda92b706bc5c3d18d076e909dae2","datavalue":{"value":{"entity-type":"item","numeric-id":5859012,"id":"Q5859012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$22071518-8BDA-4DD7-949C-0B6B9E6A488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb22f4b769d8f29bea7b70d851c1395d03438d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3493249,"id":"Q3493249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$AF8353E9-C2D4-405C-B3F9-005CC2C8B0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbb2f102deb45d52fcd8f3169768ec1d27a92a3","datavalue":{"value":{"entity-type":"item","numeric-id":5801661,"id":"Q5801661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$10A6FF41-7D0F-49E0-9D9D-0DBFAAE6EF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08dbe8ae17f4fd01092ce9b848ef48ed860cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":625113,"id":"Q625113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$19479AA7-7DAA-4733-8078-08989E215834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96657239fd127173f4b30678046794dab5ff550","datavalue":{"value":{"entity-type":"item","numeric-id":660082,"id":"Q660082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$58DF215E-FE26-4E92-8E5B-0116D10F3E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fb56948b6f16982e81109b3ab3708fd59eb29c","datavalue":{"value":{"entity-type":"item","numeric-id":4737849,"id":"Q4737849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6120972$5F4CCA1D-3EB7-4414-A01C-06F81ABCE8F2","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":"Q6120972$5BBCBFE1-0E11-44B8-85DE-4B7FFD056F8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6120972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6120972"}}}}}