{"entities":{"Q2050108":{"pageid":2060850,"ns":120,"title":"Item:Q2050108","lastrevid":54074228,"modified":"2026-01-26T05:04:51Z","type":"item","id":"Q2050108","labels":{"en":{"language":"en","value":"Boolean functional synthesis: hardness and practical algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7388005"}},"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":"Q2050108$4F2ADFA0-E099-4E2A-AB75-EDD45B47B48B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96fc108e35984dd292d87c1c9de03853578c7fe0","datavalue":{"value":{"text":"Boolean functional synthesis: hardness and practical algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2050108$806898D6-8DE5-4254-823F-E95ECBDA45AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0148a7914729f10791714961eacfb31054def7ce","datavalue":{"value":{"entity-type":"item","numeric-id":436614,"id":"Q436614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$34EF5F25-E2C0-4771-AC0D-60509C886C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$F3E56B4A-AC0A-4041-89DF-79EC8909743E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52faa34d368089f3755999ac6d0e74e76053bd83","datavalue":{"value":{"entity-type":"item","numeric-id":2050105,"id":"Q2050105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$612F901A-E4E0-4A24-BC45-5C787B9F6DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e86e0413bb4a5005e2255b4afa3c6cabf90b34","datavalue":{"value":{"entity-type":"item","numeric-id":2050106,"id":"Q2050106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$D8FEDD39-3031-43C4-899B-3F235D24279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acc6f1d0fad50a53047b6dc1f315380bfeb1859f","datavalue":{"value":{"entity-type":"item","numeric-id":2050107,"id":"Q2050107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$1F9A62EE-DCAF-47D6-89EB-07173A344947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$07417032-CCE8-4909-BA1A-B30ED6220E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a528095c8f4b12338bec4f86ea87b7aff5bd49b4","datavalue":{"value":{"time":"+2021-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2050108$348E1A68-EF9E-42A2-900C-7693B0E6E1EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050108$48CB9B80-61BE-4DA7-A776-F0EDC5AD2585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7880f165f1c96fb4a72766e4d33ab2349fee4977","datavalue":{"value":"7388005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050108$2EE32C0D-AE0D-424E-9401-EEFB9A7ECBF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5e474e030ef385f3ccb9894e1cbf0802fe0ecc","datavalue":{"value":"Boolean functional synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050108$8BA0072C-A9B5-49B8-9ACD-F2BE2E3C1BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050108$E4253AF9-A717-4BB5-AAF8-B59514766FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e556c8ada9237924d7110cda86b0db2414601a","datavalue":{"value":"expansion-based algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050108$E8CE0884-A487-4CD1-98BD-A68712772CD3","rank":"normal"}],"P1463":[{"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":"Q2050108$15702AC3-1460-4951-958F-6C6EF7FEF6FF","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":"Q2050108$6A5F1BB6-8E66-4737-BD25-CF5DFA060E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$A02D8471-D568-42A4-B631-BE40F64441A8","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":"Q2050108$D46A05CB-0A6C-4182-BE14-4118E1B71AA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d5e1cb75019f4587b382fb96937f0fb5d734fb6","datavalue":{"value":"https://doi.org/10.1007/s10703-020-00352-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2050108$2E754190-5170-431B-ACBC-F4D0AC76B302","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"165de658e506ece5c07841ef48f97db095934a0b","datavalue":{"value":"W3093494889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050108$2216C491-1AA3-4EC9-BC1B-EF9C7095102A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a33825573cdfcca9fef96419ce08697d644c013c","datavalue":{"value":{"entity-type":"item","numeric-id":3303903,"id":"Q3303903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$4D4BFB36-D00C-4EF7-AE81-4C0268AB5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3e2a9827663e3eb7cdb2f51e5bd2ecda299051","datavalue":{"value":{"entity-type":"item","numeric-id":293360,"id":"Q293360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$C9A87CC9-1756-4B61-AA82-FA62AF8F9F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$EFAFD5C9-B360-48A7-8B57-D52196CD9B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94d43797d3d13eb25d822012ac3f0575afcb853","datavalue":{"value":{"entity-type":"item","numeric-id":5802117,"id":"Q5802117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$C2771D40-5A57-477A-B43C-AC5371B3E185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a24cffd41ef373432aa4b100a31bd9fd24151a","datavalue":{"value":{"entity-type":"item","numeric-id":582073,"id":"Q582073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$D8B2B54E-FBBA-42D5-B9EC-91FFA96CFA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$7A08AA98-5659-4FDE-9319-BBC42256AB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ffb0550b2138a3a4f2152fb78b581dc3929635","datavalue":{"value":{"entity-type":"item","numeric-id":4899237,"id":"Q4899237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$AEA45FCD-F723-49B5-BE9C-B1154EE8E7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$F0D0BFB4-F6A1-45A5-9F5E-0B8F0C0C113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4720e496e4d18285c3f17845df2b74dae95a6e2","datavalue":{"value":{"entity-type":"item","numeric-id":2557719,"id":"Q2557719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$CE773637-587A-4FEA-A248-D7030B4CAFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00b5b9bab55d39744ad21716dc7fbe20ef4197a6","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$70E6DB46-18B7-4A3A-BC20-8544DFCCC55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f98579babad1d3f43a436b18b05cf9c213b9d3","datavalue":{"value":{"entity-type":"item","numeric-id":395003,"id":"Q395003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$4C8E8F92-FAFB-4C95-BDB3-D5E44C4DBE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112fa1e16c28072d1b690d88a68f10e9a878f19f","datavalue":{"value":{"entity-type":"item","numeric-id":5943094,"id":"Q5943094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$3283C8FB-E131-4B19-9847-7E43D2211491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3af43ccd72668a9522397c60ddeaaeb74fc078","datavalue":{"value":{"entity-type":"item","numeric-id":3636874,"id":"Q3636874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$59A88B88-1FDD-479F-A5BA-AEDE49D88616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cded707123398ff6798a322d45de37a4390f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":787674,"id":"Q787674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$6C51C6F6-954E-40DE-ACB9-F123A19CDA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871979c7f5f894fa361fd2bc427b689835df215d","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$62B3674F-D5A8-4948-A305-E1C278D825CC","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":"Q2050108$5B581E5A-0324-4899-8D0C-4E4464608DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899461a572245b2cf5a23803b77c9785fe29f0b3","datavalue":{"value":{"entity-type":"item","numeric-id":6039407,"id":"Q6039407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050108$BE35E63F-5B7E-4D49-A13C-0908971D884D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac9f6bb7cae582ba16e82453f4849578fd16630","datavalue":{"value":"10.1007/S10703-020-00352-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050108$47E9306A-03B7-476D-ADFC-F02A7F2E714F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4dc29971954425bc7712e86b4962700f69939dc","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7dd97a2dbf6c1d635a93a10b58b7de4e6784a2","datavalue":{"value":{"amount":"+0.976887583732605","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":"Q2050108$D0FA86C4-3B0E-4D20-8C80-8084FD839B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb42c4ef10ac9e969c090494172d73496dd4d4c","datavalue":{"value":{"entity-type":"item","numeric-id":3303903,"id":"Q3303903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19db2310ce913b9940181452212742b6e3931682","datavalue":{"value":{"amount":"+0.8271830081939697","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":"Q2050108$DCF4301D-1C67-4E4A-A162-A95E10DDB6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d88e1ddc85f16f6849edb0575b697310b0811a7","datavalue":{"value":{"entity-type":"item","numeric-id":4633560,"id":"Q4633560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0faeeb6aab603a7f55f0792f82d866d637b08e","datavalue":{"value":{"amount":"+0.8043138384819031","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":"Q2050108$6C51AC83-9786-477C-9DCD-60ECE0C17E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fabae29e2154bfda898d827b77fb28132b14fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2287072,"id":"Q2287072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd7b43ace18aa895d7da974075ed5d7548cc4de","datavalue":{"value":{"amount":"+0.7721508741378784","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":"Q2050108$4CFAFAA2-8A83-4985-8CA1-2EB3E915E7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7402074e23113d3349cf30046c1ec1c19b1f6812","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ee2cb5f11e232372be752be52054671de8f18c","datavalue":{"value":{"amount":"+0.730546772480011","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":"Q2050108$8D208FBA-90F9-43CB-8AA9-7A16EF328986","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2050108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2050108"}}}}}