{"entities":{"Q4777257":{"pageid":6806837,"ns":120,"title":"Item:Q4777257","lastrevid":74455749,"modified":"2026-04-14T22:37:59Z","type":"item","id":"Q4777257","labels":{"en":{"language":"en","value":"Generating Test Examples for Heuristic Boolean Minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3453561"}},"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":"Q4777257$1D2B9C8D-CE3E-4F8C-9976-C7AA6FD91E51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe59913f12908283290a639b3494c49e9ece896d","datavalue":{"value":{"text":"Generating Test Examples for Heuristic Boolean Minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4777257$1FD5B40E-DEEC-4647-ADCC-D3F486237C7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"200bf177bad514d9ea775bea162a1939dcd9cf23","datavalue":{"value":"0289.02010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$AA19D189-6F5D-4786-8CE9-3A79E855985E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88aa206f905672532b639b54092214f856c0e25c","datavalue":{"value":{"entity-type":"item","numeric-id":3050333,"id":"Q3050333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777257$43A36ED8-F1AD-4E2F-A9CE-0BB3C39D559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fd6861a54aa9e35ae200453e391b7a20d83f877","datavalue":{"value":{"entity-type":"item","numeric-id":2714862,"id":"Q2714862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777257$8E184335-24D2-4CAF-BF3E-7E0D7A677B5A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ac97000bb9a6c8b51835fb6b9b95dbf469544801","datavalue":{"value":{"entity-type":"item","numeric-id":3208397,"id":"Q3208397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4777257$BF8CD4FB-6A0F-4328-A2B1-B4AD527A1913","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4777257$D8E8BD61-8B6A-415C-BEB6-552D6315128F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$C70FCEA1-85BA-4E5A-85CF-D9BC7A13B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$ED71D2CC-993A-4C34-94B5-1C3A245D1BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$2792F910-5483-4427-9272-861F332468D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb6fa31c061028a10fb1c2a1679af7746583c504","datavalue":{"value":"05B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$9DA7ACB6-0B5C-4BD1-BC5F-5535C50B4E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$86CB62B7-1056-4614-9C71-2F6D22997AB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51c0b278ad07c8d80324eea24e7bd1d46f8c2b02","datavalue":{"value":"3453561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$A3200CA8-2D2A-44FD-83CD-6950BC07792C","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":"Q4777257$E0BB6DD8-097F-4C80-A061-D1702531947D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00ec39606ef681a4b93112a53248227efe71a4f4","datavalue":{"value":"https://doi.org/10.1147/rd.185.0459","type":"string"},"datatype":"url"},"type":"statement","id":"Q4777257$CB8C218B-420D-49A4-865C-8E69A39AA20A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71371e29cd68b3ac733fcf84b6a3f283b71bd36d","datavalue":{"value":"W2006178828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$C32CB5E0-B53F-469B-8440-B17239E2E967","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"943a6191ece6b7809d4987c4cab555cce4fc7682","datavalue":{"value":"10.1147/RD.185.0459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4777257$E6918B14-8489-488E-B9D6-2703337572B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating Test Examples for Heuristic Boolean Minimization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_Test_Examples_for_Heuristic_Boolean_Minimization"}}}}}