{"entities":{"Q2330594":{"pageid":2341337,"ns":120,"title":"Item:Q2330594","lastrevid":53574221,"modified":"2026-01-25T08:49:20Z","type":"item","id":"Q2330594","labels":{"en":{"language":"en","value":"On solving word equations using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121139"}},"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":"Q2330594$A67500CA-B36D-4F70-BC5E-451FD33592CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8a9a156dbdce4f1e1b4a3e87985a275d07b83ed","datavalue":{"value":{"text":"On solving word equations using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2330594$4C71521A-6906-4E29-89F0-E7708B702A17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37c5037730013bbcda80a1c3fdbe84d0871e57b4","datavalue":{"value":"10.1007/978-3-030-30806-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330594$6C82B85B-8CCF-4379-ACDE-3D169C6A6119","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edda92c65bb5020fc2d6487012898b1d7b432a6c","datavalue":{"value":{"entity-type":"item","numeric-id":340550,"id":"Q340550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330594$D8FC11BD-B75E-4FAD-9817-780937E2457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8006866d83b18a760fd0d9a0dd0e84c2e1663e","datavalue":{"value":{"entity-type":"item","numeric-id":344520,"id":"Q344520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330594$F9539151-822E-4A4C-81A0-BCF46E7D1C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"246c4bf37a5be8c5f0f5bfa1900fd05d4b481f08","datavalue":{"value":{"entity-type":"item","numeric-id":782601,"id":"Q782601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330594$993AC28F-9FBD-477C-98E7-14CF6CD93456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d0acde8fa6970f0fc1d7a1726a2116611eb8e96","datavalue":{"value":{"entity-type":"item","numeric-id":256424,"id":"Q256424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330594$533921B1-5ACF-4631-929B-E81875C0B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff2faee2368478bf55a793dd701ca5744189c916","datavalue":{"value":{"entity-type":"item","numeric-id":344548,"id":"Q344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330594$4B73DF20-B647-48E2-AE7B-4A0816FE7AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"104fbc3377339182c599ab57a5ea62dc6b2b1597","datavalue":{"value":{"entity-type":"item","numeric-id":782602,"id":"Q782602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330594$0E07090D-04EE-40EF-81CF-E2B3D35FA6B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-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":"Q2330594$26596758-7003-44E0-9C51-2082D2524832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"796d657dea84cd8c8b5c265f5e13b662ca70ea9c","datavalue":{"value":"https://arxiv.org/abs/1906.11718","type":"string"},"datatype":"url"},"type":"statement","id":"Q2330594$130EDBAD-98CD-4373-BBCD-F16325017AD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330594$EC2F9CDF-4EAD-429C-B70D-560FEED02B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330594$30E57194-E61F-4266-8D41-7E1A2189F31A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d8ffe3b7beea770bc652104338dd107935e7e71","datavalue":{"value":"7121139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330594$C7A1C63A-FB01-4DC7-8099-9F133922A40D","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":"Q2330594$B8DC4F04-EF2C-482F-A5C8-FC1A95C57F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34c0c215eef07a2df06846aca434a34632b6031e","datavalue":{"value":"W2971997611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330594$72AD1FA7-0F83-45CE-AD82-8FD1266ACCE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e70f8fbd2adc27a0e86319b62c69cbb58500db","datavalue":{"value":{"entity-type":"item","numeric-id":2819601,"id":"Q2819601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe59ca5fcd60070981b670c1dda8d48660f0d8c2","datavalue":{"value":{"amount":"+0.7909943461418152","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":"Q2330594$E9D6B0B3-32E7-4165-992A-B7505A99AE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f691423a7cb1ede66698c5c15e561f622c7286","datavalue":{"value":{"entity-type":"item","numeric-id":5311246,"id":"Q5311246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e850a771608a7f28e713d2b177b43e8fdcf9b1d","datavalue":{"value":{"amount":"+0.7719880938529968","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":"Q2330594$D80417F5-A074-470D-915A-CC0D82E4E37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f996c96586f9adcffa6b0a0023f255d672f29c85","datavalue":{"value":{"entity-type":"item","numeric-id":2931409,"id":"Q2931409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6102f5654654f45a56643f9a0f3f02707fdc4169","datavalue":{"value":{"amount":"+0.7704832553863525","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":"Q2330594$88A80AD7-1AC1-4775-B7DF-324E11C62ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3493517041dddbd65ab1ca3777f6fd7ecc8308a3","datavalue":{"value":{"entity-type":"item","numeric-id":5404911,"id":"Q5404911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4207d5b19d3922e99cea6e94630b379db4df08","datavalue":{"value":{"amount":"+0.7691487073898315","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":"Q2330594$A0D2DA26-A096-4DEC-829B-82C079EB46E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04788e871fc16300ea1279b488bab7021b46bc55","datavalue":{"value":{"entity-type":"item","numeric-id":5899816,"id":"Q5899816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ea0359e1cbea09dd4b02377601e05048308ac5","datavalue":{"value":{"amount":"+0.7583487033843994","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":"Q2330594$9274F3DB-EF0B-4E81-AEC6-727E1F42A75C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2330594","badges":[]}}}}}