{"entities":{"Q2118347":{"pageid":2129090,"ns":120,"title":"Item:Q2118347","lastrevid":43521125,"modified":"2025-07-30T13:45:54Z","type":"item","id":"Q2118347","labels":{"en":{"language":"en","value":"DQBDD: an efficient BDD-based DQBF solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495596"}},"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":"Q2118347$80046A43-EAB9-40D6-8503-CDD96B7BBADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23cc0e2d3c931e59de81fab1342d0b69dcc57340","datavalue":{"value":{"text":"DQBDD: an efficient BDD-based DQBF solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118347$CFE6D9EB-A97F-42C8-B907-07581B6115A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa855eaf5649700169242841de2b326e70c352e9","datavalue":{"value":"10.1007/978-3-030-80223-3_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118347$B9A8D1C6-687D-4891-8C39-06572B94DDC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db75fd28708deb9eb1a263b5bcd2654790e13eb","datavalue":{"value":{"entity-type":"item","numeric-id":2118346,"id":"Q2118346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$9041CC43-5B5A-40EC-9101-20C9C4C795E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"952e13cf13a37e2b25a37008848ccc82d63b7b29","datavalue":{"value":{"entity-type":"item","numeric-id":832316,"id":"Q832316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$1C0E524A-A344-4D44-8511-DE74A2E3A19E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118347$3B5284C8-70E9-461F-8985-E3ADE3BFC09F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118347$38D6BB5D-ABDE-4FDA-B953-CB015A4C9053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118347$5219C053-83BD-43E8-BC5C-2B88CC1FEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118347$1E4A3CD8-5366-4F10-9BCA-F4EF5BF8AF91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f411c3207e4d75f9d89a7905a6146a460e2d996","datavalue":{"value":"7495596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118347$63AFA8BA-1066-4E85-B069-3F7CB7EFC5B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$7DE13142-A72D-4800-8D3E-231DC293D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1df51005918e6ee69c653273b44e12307a3066","datavalue":{"value":{"entity-type":"item","numeric-id":40348,"id":"Q40348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$078282CF-8D33-40B1-919B-8E1870EE8180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2213f6ebf04facfbb2d7eedf1dee83d9d1743e86","datavalue":{"value":{"entity-type":"item","numeric-id":1354195,"id":"Q1354195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$634C36A1-FBE7-441C-99E5-53B8746AA884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc5b42e5d20ec8103a8b770091eb70baaf5a20d9","datavalue":{"value":{"entity-type":"item","numeric-id":23399,"id":"Q23399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$ABD019AB-0F79-4D34-AC36-F25ED6934966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df53c652e2fbf3e583e50626a3c4405ebff651f","datavalue":{"value":{"entity-type":"item","numeric-id":5974756,"id":"Q5974756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$26B8D5ED-E858-48F0-8472-84535847303F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$7257F230-CFCB-4419-A4D9-76C5D1E41B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$56EBD8D0-6D35-4666-BCE4-F703583B6DE5","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":"Q2118347$FF77CD24-F719-4505-AA17-4786F5F97E5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beca5d30779ded2db015bf0465f02f3b8c7dc095","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118347$D0514CC8-8FAC-45CB-A214-7CA755438F44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59e0a2b8104a30fea64ee9e35e39a4d25f9541f1","datavalue":{"value":"W3186962925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118347$3C905333-7E8A-433D-9544-A379F46BDE6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$ECBFAF7C-27F1-4BA4-BB56-4244879C6CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16381af0cca809d96a3239e7f95bab63296fc5da","datavalue":{"value":{"entity-type":"item","numeric-id":2938057,"id":"Q2938057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$182A67FE-1ED5-4FF3-80D2-CC4EC58575BE","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":"Q2118347$5B12B1EB-F528-457E-97B6-95C34E124DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02764000263ac2bd713cb34d20c92a22d74bf22","datavalue":{"value":{"entity-type":"item","numeric-id":5375393,"id":"Q5375393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$9B430697-715F-4AD6-8B1F-7C8E93F744E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b547a035157ce87c4240efbe8319bcd1aa2e8e0","datavalue":{"value":{"entity-type":"item","numeric-id":3192073,"id":"Q3192073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$0377EC9E-8287-475F-B240-3A567F79EC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$7638C348-2C55-4260-BDD4-3D555D5E4DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f94ecc0a77f40cc24a1db27854603b882b5e79b","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$095EC780-1076-4DFD-9030-1AC27B39FB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$18CDCDF0-8E3A-4A98-9A82-C820FD14CF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$5B099B84-9B76-4CEF-B6C9-EE04C03DA30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c07e39edb1ccb52e81245ff4646e9302f6b66c6","datavalue":{"value":{"entity-type":"item","numeric-id":2321317,"id":"Q2321317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$63BB3F98-C274-429D-A290-414B8F0B4A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e32113a388ead486965a3578e589d36dea4469","datavalue":{"value":{"entity-type":"item","numeric-id":5889312,"id":"Q5889312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$BEEA707A-0DCD-44DD-A158-5E12F50A9DC4","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":"Q2118347$9DE2F40A-254A-4783-A634-014D55BE616F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6634fe5c56d92a8492dc0b14f99111a283a93ab","datavalue":{"value":{"entity-type":"item","numeric-id":2181947,"id":"Q2181947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$93816B4B-25DC-4716-BDE9-C0547C7645F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be39d3247d69f45a9051d2cd3d04256ad9063be8","datavalue":{"value":{"entity-type":"item","numeric-id":1680263,"id":"Q1680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$2CACAC0E-BA5A-452C-8712-B896C24E56AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d60dad0ed0c9b52ceb981500075dad75a13309","datavalue":{"value":{"entity-type":"item","numeric-id":5015602,"id":"Q5015602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118347$0E45D27E-FF9F-4D36-97A8-9F7184228602","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118347","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118347"}}}}}