{"entities":{"Q4930580":{"pageid":6960162,"ns":120,"title":"Item:Q4930580","lastrevid":51093254,"modified":"2026-01-16T15:31:17Z","type":"item","id":"Q4930580","labels":{"en":{"language":"en","value":"Synthesizing shortest linear straight-line programs over \\(\\mathrm{GF}(2)\\) using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793447"}},"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":"Q4930580$E369A11F-8239-472E-80DF-B4A1D6E5C9F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f802ec8d0e0465cb6daa73d1dbf38ab52de9ee3a","datavalue":{"value":{"text":"Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930580$85285F7F-F963-4AE2-93F5-759451C5A653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfbea699bb5d0892d76b4a7dcc9391a18d30f7f5","datavalue":{"value":"1306.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$37F56DC5-4EA6-4319-8A82-AD78BFAC4C67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c0e18b2469969b111c6e4dd864e4f0b6feeb7a","datavalue":{"value":"10.1007/978-3-642-14186-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$FB9F0399-54DD-473E-B3CF-850D6703CE5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930580$36DE26F1-B540-44A4-8C81-AF4F26E0DC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930580$FC1199FD-BE6D-4EF2-A8E0-87E52559589A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930580$91A7E3BE-A2EC-4CE2-83E4-C33B088A834B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930580$68C2E554-1ECC-4B8F-B47C-54FD4FB6BF3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$0E88B40E-A5EE-42C0-AF71-29EC16E25D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$29AB0EE7-87D6-4C1E-AD4C-6DE452353F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$7FB28394-02A8-4554-9CC8-D0D05F2E577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$3295EDAE-E247-4351-9CA6-0800CF7CAA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$E1F66477-483B-4A5D-8EB7-357F390A2927","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"308cadc09238ef709a3649059122c412e4869ea9","datavalue":{"value":"5793447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$7F468E72-20E8-4F4C-8ED9-0EE4AB918EF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930580$9C28B7E4-94EE-4E48-B94C-8C6941E6CCEE","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":"Q4930580$1B423206-2F65-422A-976B-C43F8171906C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eba1809af8276b8bfb60d122d504515a7b055519","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930580$1817E22F-D463-4185-9C61-F31F784C1D56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77cf5b5be14ca255e89224df5ae0319a5e184b71","datavalue":{"value":"W2151575947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930580$7CA370F8-F7B9-4907-A7B8-165DD0C00FF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d281793a4e2e9adf1d123275c36ed24f24b152c","datavalue":{"value":{"entity-type":"item","numeric-id":3599124,"id":"Q3599124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b152b5a97aaf19dac8ae70982b14e7fedf424de8","datavalue":{"value":{"amount":"+0.8343580961227417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930580$BFBA0819-A08B-4567-8B65-DDCC238D60C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02dd115212e9e8c6a4ccffcfc2769a8cf35d22f","datavalue":{"value":{"entity-type":"item","numeric-id":2377070,"id":"Q2377070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df8810512c0625931c3fe7cfd6f463c7d3f2deb","datavalue":{"value":{"amount":"+0.8014279007911682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930580$0B10BF89-7B9C-464B-8550-BBF957A357D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef6833837902a303267e4cedde3c0a6a9147aec","datavalue":{"value":{"entity-type":"item","numeric-id":1641147,"id":"Q1641147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb283e8e3c29125f4faf970258aafb42e6121888","datavalue":{"value":{"amount":"+0.7455871105194092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930580$8D372E9C-99F3-4833-96EF-4A197F1D6E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5329ed711388c9c85a4acda7d8b393bd4874fcad","datavalue":{"value":{"entity-type":"item","numeric-id":4418765,"id":"Q4418765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00547641553241fb6fab015c9aec32f7abc5ccaa","datavalue":{"value":{"amount":"+0.7307095527648926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930580$055F5A81-15F0-4CC8-8043-98D9A6BDA344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a623d6549e8d2a7b9a8fd235a2e132afe0301bd4","datavalue":{"value":{"entity-type":"item","numeric-id":1755189,"id":"Q1755189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"840778c0f4c91401d52301c8abdc3cbec6b9e7f3","datavalue":{"value":{"amount":"+0.7253456711769104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4930580$8D8C1952-52F3-4582-B30E-D21D8363DD7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930580"}}}}}