{"entities":{"Q2815090":{"pageid":2825828,"ns":120,"title":"Item:Q2815090","lastrevid":83672240,"modified":"2026-05-07T09:56:21Z","type":"item","id":"Q2815090","labels":{"en":{"language":"en","value":"On CNF encodings of decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598652"}},"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":"Q2815090$9705474C-7843-4273-93C6-2E3E45DB30B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a70c70a88add10912290d6efb89828daa34d7997","datavalue":{"value":{"text":"On CNF Encodings of Decision Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2815090$B4CDA234-603F-46CE-8807-0A86A70F7D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05496a72e49dd37baaa2200c6d11e280a172211a","datavalue":{"value":"1475.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815090$2E823069-4999-48DE-BEB1-F574DE3AA48E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"720228b7c33cf66dc42294b1d2cc0a1487c0e823","datavalue":{"value":"10.1007/978-3-319-33954-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815090$293F0B1B-105A-49A1-98DC-2B08801BD3B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"419ed6786057dd5bfe113454f3de6d82a3dc0c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2815088,"id":"Q2815088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815090$566B479E-2694-4164-9EB8-1ED1BC51E432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815090$E71B8809-FE4F-4610-9DCE-0DF04B751D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"159668b8dcba2cbea2284eb87d0ba7a6485e3c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2661368,"id":"Q2661368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815090$DF0A80E1-0D1D-48FF-9359-05F66DC45050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815090$27BC6621-A0B6-4422-889A-3A48CC66AA95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b1652380338ae242279135a846e7aa433b3b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2815089,"id":"Q2815089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2815090$8C01FB23-912C-4993-B09A-6A3AB93E5913","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0421c5c501ceb8b5b93f7269ddd5cda28f4b61","datavalue":{"value":{"time":"+2016-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2815090$FB56BA06-E5E7-48FA-BDE3-4F3DEA5B558A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815090$BE0E2C9C-3694-4A24-ADF7-A242A53DD792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815090$DDEABAAF-F2BF-40F0-AF7B-0FF29990DF8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcdf69d478ec146f80a756695db1f16e1c1339c9","datavalue":{"value":"6598652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815090$A2F66005-A792-44E3-AD14-C2B041D2081B","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":"Q2815090$DD748C7B-BB19-4AC1-A7E0-CAF917684311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e467a83e078b73fc3704ed52c5bd514980e7546","datavalue":{"value":"https://doi.org/10.1007/978-3-319-33954-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2815090$9A3A50F4-C479-40F7-8448-F7D991597F26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"675f487416eb72418ed70740cc327937b02f8204","datavalue":{"value":"W2461501408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2815090$581C0C4E-80F8-4928-9CF0-C722CE7CCD51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d04c998d4391d40391033a7c208d1b9d5827c3","datavalue":{"value":{"entity-type":"item","numeric-id":3007674,"id":"Q3007674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ff7101bfca1dce176d6872c0f26b624488e96e9","datavalue":{"value":{"amount":"+0.8093546032905579","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":"Q2815090$5EFCDF0C-BA02-4305-B000-77C318D44BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7437481109637301480816e3534db937f37401","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccf0012a9d2c6d9587e53959945480c13155735","datavalue":{"value":{"amount":"+0.7950623035430908","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":"Q2815090$6C534C90-D588-4B33-BC94-413ECC728BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9800548b1c4e355da952c9d8827f837c9436ea54","datavalue":{"value":{"entity-type":"item","numeric-id":329079,"id":"Q329079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6441b69c0c47e1c4d01a474d83ba9b2ea427a982","datavalue":{"value":{"amount":"+0.7904251217842102","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":"Q2815090$1EA0AA25-FFEC-4681-B270-8C61F2215E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1544a5e69a2a3dbe0cdf0ac20631d6276b5dd19c","datavalue":{"value":{"entity-type":"item","numeric-id":2331100,"id":"Q2331100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b59d14d810d785bbdb817d338d1d6c00ea72d08","datavalue":{"value":{"amount":"+0.7895522117614746","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":"Q2815090$9096BAF2-DBA9-4F27-90BA-E1545CE2BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8985842524649145249bd203c50c5697778113b3","datavalue":{"value":{"entity-type":"item","numeric-id":4946958,"id":"Q4946958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33dc5f7f9f2da6cb56bd8a0f3c783eec95f416e9","datavalue":{"value":{"amount":"+0.7728895545005798","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":"Q2815090$59F7F6D9-D245-4C38-BED4-6DAF3D6FA87B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On CNF encodings of decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_CNF_encodings_of_decision_diagrams"}}}}}