{"entities":{"Q2783125":{"pageid":2793863,"ns":120,"title":"Item:Q2783125","lastrevid":83239850,"modified":"2026-05-07T06:46:59Z","type":"item","id":"Q2783125","labels":{"en":{"language":"en","value":"Design-as-satisfiability: A new approach to automated synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1729399"}},"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":"Q2783125$08B679D1-924F-4AFB-9C76-365D06B93D39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bcf49ecee41946b61f7831c65a3e33c595421aa","datavalue":{"value":"0985.68574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783125$7E9767E3-0707-4BF7-98E1-908C37E65BDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2f5f6a528119f076681979aaf60096b11ac75c7","datavalue":{"value":{"entity-type":"item","numeric-id":1392828,"id":"Q1392828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2783125$9B20BBFD-9F1D-4C25-B741-F8491A0098FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31707e7a13da914b31b6dd6f84fd3adca471dd41","datavalue":{"value":{"time":"+2002-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2783125$3DC295C5-51D8-450F-9722-CCE2A586CA1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783125$0B377630-DD0A-469D-AC1E-33BF6AEC550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783125$036F1759-079B-467A-8B42-E080FA860746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d764d52f8ff08c2aa8c6539d71d7f6dcf2bfa79","datavalue":{"value":"1729399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2783125$C17DB66A-8B42-4C64-9EBA-23702F8EF5A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a6f5570ede9c8cafeb4736bc43649cef268bd0","datavalue":{"value":"computational synthesis system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2783125$F4F2BDB7-90BB-4EC9-8046-F9B60C3A9397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305942d37a98d9a26ae38cd5c1a360b2d0582451","datavalue":{"value":"design-as-satisfiability technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q2783125$C9B94EA6-9CD4-4795-8950-89AA4995B8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871cf576bd9a91ccbb9432e774bdec762e211a4a","datavalue":{"value":"constraint-based design systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2783125$E4B747A7-84D1-47FC-9561-73084C4F3468","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":"Q2783125$9421A04B-5857-4AA7-AF8B-B3BF97C372A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9384324de228f7852ab20d99e59cb49738d21699","datavalue":{"value":{"text":"Design-as-satisfiability: A new approach to automated synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2783125$BDB6225D-18D0-4F4B-8EB7-3EC174AEF237","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21dc3f60854092d4a454c883e2e71c4dd1a15847","datavalue":{"value":{"entity-type":"item","numeric-id":2851234,"id":"Q2851234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223f6d6a5109e344163e26908fc2f25af7435467","datavalue":{"value":{"amount":"+0.7475100755691528","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":"Q2783125$811B71F4-5361-4127-A82B-BC4BBE9B9CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d0a40ad484bcf9fbae2150c0ef6cb3eabb7b53","datavalue":{"value":{"entity-type":"item","numeric-id":3682397,"id":"Q3682397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91dbb819c50b238c02d652a0fca72619a04e00a","datavalue":{"value":{"amount":"+0.7326121926307678","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":"Q2783125$08FF8B51-DDAE-49BB-814F-BC2DDF57AEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e26cda8581f59d73e02747aa2dbc912c072b764","datavalue":{"value":{"entity-type":"item","numeric-id":4449831,"id":"Q4449831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5587a911e2e262c63d7af45394ba2f9b9a3897","datavalue":{"value":{"amount":"+0.7152727842330933","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":"Q2783125$C451003E-EC9B-4D81-97B4-49C7B0149D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5329ed711388c9c85a4acda7d8b393bd4874fcad","datavalue":{"value":{"entity-type":"item","numeric-id":4418765,"id":"Q4418765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59998f2ec55351bbac2f1e428042ed3004f8f73d","datavalue":{"value":{"amount":"+0.7016212940216064","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":"Q2783125$169C135D-A045-4259-8B28-F50C00FE3C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00823045cbc7adb2f35020be542161a8b395bc8","datavalue":{"value":{"entity-type":"item","numeric-id":704638,"id":"Q704638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9425ba95464195d35f346acd1eb1c7d880b24081","datavalue":{"value":{"amount":"+0.6944019198417664","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":"Q2783125$F8B4BC08-D5B5-4FF5-8C75-90CCDDB13A16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Design-as-satisfiability: A new approach to automated synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Design-as-satisfiability:_A_new_approach_to_automated_synthesis"}}}}}