{"entities":{"Q1656604":{"pageid":1667345,"ns":120,"title":"Item:Q1656604","lastrevid":71124048,"modified":"2026-04-13T19:38:36Z","type":"item","id":"Q1656604","labels":{"en":{"language":"en","value":"Constrained image generation using binarized neural networks with decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916322"}},"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":"Q1656604$0774427F-558C-4F96-8A82-FA11D71CB8A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbf3fb64def83d3185b7fc6e81b0088e8bb200ee","datavalue":{"value":{"text":"Constrained image generation using binarized neural networks with decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656604$EA37A787-0574-4508-92F5-DD302A59F76A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ea4f8167b5530562f7c6ec91a3d1869068bc6ee","datavalue":{"value":"10.1007/978-3-319-94144-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656604$46DC3E82-4842-4867-A3E2-D05E1CDE7B1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf268387a8468be94ca2aac93a747a119fd3d10","datavalue":{"value":{"entity-type":"item","numeric-id":1656602,"id":"Q1656602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656604$48013A7C-E8E2-4778-B9BC-584FA05C261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04851a3e956fc58e4aa1ddf95a0423b07d67beb3","datavalue":{"value":{"entity-type":"item","numeric-id":464614,"id":"Q464614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656604$88C75DDD-57D5-4D54-883C-5CDA725DD0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef25a536e77eb935a4fc311a784de2ad12200bb6","datavalue":{"value":{"entity-type":"item","numeric-id":421444,"id":"Q421444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656604$7B3998DA-E8BE-4D90-BC98-F631FE40C397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b27fb2de17ba7f26cc1dc0d940e72cb82218af6","datavalue":{"value":{"entity-type":"item","numeric-id":421445,"id":"Q421445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656604$A310FB72-9817-4029-8D40-B23EFC3F5B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656604$310633E1-9C35-49F2-9526-50FED764D81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656604$1C2E2990-9C50-453D-B392-71A2E5C217E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-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":"Q1656604$7F7E61B5-3690-40B6-8672-962E22954228","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb6d89def3fe7603f6262fd4a2d061102796e7e9","datavalue":{"value":"https://arxiv.org/abs/1802.08795","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656604$31312F57-FD0E-41B7-8A06-881E837F97EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab7a0d2add14e0dbd91ec8ae1d32a5bb94f2fb34","datavalue":{"value":"68U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656604$21631F12-CFBF-4737-B8CC-382170D4DB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656604$276E12AB-A8F4-4423-9648-ED1112D4BA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656604$259FA2B7-9972-42C4-A73B-D5285E9D79BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d3b3a080c101bf8a8d8c4b5ccb6e234e18b07cb","datavalue":{"value":"6916322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656604$01853D62-F346-48DF-891A-A656A7420A9B","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":"Q1656604$75C43E13-2C11-489A-B104-6531DE191000","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7825779dbc27bad1d9c106480cb11b98560a38a","datavalue":{"value":"W2962938696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656604$BBFEE4F3-85C5-40AA-B2D3-FB13986C05F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a963d2066179a28be69541d44ad03ebca9e192","datavalue":{"value":{"entity-type":"item","numeric-id":4999346,"id":"Q4999346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe73d636b90c5c0a683077edf666b9bf30a524d","datavalue":{"value":{"amount":"+0.6310861110687256","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":"Q1656604$72093188-36BB-4134-9EDB-6921BE7804B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad05e1364a61b6830d6d1f0b7573fc6d09a77a5","datavalue":{"value":{"entity-type":"item","numeric-id":4303757,"id":"Q4303757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671149e1891bfa1f17a4344fff3323a69ebbfef9","datavalue":{"value":{"amount":"+0.6265334486961365","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":"Q1656604$23450780-20C0-45BF-9F5D-599F91235A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a79260e49068c902295bbbbe7cb1273484055d1","datavalue":{"value":{"entity-type":"item","numeric-id":1331179,"id":"Q1331179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c81ca40d24a7784f373b68b358124a93d2cb615","datavalue":{"value":{"amount":"+0.6230480670928955","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":"Q1656604$8FC88E27-CAEA-4C56-988C-E28E995FF642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aced7d662cbf6b3bb9ee138db9dfe1bf0591bc65","datavalue":{"value":{"entity-type":"item","numeric-id":4553862,"id":"Q4553862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a67dca4b0683f68a290b8718087bff27a52e72","datavalue":{"value":{"amount":"+0.6180234551429749","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":"Q1656604$A670981D-01CF-498D-A8A1-1BEE82228222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7057ff96250ebc38eda6ffe2fdb3a9fde40b04a7","datavalue":{"value":{"entity-type":"item","numeric-id":1753666,"id":"Q1753666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82963c39f5c741021957bfd717a5cf8acbca5455","datavalue":{"value":{"amount":"+0.6159765124320984","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":"Q1656604$ACAC57DC-DB7F-478E-BC16-5CBA44EDF3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constrained image generation using binarized neural networks with decision procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constrained_image_generation_using_binarized_neural_networks_with_decision_procedures"}}}}}