{"entities":{"Q2322709":{"pageid":2333452,"ns":120,"title":"Item:Q2322709","lastrevid":57846645,"modified":"2026-04-02T19:04:19Z","type":"item","id":"Q2322709","labels":{"en":{"language":"en","value":"On the relative succinctness of sentential decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7101702"}},"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":"Q2322709$90931739-F641-4012-A7E6-A2CB619AA19E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e739ad3595dd281b6e3e0811ba8fdc3adf9b524","datavalue":{"value":{"text":"On the relative succinctness of sentential decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2322709$5DC54A47-5A1B-46E1-ACDD-787D22561DDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"555acbc7aed5b88101f1f1dfcf8e739847a5c3ad","datavalue":{"value":"1435.68320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$1B372F7B-2E16-47D9-AB6A-57ABEEA5473E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$FD2929EA-E52E-43CC-8A6A-D1C3B5845022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dad6c7d2d412d9f51b35d2e45f9554627285a30d","datavalue":{"value":{"entity-type":"item","numeric-id":778524,"id":"Q778524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$B4F9FD09-008B-46E4-B5B5-0557F61053BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$DD722707-EAEB-4B70-8B93-072EA657B3DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57380d93ee8bf03c86a1c1218ce3942e3795197e","datavalue":{"value":{"time":"+2019-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2322709$1C2A6163-E617-4DC6-B51E-F32A05849FEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3b089bd28d91893020ac0bbc0ba0267bebc0e8","datavalue":{"value":"https://arxiv.org/abs/1802.04544","type":"string"},"datatype":"url"},"type":"statement","id":"Q2322709$7A254D5B-CECD-47CF-8C7E-4CC46B42BC0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$C357D6D1-8BDF-4ABD-BA25-67A67220A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$F3D5D29B-7693-4BCD-BAC3-FCB29EFB204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$43648E58-C1EA-42B3-AC83-B6967011936A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c11072ea7b9a6ac315cc85ce735a2258aa5caad","datavalue":{"value":"7101702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$F0D6A077-E63D-4245-BB1C-8E3D59A1506A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322709$0A3790FC-606E-43EF-8753-6E4607E45E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ccf86c146459d1ff408ad742ffbdc1943d5241","datavalue":{"value":"decomposable negation normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322709$E5630189-DCA6-4CE8-A880-B3BC68CC609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322709$B01DFBCF-FF41-4300-B2A3-6CCD6F0FB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322709$E8FAF605-C5B9-4313-B038-E6A533FE61E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08686e2028e58adfc68629bbc494ed604e731f08","datavalue":{"value":"sentential decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322709$720EC0AC-B1E9-47F2-A9C6-B29B057FC400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"184f0d6828e62729b1352643c871b64489c32249","datavalue":{"value":"storage access functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322709$E3200D41-67C1-4B70-9F0A-C0C223FA850A","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":"Q2322709$5CEA6EF0-3143-41DA-A20B-FC1982BEDC11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d93b58db506c88b84b75c4896566b5b4cfd5ffb0","datavalue":{"value":"W2963539719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$ADDF8697-68BB-45A8-8031-CF5CF7EA716D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50359ee1328a68c139f6e82d8640330e2abeea5","datavalue":{"value":{"entity-type":"item","numeric-id":2322709,"id":"Q2322709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$F2FFC491-D2E2-4AA8-A212-5FCBF31FEC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcedbec4926199f3d9980a40ec0a64f7ad5874b","datavalue":{"value":{"entity-type":"item","numeric-id":4265532,"id":"Q4265532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$731E3B6C-5394-4A5D-8F4D-F9F8BCEA78C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d351ae6c2156438a7cf2ef1e070f6ff81014314b","datavalue":{"value":{"entity-type":"item","numeric-id":1275068,"id":"Q1275068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$4ED38E6E-5BF5-4602-B117-523B22286BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02b5bf878542eec5b3e053d0fdf44cdfc3acd34","datavalue":{"value":{"entity-type":"item","numeric-id":3081627,"id":"Q3081627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$AC37B9DA-55C1-4E9B-806A-DC29139AB979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38eadff71e14f5a047a93d30fd600d33144eb1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1293553,"id":"Q1293553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$6417111A-BDE4-4E87-9A39-E6309BE7976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50324ccb6206134f253ce476b8660b15930be48f","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$20BB46D4-7960-47FA-B9BB-20C7DF96ED3C","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":"Q2322709$4F20792E-A168-47F6-BF89-6167A9746E49","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":"Q2322709$00D03B2C-30EB-44D4-8080-015A6437D333","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":"Q2322709$43174656-CAE3-4594-ACCC-C35A750E0B73","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":"Q2322709$6657A74B-EE5A-4A16-B997-96EA091AB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4671476537af65414cd3bbb9268a84a5b10a3e88","datavalue":{"value":{"entity-type":"item","numeric-id":3624075,"id":"Q3624075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$94AB3268-3A96-4F26-B5BA-90DD67EA4ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$CBE9A069-1829-4181-AB6C-5581C4E66C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ff84cb39979c4c853f3ee6cfc667a5f07b8b68","datavalue":{"value":{"entity-type":"item","numeric-id":5002825,"id":"Q5002825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$9D02A6B0-8EED-4D72-A90A-B991C23EBAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f94c357cde2b4f18340db99582ef961b69ec90","datavalue":{"value":{"entity-type":"item","numeric-id":309788,"id":"Q309788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$9CE47E7E-F735-42EC-B170-EEE6DB2D3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bffa96c82a09323679c24bc10cb6a42977623ec","datavalue":{"value":{"entity-type":"item","numeric-id":2408558,"id":"Q2408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$084E2280-E849-4E94-97B9-333D6A9A5912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb4e3f8103a1abcd0a1ac298782eb19c274f958","datavalue":{"value":{"entity-type":"item","numeric-id":1401957,"id":"Q1401957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$CDAD94ED-F7CA-4575-B406-F9AC37855440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6dca15c419555d8d22c489f4f641b7f15932d47","datavalue":{"value":{"entity-type":"item","numeric-id":1575258,"id":"Q1575258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$BB1D9637-B9A7-48E8-B8BC-8C8C9C9BA242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd29d824dbce9664110e60e74e7edbbffcc7c5d9","datavalue":{"value":{"entity-type":"item","numeric-id":673788,"id":"Q673788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$07C41C6B-4BFF-4070-9382-79FDA5C89339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$D8EAB8FB-FEE1-47E6-B1D5-D90F56FAEF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$B2BA7C6C-D09E-47EF-9A85-6EF27DB1B216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b034ce26b70acb0577d8b90e2059ffc981932ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1344625,"id":"Q1344625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322709$DD90F391-E6D2-4C68-B5A6-D7B93CC7F8D3","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":"Q2322709$50A0E295-0AB6-4262-BCD4-CAD76E8027AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4149e742af6153dea35ddea3e7fb9a473e0690ee","datavalue":{"value":"Q128787747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$83EE28C1-3703-49C9-961F-F4E36407C13E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a691a708e537a64ddb9cbd09603d59399584395","datavalue":{"value":"10.1007/S00224-018-9904-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322709$D541A93C-ED28-4FBC-BFC4-9628D2367258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cff612f30fb01cd20bc1efbb7e63a40459b4922","datavalue":{"value":{"entity-type":"item","numeric-id":6487613,"id":"Q6487613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96ff063f7c959bc75995453cb9ceeeb56959327","datavalue":{"value":{"amount":"+0.8722485899925232","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":"Q2322709$D1486A02-526C-421E-BE73-2ADB90F7D510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea934bce0a2032ebb617707e7c44346e875bd74c","datavalue":{"value":{"entity-type":"item","numeric-id":2035477,"id":"Q2035477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b84ec1c0a90af674a3d437516928ffba492081","datavalue":{"value":{"amount":"+0.8137890100479126","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":"Q2322709$B6E6F465-5CC4-4F1A-99CB-499AB2167E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea3742fdaadf38075038d6701a6991405a8d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":778525,"id":"Q778525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9d0764b750efcc5b56a07c61163c700754eb00","datavalue":{"value":{"amount":"+0.8003828525543213","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":"Q2322709$24E9BF85-E323-4B84-A4C7-9C77AD93878F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87164e96581e1403731b4f1957e860f45e9aa608","datavalue":{"value":{"amount":"+0.7976958751678467","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":"Q2322709$D6CF2367-1517-40E3-AD95-C500C37580C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9867386fbb9190106f235839114e7a4c89558bcc","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95959e57645d81d672c2fbff9514e6344d1e6f0a","datavalue":{"value":{"amount":"+0.7954710125923157","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":"Q2322709$80165227-22C4-42D5-9C02-5B3E77C516D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2322709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2322709"}}}}}