{"entities":{"Q2637283":{"pageid":2648026,"ns":120,"title":"Item:Q2637283","lastrevid":51923414,"modified":"2026-01-20T13:26:47Z","type":"item","id":"Q2637283","labels":{"en":{"language":"en","value":"Satisfiability with index dependency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256697"}},"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":"Q2637283$602DECEC-A128-4622-90F2-0AA2A0E03DA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee800dd6889780557fedeeb848d47f9ae5b74d19","datavalue":{"value":{"text":"Satisfiability with index dependency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637283$DF1B5376-3BFD-4753-AFA7-4FFCA154AAAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56d058ab90c2ccb865418b6a0ae2315e246406be","datavalue":{"value":"1280.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$A52B5E38-C51D-425E-A86D-4E65BAEACD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"965dd0d5323c417748187809a5351b729cd95bdd","datavalue":{"value":{"entity-type":"item","numeric-id":284338,"id":"Q284338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$EC89420A-8AB5-4D84-94BC-D8301629F062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28b60e704dbf305930cc6453dc1d47916a74ff1e","datavalue":{"value":{"entity-type":"item","numeric-id":591833,"id":"Q591833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$65F6EA6F-7858-4435-A784-EFC4BEFB7FD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$A78F6594-1E9A-4ECB-8311-2C0D0AB6261C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5358adfc8d76e07392e1442ff748721538588ad4","datavalue":{"value":{"time":"+2014-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2637283$781E3D68-05EC-4E2D-9C66-0130085B67D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$49967D15-5A70-4051-AE2A-56F68A2D38EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$F14777DB-A6EC-4310-AD6F-239306C0CE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$66E3E7FC-B74F-4C9D-AFF1-198727F7DB28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c914fc9db8273223285ffc91d078aa0ed1e858a0","datavalue":{"value":"6256697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$7D8EF57A-DCC3-4CDF-B7B9-F46D36F6C781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637283$AFFC0DE4-BA02-4908-AD73-1301512A0E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a5e0b1da6edc5a586eb94ee57d342e52291187","datavalue":{"value":"index-dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637283$6DF4D1DA-B729-4915-8B35-2BFCEF970708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74fafcd53d63b71305f18cb1c92bea86da114e02","datavalue":{"value":"index-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637283$ECFA822D-7FF6-4409-997F-B56756BBABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b987be565609a99f8666695ba29384cff98521a9","datavalue":{"value":"dichotomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637283$80EAB069-0378-433A-96FA-167469BAF2F2","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":"Q2637283$A71CB096-A224-4C0E-9799-40A3585E7350","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a6db1aacbcbb6e11fb124064d12000066fc68c","datavalue":{"value":"https://doi.org/10.1007/s11390-012-1253-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637283$EEE5A6FA-F47F-4CE1-88BD-9C74B9C51265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f66608590b3098405bf3206507bab5f1668a3288","datavalue":{"value":"W2043031242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$0C3D0493-7573-4C94-AA44-5CAE2BB9445D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$A73A6CB9-4392-4CBD-81EC-AFA68DF53F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$91D01B60-41CE-412D-ABE7-394E6B139B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$A3529467-2C6B-4815-AAAF-D728A9611E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed97d9cb381fa44bbd6ac9207fd7e4aa47354791","datavalue":{"value":{"entity-type":"item","numeric-id":3158513,"id":"Q3158513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$9DB74E65-F9B6-4071-B343-8A2364997D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63223a2b10e799e0a620d9698b0286ebd9668db5","datavalue":{"value":{"entity-type":"item","numeric-id":5441360,"id":"Q5441360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$BB03BB04-A7C5-45F3-B133-580B81C81A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$C39F4C5B-4F37-4E55-9261-D853540F2EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b353bc1298597265c71a16d3c350d4e62f0e57f","datavalue":{"value":{"entity-type":"item","numeric-id":3677734,"id":"Q3677734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$CF40D2D6-CA84-40FB-99B1-6EC24A768E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$C2468D73-92DE-4803-AAFA-901ECBD2B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d59239ff1941d4d697e5e929c760bcb29102a9","datavalue":{"value":{"entity-type":"item","numeric-id":1015812,"id":"Q1015812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$2FA7F76D-FF82-4425-81F3-6F5D441BF8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$C8561BFC-269D-4E63-898C-0369A5758C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5fa8fb11c78aae21b2eb5b72be3dfa58615b97","datavalue":{"value":{"entity-type":"item","numeric-id":4037693,"id":"Q4037693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$6F939606-F00E-4AF4-B3A1-685622887032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1093b3cebce1187f4c0ad54b1030a326683bc9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5365071,"id":"Q5365071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$C4ED810F-8898-4233-9027-010F417594CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176f92be0a5c8084cbea32a162c15c6e5a582bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3936195,"id":"Q3936195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$2910B732-A1E6-4786-A0DB-707186487955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a6489ba6c7f3e12463a0fcc45bc30a80518bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3502698,"id":"Q3502698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$12C1D668-8DEE-4232-8D42-565F93ED8F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502480ab326ab3c399737fe70b931fbd79e27f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3825192,"id":"Q3825192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$AB885DBF-590B-47CC-AEF2-A9A76AE17D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e876ff67df10cc936cb792ccdfd3dbe5b282dff","datavalue":{"value":{"entity-type":"item","numeric-id":1074620,"id":"Q1074620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$B82295B6-E508-420E-BF1E-63F140AB4133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2955bf641247cb3940efa557a127adca1fb7c4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5641964,"id":"Q5641964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637283$55E0C3B0-FA73-4B3C-BCA1-8865A3627207","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7525805136250bf5813dba90f221be5adc501ad","datavalue":{"value":"10.1007/S11390-012-1253-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637283$8AF62C31-ECCB-4D45-B24F-D9867CC9B33D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878373fef6b3ae2af381d5b21c69a8c197b270f4","datavalue":{"value":{"entity-type":"item","numeric-id":3060720,"id":"Q3060720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a48910496c4ae4f6bcf0ad3b2b00c007724b805","datavalue":{"value":{"amount":"+0.9986668825149536","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":"Q2637283$EE1CE384-AF7A-4C74-A4F2-0334B56B6044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc356a18244e2efa65bc6e99caf8f44b86aa243","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0bd35332aede0effdbfd58119c879fd0b2fc26","datavalue":{"value":{"amount":"+0.7999687194824219","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":"Q2637283$DC521BC9-1173-4773-A2C4-1F66E05BDE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7d84aac28aa4104c6f9771421b418b2d3a65d8","datavalue":{"value":{"entity-type":"item","numeric-id":4934341,"id":"Q4934341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92de48aa51dca064e8f065a4bc7ac6986c3e69bd","datavalue":{"value":{"amount":"+0.7989045977592468","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":"Q2637283$D2EC4DF3-8FF0-4508-97DE-F0A7F3A77BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec9455f54c32283ad7953bf6c8ed6237e5816a","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dec35ad1caa1aaa210f89a875c103b90d239af6","datavalue":{"value":{"amount":"+0.7819667458534241","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":"Q2637283$9402B75D-1A5B-4653-ABF5-6045F13D87C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ef019ff45542b2e9fb9aab563a2f0f87e7c660","datavalue":{"value":{"entity-type":"item","numeric-id":3599093,"id":"Q3599093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788aad4490d353e0fc6121538a5199c384ce0404","datavalue":{"value":{"amount":"+0.7804891467094421","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":"Q2637283$6AF61737-EC29-4763-A537-07ABA15570D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2637283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2637283"}}}}}