{"entities":{"Q2050109":{"pageid":2060851,"ns":120,"title":"Item:Q2050109","lastrevid":54074231,"modified":"2026-01-26T05:04:51Z","type":"item","id":"Q2050109","labels":{"en":{"language":"en","value":"On solving quantified bit-vector constraints using invertibility conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7388006"}},"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":"Q2050109$DEC48CDE-C34C-4705-A792-DF53EBB32BE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"189d48fef292b96a282f1707dd611ae9c6af8ca5","datavalue":{"value":{"text":"On solving quantified bit-vector constraints using invertibility conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2050109$5A387153-1CC0-439E-B6FF-AB98C6A824C7","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":"Q2050109$16A6B846-BC9F-4BCE-8F9A-C1A27D1AABEB","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":"Q2050109$EA15F61A-28E6-44ED-A12B-2A8B65F51A6C","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":"Q2050109$90296912-091D-46BD-A5D3-C1F1F8048AFA","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":"Q2050109$1D81D13C-FAB9-49F7-A12C-68F491216AD2","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":"Q2050109$64F257D9-5780-4212-8CFB-6CE14B0FFB51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$459F6E70-A161-4874-BF73-06A058B06B4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a528095c8f4b12338bec4f86ea87b7aff5bd49b4","datavalue":{"value":{"time":"+2021-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2050109$3A52D350-1BF6-4332-A907-E8B40F0FE788","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf2618426789a5142f40b2cc7bf0cf2e340046d","datavalue":{"value":"https://arxiv.org/abs/1804.05025","type":"string"},"datatype":"url"},"type":"statement","id":"Q2050109$A05E3C8E-2F8D-4012-B06C-396742FE6C45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050109$E72CFA86-9882-4E5B-842E-76C8138571B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78c1b243ef99d0c181af4ba6911ed027b48c7538","datavalue":{"value":"7388006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050109$72725B98-4F28-4FED-B646-5E9C71DF28E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050109$ABBCD231-7C05-430D-A737-7683D342C28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d4cd32a25620eb821a70e6761fd52eba1f6395","datavalue":{"value":"quantified bit-vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050109$CBD5BDAF-75AD-4114-BD70-145E1506EF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8cf594e055a60348f39a239b2abec361695e79","datavalue":{"value":"invertibility conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2050109$9DB23126-599D-4D64-96AA-B65D67441656","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$DCE6D3E3-6293-480F-A1DB-E3042904A880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$81CD7472-EA32-4B84-BC35-B66D5DA2D609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5b9460a01ea60cde385cddccbe3b63d66f761f84","datavalue":{"value":{"entity-type":"item","numeric-id":44021,"id":"Q44021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$024299CA-7459-4BF2-AC71-F6D804370E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$CBDD1E59-FC39-423B-BEEF-02D34FCF4875","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":"Q2050109$B86A0863-EA9F-409E-AA28-5A43D2345325","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":"Q2050109$F3FF5631-9216-4A82-8D86-C51BDA7245AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af545b076df1a8c842a4d1e43d967fb8eb4394e9","datavalue":{"value":{"entity-type":"item","numeric-id":5972687,"id":"Q5972687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$37142A90-9942-4CEE-B140-87A1842329A7","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":"Q2050109$70E692EA-3E37-4BB5-B519-336F0D894ED8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"952571b5578baa5fd511f758d58fdbd640038c8c","datavalue":{"value":"W3124136127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050109$BDF608AB-BE7E-43EB-BA82-F84792F88251","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$802CC1D1-CBE6-46F4-9F7D-ECCF7CF67A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b61ff436ad097e7899027abdd6e0c42fca0ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2164216,"id":"Q2164216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$C2BB7B53-EB1C-4694-9CF5-0417DB5A0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54501200908562d3fa3b3c3b12aa596625adcd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5088164,"id":"Q5088164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$1478F509-4D89-4854-AF61-862DACD647FD","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":"Q2050109$1956A2AE-2A04-4936-B865-63A26A57268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$5BEA57BE-92AF-4559-A68B-5DC3BB866868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a02ce029e8ac8b500586f8f6f436af0dbdfad98","datavalue":{"value":{"entity-type":"item","numeric-id":2363817,"id":"Q2363817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$9E893811-A207-4D0B-9D2A-D24455472E7C","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":"Q2050109$083ED780-AA71-4135-9C22-D2FED26487B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$8C2445A5-1D04-47EE-A1C3-4BAD70008F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc3632f610e97e4c79c25f69428119c0fd7ceff","datavalue":{"value":{"entity-type":"item","numeric-id":4633534,"id":"Q4633534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$22B78719-7FFD-412A-B9D5-FF4D9C5E164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c060d6258d63ebf14a77434a67c0cf971997ce","datavalue":{"value":{"entity-type":"item","numeric-id":1688546,"id":"Q1688546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$14CC4D11-A33C-4AD6-BDC0-9C3BCD96C551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd911330c176d4f644d0d384d2eb0c583ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":6039405,"id":"Q6039405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$BF108BEC-9CD6-4402-99B3-207803C3C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfe87c8d9b7147cc2246fbf808814b97b935a00","datavalue":{"value":{"entity-type":"item","numeric-id":2305428,"id":"Q2305428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$9CC91B99-4A50-432F-93E1-1ABF526FDD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$3E7FA5A3-9813-45C3-955C-F91BB548A319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c9773cc9e296251e233b285f6519945481d5eb","datavalue":{"value":{"entity-type":"item","numeric-id":3303898,"id":"Q3303898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$1E9BC545-2790-4C00-99AC-DC16694E0ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$1D184A0F-EA50-4FF4-A044-015209544010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d3f5b196c0df4a4076dad9269fa5296f4cdaaab","datavalue":{"value":{"entity-type":"item","numeric-id":1688537,"id":"Q1688537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2050109$03E13A66-78B5-4FE5-99DF-F925ED3415FF","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":"Q2050109$682CEE37-BEAA-41E2-965B-98CAD7E457EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4af7fe75c61e69fd10e00ff157f93582b8d970e1","datavalue":{"value":"10.1007/S10703-020-00359-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2050109$A996CA1D-8652-4526-A30B-0FADDBE41F4B","rank":"normal"}],"P1643":[{"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":"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":"Q2050109$F4B60A7F-4E5C-45DD-A93A-539FC7621E87","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":"a007cca777b7b0d8f53cf4d281512a3aca05f1aa","datavalue":{"value":{"amount":"+0.7922812700271606","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":"Q2050109$23DD4627-A93E-4767-99EF-76C1AADCE5F8","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":"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":"Q2050109$874A48D8-B27B-4636-A215-E98AD2636568","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":"fdf0138f7ed5d28132158d3a52a023b5f9b80266","datavalue":{"value":{"amount":"+0.7770970463752747","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":"Q2050109$B3625B38-7F1B-47F6-ADCB-796376F9F5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42cace2ddf6019b7cd2939e3da583d3a9bc71c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2233503,"id":"Q2233503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4758766be4d5d37b4654d739196ff24ceee7beb4","datavalue":{"value":{"amount":"+0.7629870176315308","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":"Q2050109$4CED8259-9841-4F46-AA32-2E1D09C7F2FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2050109","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2050109"}}}}}