{"entities":{"Q6630716":{"pageid":14241868,"ns":120,"title":"Item:Q6630716","lastrevid":55781128,"modified":"2026-02-17T22:39:35Z","type":"item","id":"Q6630716","labels":{"en":{"language":"en","value":"Tractable representations for Boolean functional synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7936912"}},"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":"Q6630716$A6B28364-9F47-4F46-95FB-9F5B8A9B89E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5643b32fdf1d151158609a245f03fae657b662c","datavalue":{"value":{"text":"Tractable representations for Boolean functional synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6630716$0F358BEC-89E1-4695-8F5D-225D091ABEE7","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":"Q6630716$45114AF9-4CBC-44AC-B80E-FED0D3726925","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":"Q6630716$E788A397-4265-4127-9D45-C31471A29169","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":"Q6630716$BC1FB8B0-BE9E-4AC0-ABA8-0A78429CCE38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$96789C4E-0135-49BB-81F5-E6B6794CD26C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b639e699f7e190ac6074c505ed75a9af171b9e","datavalue":{"value":{"time":"+2024-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6630716$212BB90E-491B-4B3C-BF81-FCFFA0F291FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630716$D008C130-4313-43F5-9A61-048176121ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630716$CB375C82-0575-4484-8840-EDB6CF8CF7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630716$DA22E652-B920-4367-AD26-9CD80AEA5A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630716$3B40BB42-D10D-49E3-A55D-2D1C80168861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e4dcf388d3e157d8f11733a02fe470d8d9bfcc0","datavalue":{"value":"7936912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630716$6B70585F-2EB6-45F0-BCBA-23572C9D9720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5e474e030ef385f3ccb9894e1cbf0802fe0ecc","datavalue":{"value":"Boolean functional synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630716$C162C61D-8CB3-4584-824D-DF16B0A05856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630716$2296C9D5-A788-4F39-B5F4-B3B6571AE4C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eca354c5b98c54d605faae54d73bdac596f5ee","datavalue":{"value":"tractable representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630716$53911AF3-F738-444C-9358-7394231046E9","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":"Q6630716$DB0FC502-79FC-431E-8F74-83B1460088DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96eb372905fff95217379fabbb2cde4a7f97e64","datavalue":{"value":{"entity-type":"item","numeric-id":6045007,"id":"Q6045007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$2934D524-D29D-4729-8679-621CD4E36C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf2b93af9ef0a348f3ed6266ea0b5b0e9edb291","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$721A344D-DA1F-4EFB-BE52-B14616B20517","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":"Q6630716$E484D773-D65E-4453-BB49-016DB339A4CD","rank":"normal"},{"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":"Q6630716$5A2633EF-7A54-4979-85DB-DD102CF2D6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$40AB86F8-2D94-46B9-BD57-6ED1A16A598D","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":"Q6630716$52A57D86-3114-4EEF-952A-9B7A10FCB790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7d3e225f11bcb5e9772a8f23ee2b525373874","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$8713396C-5B29-46B1-BE06-E04205EF2FE7","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":"Q6630716$4A0044D2-F78D-4909-BEAB-FF51D3BA3BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e09b2df25fed7040c3c645039ce3ce0b724eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4443390,"id":"Q4443390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$642D5FF0-3952-4EB3-AC7C-1090BA791A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cdfb5536a521f63363e276a66d5cafa5c7f9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5628016,"id":"Q5628016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$DEC72F31-6BD5-4421-AE75-26545448219E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$84E0E9CF-D1A0-42E9-971B-629F354E70DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8428f0fc96b22b52390f3bd7ced5caaf0972d20","datavalue":{"value":{"entity-type":"item","numeric-id":4864698,"id":"Q4864698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$71FFA36B-5C59-4696-AE5D-8C7A7CD15836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$7C4AFDE2-22CC-43DE-A8C1-EBD2372663A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc9707b9a87385861daeed41bd05b284e644f79","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$1C275A88-A775-4160-BFB5-541D4216AD64","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":"Q6630716$81617158-0432-4B0D-91A6-4ED454BAEEE5","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":"Q6630716$839F28EF-3994-4C3E-9810-78A9BFF85089","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":"Q6630716$9FF62A18-2BA5-467A-B044-495A4DA682D5","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":"Q6630716$EE0AC35C-7FCC-4E39-8830-1F634B3918F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$2EE54B34-F5F7-4B8A-B897-7C4933EB9D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$22F88F05-A694-4402-9224-8F3C7D479EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$F9D532EA-880B-4337-A06A-11AF970AAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a5b1e90d9c0270b782bf9253a88afa16208d5a","datavalue":{"value":{"entity-type":"item","numeric-id":2225124,"id":"Q2225124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630716$0647074A-F9DB-427D-9AF3-BB0B6EF5CC58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9459c9ece93132aa2ac5b9f9129fff91226bcf5a","datavalue":{"value":"10.1007/S10472-023-09907-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630716$762451BE-C2D8-499D-BC09-02E4A7605A08","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":"a376fdc06d9ea863481f806e0182314a7fd54eac","datavalue":{"value":{"amount":"+0.8832401037216187","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":"Q6630716$34F45B7A-96C6-4E1C-BFFA-AAF4376C0085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be946f02e692896d7a0e357d6887a420cde4b641","datavalue":{"value":{"entity-type":"item","numeric-id":2050108,"id":"Q2050108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dd0b2028a508a3ecb0ee2e622140f6b2622c85","datavalue":{"value":{"amount":"+0.8801829814910889","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":"Q6630716$3665B724-DE87-4FBE-8888-3EEF380E6DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0be4cdaed0161398918a97c0b9226095f04102b","datavalue":{"value":{"entity-type":"item","numeric-id":6535639,"id":"Q6535639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d366da128630649c1e49a1a898aa4f8e0c2b0a","datavalue":{"value":{"amount":"+0.8556130528450012","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":"Q6630716$19B10D78-1484-481A-B4E3-19D759DF666F","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":"3cc5ce6cbc34cebc180f1fb23caded1728e5931d","datavalue":{"value":{"amount":"+0.8436900973320007","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":"Q6630716$F62783D8-C1DC-4A15-A34D-E88810118470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137fb170ea4e2c450bededbaac0c7455c2eb22c4","datavalue":{"value":{"entity-type":"item","numeric-id":6535560,"id":"Q6535560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b127fd42cc3fb79b5c88efc95643be7885a5321","datavalue":{"value":{"amount":"+0.8209875226020813","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":"Q6630716$CA8C2FC9-19C9-47F7-8A07-E4D1851DC08A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6630716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6630716"}}}}}