{"entities":{"Q5021002":{"pageid":7050579,"ns":120,"title":"Item:Q5021002","lastrevid":55396345,"modified":"2026-02-17T15:29:46Z","type":"item","id":"Q5021002","labels":{"en":{"language":"en","value":"Symbolic execution + model counting + entropy maximization = automatic search synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7455740"}},"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":"Q5021002$0EDDB6B2-97BB-4B35-B3C7-2E0A5B20D1DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf33c257310f8dd84a59967de9c92ce56f84fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5021000,"id":"Q5021000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$469BA72D-161E-4F32-9F8F-F87CE9E9D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98637c9fe2064aa2d4770715e24eed11ed6b3a80","datavalue":{"value":{"entity-type":"item","numeric-id":5021001,"id":"Q5021001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$C5A1F83E-2C2D-4510-96AE-D52AD20E4B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393f1026895774e098769ee01c4a0a9faae81241","datavalue":{"value":{"entity-type":"item","numeric-id":888437,"id":"Q888437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$9A1549E3-B427-46A1-8139-73499993EF8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c55eb3ecc64f07fd602e06c6a37a740c982d0cb7","datavalue":{"value":{"time":"+2022-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5021002$361EDC1B-D338-4D72-9C93-CF90B5E78C9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de8e76fea748b0ad44be3c4980580f73438a9af4","datavalue":{"value":"https://arxiv.org/abs/2009.10877","type":"string"},"datatype":"url"},"type":"statement","id":"Q5021002$0C43714C-CCA2-4E8B-863D-18243D2BFE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6532c7390925a1784afb3efb442327e136466682","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2020.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5021002$B672FDD3-AC03-47E8-B2DA-86585F80790F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021002$418D4223-B8A6-4F8D-8806-5290542E7792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021002$4F64DAD8-C644-4D77-BFCA-49FD3F0A0BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021002$A518B46E-4DCD-47BE-89F0-143FC88D1231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"451f4f9da01d26f58e5649ecfb8d792c0aa4643b","datavalue":{"value":"7455740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5021002$90321356-38E5-432B-91A8-5C85BA7E2015","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14003a50a44c20e712064b27ecfc39c8400dd7cd","datavalue":{"value":{"entity-type":"item","numeric-id":16824,"id":"Q16824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$7C0C022B-1450-47E1-9259-F33255675E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$25615EC4-C87F-45F5-8433-8BE9F9E1550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e03307fe6de0ae35a66a33f3bf4131ffa5a52395","datavalue":{"value":{"entity-type":"item","numeric-id":25733,"id":"Q25733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$C759929A-55EB-4523-B8DE-51D31E2B3E51","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":"Q5021002$306B1DFD-4BBF-4A57-B3C6-8C7A3CBA8BED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53c4bead7070468cd29ee73be2e1967ffdc3c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4698099,"id":"Q4698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$431507F0-8240-49E5-A1D1-60CF849733DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37c9feff8a4edd675ab06e4d1fcfbd9a8124f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5326950,"id":"Q5326950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$88DF6B3D-5CB5-437B-A846-29B740A23038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231a97eb6f7645ef83f7077487f1df805e9ef1e5","datavalue":{"value":{"entity-type":"item","numeric-id":3384159,"id":"Q3384159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$64043D8B-0077-48E9-B75E-14012A51E92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c20ef3c81aed9400e1137241954843919b83bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2989690,"id":"Q2989690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$1065D277-1BD0-418C-8AA8-2AFD2007CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00997f32c2231ba5e073181adf6fee4f2890107c","datavalue":{"value":{"entity-type":"item","numeric-id":1228355,"id":"Q1228355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$41B0DBC0-1D20-4F2B-86FF-F704444483D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$5A0446AD-F471-4E3C-9B99-15317DBD4947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07f801c363f9918a71405cb95c586612e1b021bf","datavalue":{"value":{"entity-type":"item","numeric-id":860910,"id":"Q860910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$57A38657-669F-43ED-931A-FCC840F66E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c92aebe1288a33263b617b1b67a4323e7a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643564,"id":"Q2643564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$3E8ADB2F-6C60-4726-A3DC-74A7B32F4A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485d6bec13b223a6c8df0ea907820f81c7885e39","datavalue":{"value":{"entity-type":"item","numeric-id":3704926,"id":"Q3704926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$8F8A123C-6CC6-4223-B695-EAC4A684A1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f0cf2b8270f6087b7bc3862da42dbac9e1bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":88168,"id":"Q88168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$6B2E8F8B-BEEF-4C05-B3AC-E52227F309AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d114e27efab099b4765ac2acc7101cd34b61babe","datavalue":{"value":{"entity-type":"item","numeric-id":3614152,"id":"Q3614152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5021002$09317058-EAE6-41D2-B7C1-94BECB957141","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d693f9b18b9ace7f74f21854304ecfecffcb2da","datavalue":{"value":{"entity-type":"item","numeric-id":2828321,"id":"Q2828321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efaf8b22a04902d1b819cfc61e89622384e1d3f","datavalue":{"value":{"amount":"+0.7289731502532959","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":"Q5021002$7566909B-DD3A-4484-A6AA-C7FF15A4A9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e080e441dee080cae44b5b0a91c25e505e2f95","datavalue":{"value":{"entity-type":"item","numeric-id":1982641,"id":"Q1982641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abeea6f459e1eea366adf9f76d10c8396dfdffa0","datavalue":{"value":{"amount":"+0.7207267880439758","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":"Q5021002$4F9AAE1B-19C2-4826-A5AF-68EAACC04234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3346bdd42047f993fdb6b1f02b42f22b85554bba","datavalue":{"value":{"entity-type":"item","numeric-id":6488803,"id":"Q6488803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1d883c6e2684c0b404f222c5baf9e3832cad9d4","datavalue":{"value":{"amount":"+0.7202115058898926","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":"Q5021002$46224A9D-C71D-4FA6-8141-8C9DC5201956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4073f298a7ee22151583e4a3cc104c5d34794d6a","datavalue":{"value":{"amount":"+0.7165061831474304","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":"Q5021002$16DA1951-F205-44A5-96DF-0FEB40FEEDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0f378b2afacd7a1fd861407e4e760c2135520a","datavalue":{"value":{"entity-type":"item","numeric-id":6194578,"id":"Q6194578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8397ef0f83b2da096c4686335f71b97c1bcccd04","datavalue":{"value":{"amount":"+0.7138544917106628","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":"Q5021002$6DAC584B-1724-478E-A3CD-73A196024691","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5021002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5021002"}}}}}