{"entities":{"Q3303904":{"pageid":3314612,"ns":120,"title":"Item:Q3303904","lastrevid":58155966,"modified":"2026-04-04T01:04:17Z","type":"item","id":"Q3303904","labels":{"en":{"language":"en","value":"Encodings of bounded synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228168"}},"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":"Q3303904$20081015-E48D-4BBD-A3BA-A1F893230916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca56b982e3a13163b6cbfb8bbb79d38ed06ba666","datavalue":{"value":{"text":"Encodings of Bounded Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303904$D34ADCD3-8328-456B-BC57-EA401F9C4A43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f783c14c204d550dadc346241460d2b5c9ee602b","datavalue":{"value":"1452.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303904$8315940E-1511-4B52-AA03-648F6918889B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0674cfec87e952b2f71630359412ff9d1a64bbfa","datavalue":{"value":"10.1007/978-3-662-54577-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303904$3CF6344D-6D4B-4DE5-8E13-0EA588BABBA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"307f871c3955f0fa554ec6372014942ec723af66","datavalue":{"value":{"entity-type":"item","numeric-id":515659,"id":"Q515659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$2D554215-A29F-4228-88C7-EBC75A4BF4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$7EEB3DEE-E1FA-4FF9-8BC3-0EDB80C0CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2454ef4c60ffd42a384ce6155facd03e877811ba","datavalue":{"value":{"entity-type":"item","numeric-id":259049,"id":"Q259049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$AFBC5888-30C6-47BF-86E9-55FFD1914B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$AF0CF496-D057-4E18-A8F4-8DFF1646ACC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$91E45212-5B15-4A59-B2C4-67B4831DC244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3303904$D877630B-E415-4A8C-BA18-9F308BA763F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"747a80c3dfd9e501d80843be04833d67315dff09","datavalue":{"value":"https://arxiv.org/abs/1803.09570","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303904$33BCA217-34EA-4D36-807C-642631A93988","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303904$61F4B948-2B85-48DB-8362-44AC1872EB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303904$4BED3538-FD4E-494B-AB1E-E4AD31D62C42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c349b2255841788724a3346c906bb6c961d9bbd1","datavalue":{"value":"7228168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303904$078F9323-541C-42E9-B1E7-3C6D79EB3C63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303904$91FED879-6445-4BC8-BE64-03F96F568295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303904$F1894605-E373-444D-B5A6-B6DF4A4571BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273c1202c9fd5922fc2b82e146efb51fc9a50b10","datavalue":{"value":"constraint system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303904$0F3586F9-C54D-40F0-9A3B-E1D86EE4DBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f5ca00839a220b69f87a47056e07f0ef1552ec","datavalue":{"value":"synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303904$B146D660-9F21-484C-B341-7040DFB64D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762ea1dde992c28ede3a6ee476e5ebbcf427083","datavalue":{"value":"atomic proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303904$F236EFEE-0F99-411E-8D8C-983847A25923","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"51a313bba85d083d332055ca3bb709d116ecc30a","datavalue":{"value":{"entity-type":"item","numeric-id":21559,"id":"Q21559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$E4DF38F4-CB35-4163-A431-584CCE399432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$2488E172-3DC0-4310-947A-CD6FEF4FA952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$F8F88344-A127-4752-926A-18C3874A8EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$75423EC2-B7B3-40EE-9134-298B4BE29ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36ac489b116ea9c72cdd6f5aeb7f35ddb61dc6c4","datavalue":{"value":{"entity-type":"item","numeric-id":37655,"id":"Q37655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$91F4CF08-9BA1-4445-A9EF-A29D3E90E5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85e34e76a2023e4f73428ca779702fd03518ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5974450,"id":"Q5974450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$42E6D8FB-54B5-43D1-A756-4F9B45AC4126","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":"Q3303904$FBEFD59A-C4CF-4F31-A7B1-9F95D78CB475","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"835eb185a7ecfac09571a59cf62936605759273d","datavalue":{"value":"W2600686309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303904$874671C6-20EB-428E-8C3D-626E28099520","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d943a0ef985ccc7c0d6f0843144df920387ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2894268,"id":"Q2894268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$23081333-0EB8-4453-B6C6-0B6F2661491D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926ec579a6e1751bee4f751c2a20e927df8e0825","datavalue":{"value":{"entity-type":"item","numeric-id":5200018,"id":"Q5200018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$62312B4E-86E9-4514-95B8-9E750A999A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$093771B7-5F0A-4A8D-9FD4-B02C5BF84831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02b09c1652d02e3c79a7796cbe37b711593d40a","datavalue":{"value":{"entity-type":"item","numeric-id":5387920,"id":"Q5387920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$90C953FF-BB9F-463B-8B05-589D656E46F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$1F62315E-851F-4E10-89E3-2B792C54B42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44410af1243ffce9ef035f8f4e879f1bb5267de4","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$3EB5D1E6-7989-43D3-A896-AACAB1509AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aad40e50dc07b7f7de0a5587443b999e837b95","datavalue":{"value":{"entity-type":"item","numeric-id":3449635,"id":"Q3449635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$7C995779-2D30-4181-80CD-F3FA9A0573E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df398e3a53c79af1d031e755ed11a5588d62b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2891413,"id":"Q2891413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$299A2EAA-BB95-4CB7-90AC-E60C73C91F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c79b895985d0d6c7821ee461f8e253a22400b67","datavalue":{"value":{"entity-type":"item","numeric-id":4633529,"id":"Q4633529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$3C9AB322-9A56-460A-974D-8BDA21BA8709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf804769cde4eacb437edf170de07127ea8b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$FB144B13-A673-474E-AD81-57916D880239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$2740DCC8-D8AB-49D2-98BB-63C357157D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2278598748f41c4d80d92c015f95eb36e154faf","datavalue":{"value":{"entity-type":"item","numeric-id":253964,"id":"Q253964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$2DEE22C4-BBF4-4352-BECC-EB4F1E563C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2768bf8a06740f15968dcb91e83d15f35832498e","datavalue":{"value":{"entity-type":"item","numeric-id":2926642,"id":"Q2926642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$99BBA41F-377B-4F8C-B835-728AF4440CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef50919836426633d57029f1a7fd047efdb7f298","datavalue":{"value":{"entity-type":"item","numeric-id":2818028,"id":"Q2818028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$3CB0ACA2-5796-4F18-B2D3-654567C1490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6573aa594565f6ef8fb7bfb385cb8fd11e9b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1675160,"id":"Q1675160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303904$4E97FB20-4E4B-43DA-B86D-7EB4B64905EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a35817cac7a82aefaf5ffbcbd77ac577e24346","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28789b7d9bcd576958b47df7d958c52793a455d3","datavalue":{"value":{"amount":"+0.8483774662017822","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":"Q3303904$C6C3E708-E761-49D6-9D42-272CA67222A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f0cef685c6633765d07dd220d772536a1b2446","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8512de11465e115e21d744fedb31e6d749efc5b4","datavalue":{"value":{"amount":"+0.8338160514831543","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":"Q3303904$2D31FB08-4092-4EA7-85C3-309BFEDB97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9455a0da0956e4d14fb1597f23a78e98e362d135","datavalue":{"value":{"entity-type":"item","numeric-id":453535,"id":"Q453535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e00c1876a37cec3a757ca3c4e7655b41bfbae41","datavalue":{"value":{"amount":"+0.8292832374572754","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":"Q3303904$132A2EDF-3677-4D7A-AB12-5BB5C848824F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b7ef591f1b1030b9c756473780e20152c8deb0","datavalue":{"value":{"entity-type":"item","numeric-id":2164233,"id":"Q2164233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19aa331c6269ce69419928ffb71d158dc7747f38","datavalue":{"value":{"amount":"+0.7964543104171753","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":"Q3303904$BC74B072-C42D-4658-8466-D23765B506DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e16a5297a1b1f8bc96ee3e8824a038ed78f7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3113724,"id":"Q3113724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3182523fb9e6df768fecd953136afa439409c6c8","datavalue":{"value":{"amount":"+0.7932475805282593","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":"Q3303904$CE63BC74-CAE3-40B8-9B19-92678548E96A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303904"}}}}}