{"entities":{"Q4928459":{"pageid":6958041,"ns":120,"title":"Item:Q4928459","lastrevid":90985541,"modified":"2026-06-04T21:58:00Z","type":"item","id":"Q4928459","labels":{"en":{"language":"en","value":"bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176228"}},"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":"Q4928459$F9EB58E0-CB42-44E8-AA75-BD7A73B24D86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a90c3fd9b071154895c7bf6282ce12f5c36ec6c1","datavalue":{"value":{"text":"bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928459$BF651A34-7583-46DB-981F-1AB353AA256B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d8529388229ff4084efbea6ce6b552232510551","datavalue":{"value":"1382.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928459$D5717EC0-9A9F-40B0-8B3E-093ECC2AA414","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"977f893c0486d76fec07320055109717f746e19c","datavalue":{"value":"10.1007/978-3-642-38574-2_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928459$4AC1EB81-144D-4649-A711-BAF39B06DF33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b66200cfa3f36ffd0b8d61c8c7da849baf5fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":504995,"id":"Q504995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928459$2525F2AF-540B-426E-9EA3-7B150BE6579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbc891224517055fc3e79fc6a5600693bb594076","datavalue":{"value":{"entity-type":"item","numeric-id":504996,"id":"Q504996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928459$0E7043AF-0354-4B02-BAC6-8452C19D83A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928459$E534F2D2-2BE1-47CC-BED6-CDEDC7C1D2BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928459$E1DB1FA2-98F7-4AAD-86A4-A4D737CED5FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928459$08444389-14A1-45BF-84B2-5C6DD5066C8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928459$BE80099C-B29A-4CEC-9E1B-58A0E9390C36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e138abfaec47aa79d49b33b1578896264797fee","datavalue":{"value":"6176228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928459$68D1BE87-7762-4B6F-8C34-948E589704E4","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":"Q4928459$11BA760E-D3FB-44B5-A905-BDCDB78DF69D","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":"Q4928459$327DDB32-28E7-4F2B-9A2F-A17233A64396","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09ba5e11b8dfe1a432d5dd5906a33fc99cc06b50","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928459$B88466AC-A9C3-4B19-A0F2-1CEF3854D6CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"746d193e20f90f4674e456bb4585c28eb2de5fb9","datavalue":{"value":"W117910965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928459$A9E7A333-7756-4437-A246-FE331FAED18D","rank":"normal"}],"P1643":[{"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":"f7e5aed65b54989e7e7ca8fc91c50ee3ef256441","datavalue":{"value":{"amount":"+0.7634994983673096","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":"Q4928459$DFCE3FB5-ED36-41B1-B956-1012310B09D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c35845b74fffb2b3cbf21332b9e7f8be9711942","datavalue":{"value":{"entity-type":"item","numeric-id":4928502,"id":"Q4928502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84a5326b6759f20ac6a2e353ad0ca7d2efd93d1","datavalue":{"value":{"amount":"+0.7523676156997681","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":"Q4928459$1541D7E9-9B14-4BB8-86BE-0615D39FE319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd67d9904f8497b4b7b4ba2781e1ac9bb002f","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98561bb3c7d75286fa9e72f73a4c833fadee3943","datavalue":{"value":{"amount":"+0.7390592694282532","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":"Q4928459$57A1497F-28F6-4806-9EB2-8FECAB8F5554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8b223bb7119783d9e3e7cf53443ec1e9496d8a","datavalue":{"value":{"entity-type":"item","numeric-id":504997,"id":"Q504997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67ed7e072347350ea53cb3bc3a05060b4ae862a","datavalue":{"value":{"amount":"+0.7230047583580017","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":"Q4928459$8A3295AF-9521-4A53-9209-DB4514134BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a4f31ab7bd47e6ca106600c1b438a2626e57db","datavalue":{"value":{"entity-type":"item","numeric-id":2058375,"id":"Q2058375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60d82b6ca184fdf08ea72990aeaefe170cec1b9","datavalue":{"value":{"amount":"+0.7164991497993469","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":"Q4928459$0DE06D9A-CCA7-417F-9BC2-09A4622AAB1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bv2epr: a tool for polynomially translating quantifier-free bit-vector formulas into EPR","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bv2epr:_a_tool_for_polynomially_translating_quantifier-free_bit-vector_formulas_into_EPR"}}}}}