{"entities":{"Q6039405":{"pageid":13121151,"ns":120,"title":"Item:Q6039405","lastrevid":56777985,"modified":"2026-03-23T13:55:39Z","type":"item","id":"Q6039405","labels":{"en":{"language":"en","value":"Solving quantified bit-vectors using invertibility conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682381"}},"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":"Q6039405$48CD1636-AF27-4B8D-A397-8B7F91EF315E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39a25f5f0683b607c09dea7474e342f436a59f10","datavalue":{"value":{"text":"Solving quantified bit-vectors using invertibility conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039405$6330394F-2903-4547-9261-DF08726F56D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab856357560358c0d9dd61bcb12769f1b100eabb","datavalue":{"value":"1511.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039405$D464A0E0-733A-4314-AC04-C0EC9936F14A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"343c6decbfad3645d25e29c8b1e07adab9874167","datavalue":{"value":"10.1007/978-3-319-96142-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039405$926C5ED5-39BB-494D-A9B5-4386762B3B37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$68EBAA3D-3311-4CA9-A66F-618F24EDA414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$1E81C68C-BACA-498D-B80D-A0BA466A7726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$9AFB8BFC-D236-45D6-8ADA-03F76752C81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$283DEE90-5A34-4E79-A060-A07A5EE3E90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$3029A5B1-3FBA-4516-8C5D-AF7F7D13C1F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$03B8CC9F-2836-4DCC-9211-8730B1876881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-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":"Q6039405$CCD69F0F-4BA9-4227-84B4-6E7383A5004C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039405$A5A39D24-1ABD-4F5B-8E20-28A981F35983","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61eec97ab82f60a2249ae37eb62de5efda41a98a","datavalue":{"value":"7682381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039405$888BFDE2-A172-4E7F-B866-03F4A4E7497F","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":"Q6039405$77A92C91-D597-406C-AFC9-BAB2AC42D627","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7ebc44df18d69c9290e52bccba08e1ed942077a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96142-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q6039405$2E2D7D40-02A0-4BAA-B1E8-965B8BCA710A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68781202aac0eec7c35784761aff9710895d5c34","datavalue":{"value":"W2963310240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039405$4DEB46BC-EE87-44A4-B258-D5FC3BB5ADC9","rank":"normal"}],"P1643":[{"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":"f892a1cff73e698fa9bc67a6dabfb1cd6233e287","datavalue":{"value":{"amount":"+0.9826737642288208","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":"Q6039405$7DD8B378-07A8-4301-9AB7-F517FC0A9581","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":"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":"Q6039405$45734F0C-6F41-4DA1-AE11-2DE623EE0357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff2de331bc83ddf4b0fb5cfb40830bbf057100b","datavalue":{"value":{"entity-type":"item","numeric-id":3303898,"id":"Q3303898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac886c0062cc2ef0d8a15e0add56abf6b532db0b","datavalue":{"value":{"amount":"+0.8032497763633728","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":"Q6039405$406335C5-032F-46CA-BA2B-14F22D025571","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":"8648f8b86aab8bf8ffa2b462239a83102cd810c1","datavalue":{"value":{"amount":"+0.8020198345184326","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":"Q6039405$4E0D03A9-0250-48E4-B95B-40DB59D79ECF","rank":"normal"},{"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":"fbb5a7da7b2c20418befde7cb9d917f71165a6c6","datavalue":{"value":{"amount":"+0.7475548386573792","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":"Q6039405$A753C728-639E-4D10-A01E-33A4D81E91DE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039405$F5F7E1A2-4B6B-4D80-97F7-44E0EF2C916E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6039405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6039405"}}}}}