{"entities":{"Q2818019":{"pageid":2828757,"ns":120,"title":"Item:Q2818019","lastrevid":52614932,"modified":"2026-01-23T02:52:02Z","type":"item","id":"Q2818019","labels":{"en":{"language":"en","value":"Solving quantified bit-vector formulas using binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623517"}},"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":"Q2818019$214B1A0D-0E1F-4450-91CF-44F0359CD9EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee480dec41a8c84a22e351078b61a4e483859813","datavalue":{"value":{"text":"Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818019$E407515A-FE5C-42AB-A82D-78C23477DBE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c8fedaade960d468a6f35f7a41a2d0198f8e179","datavalue":{"value":"1475.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818019$DB6DFA62-738B-4138-A21D-A364EABFCAD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30de9b891ffbb7a54e4eb2cc8bc1ebf21b00565a","datavalue":{"value":"10.1007/978-3-319-40970-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818019$14C15A86-DC0C-40FD-AD66-6F9C26FB91CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ddb4098032df6ce539b1158bb4b49fd29d7ae1d","datavalue":{"value":{"entity-type":"item","numeric-id":831941,"id":"Q831941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$E35A45AE-CE30-463B-9695-90F7B2D15990","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":"Q2818019$6C419B7D-BE9B-4679-B131-D31B8F64EB8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$AE180D17-9D27-4DDE-BFB8-2E9A7F5531D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-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":"Q2818019$8FFE4606-26A6-43E6-AC1D-FC4290036D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818019$3BE80630-A83D-4C1E-B7B6-C587A4F924C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ae6a25fc1cf25fe6329695f67b663023e9cb42","datavalue":{"value":"6623517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818019$167DA2AB-ABDF-4160-BCED-2514B335E827","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$A9B2D178-2C84-4389-82BD-276912D2D124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$3FF0904B-166B-4C3E-8C0E-341A9321FF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$BDB63676-1B4C-4934-8AFC-9D0D371287AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$16B0F1BC-81F9-455E-BE0C-B551600245DD","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":"Q2818019$B021D400-B1F1-4E45-A875-2916618F9DDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c8990df41bf979b5f6849a1177666d4443d29f0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818019$530362CC-B4C1-468F-9FA5-868C6F66F8BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"109da2033fe53f09dfd6dde56241e33735e3a61d","datavalue":{"value":"W2474427045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818019$C431EE2F-85F3-4B03-888B-E47D9B86AF9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8532e245e1b6b904dff800eca1e56e7a861724","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$9DBF0397-5CFB-48A3-A6EB-ED2F3F405725","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":"Q2818019$2C54A9FB-77D4-49AA-A388-070AC8167210","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":"Q2818019$AA7F5C3E-5F28-4838-A2E5-940B2F3EE89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$093DE767-25D7-4751-9D7F-6B54BA602BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$9C55E5DC-E427-4BB3-990A-261D601A7AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$4ADA3FAF-A391-4BA4-9315-74513C96A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$5B07B4C9-2DD2-4B01-B2D8-A5ED34F0DBEF","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":"Q2818019$9BA1AD95-5EB0-4186-A993-EA2F4D68BF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b99e2c9371fb5c144dc93ae570b1c3fe049599f","datavalue":{"value":{"entity-type":"item","numeric-id":3393339,"id":"Q3393339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$09741CBC-AF6E-4CC1-A6F6-DE3D502A9711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090c0923a648c9a11d5455265fee31d46be151a","datavalue":{"value":{"entity-type":"item","numeric-id":504997,"id":"Q504997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$A9F9772F-12F2-4609-9206-05F43AAE0D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf1fbb097a93619e873e24271fa9638a00cf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818019$496482DF-F56E-4583-BAB6-BB02C4A8C1F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e800ae413452d6d975b451d64218c5d97edbb067","datavalue":{"value":{"entity-type":"item","numeric-id":1623140,"id":"Q1623140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbda4c9808f9523d6b75006c2361186661c32355","datavalue":{"value":{"amount":"+0.8218300342559814","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":"Q2818019$016B0C3F-ACEB-4993-95DE-BFA7234A9765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb02a597db6bc8fbefa867f8ca47e3ebda3cf632","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1cafa272c1dda18cbad42e4f172a412fff4ac0","datavalue":{"value":{"amount":"+0.8144654035568237","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":"Q2818019$4C0D446B-594D-4FDD-B26C-7B52C11B5A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59bf2fa4d0d45ab69bdc33b9a3aa99fd55e8f3fd","datavalue":{"value":{"entity-type":"item","numeric-id":6039405,"id":"Q6039405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b1d83c21839b4adcab24f5ad5a1981361ed09f","datavalue":{"value":{"amount":"+0.8110848069190979","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":"Q2818019$29F4645F-C40C-46E2-86D1-39566641E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495af558e14b1494fb0c84718960c39eec5705c3","datavalue":{"value":{"entity-type":"item","numeric-id":2050109,"id":"Q2050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16fc07cd7e85b43133681d7729fbf23c4e8b8ff4","datavalue":{"value":{"amount":"+0.7854045629501343","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":"Q2818019$C14191C3-B53E-4188-A7D9-F5F83761B856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887925069d9615572d47c7b054d26f8f6ec28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7bcba60c81a18046b9772b96cb39b5537ebb853","datavalue":{"value":{"amount":"+0.7793748378753662","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":"Q2818019$5988AA74-8F06-4DF9-B21F-703AC45F73F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2818019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2818019"}}}}}