{"entities":{"Q877840":{"pageid":879688,"ns":120,"title":"Item:Q877840","lastrevid":65062734,"modified":"2026-04-12T00:04:00Z","type":"item","id":"Q877840","labels":{"en":{"language":"en","value":"Some computational aspects of DISTANCE SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149178"}},"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":"Q877840$0F6996AA-ED02-4B81-B038-EC513B4273C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db6083a07517dc361d9f9fe17e22ebfbacb56ce9","datavalue":{"value":{"text":"Some computational aspects of DISTANCE SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877840$8DDBFDDB-EA41-4F69-9354-EC6A4C4A3C7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"544c8e9dd4feb972409b478dd7ca8f6c6b8456ca","datavalue":{"value":"1113.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$C5E9C19D-676F-49A2-A4CF-25095C843805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4955bafb93aaa1bc5390fe85ede125a111b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":877839,"id":"Q877839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$F6E1BB09-3645-4A80-9DBB-CF00B04F1650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c04afaef6a546b4a8238a79a8a3a0d3a9f25b8e","datavalue":{"value":{"entity-type":"item","numeric-id":201919,"id":"Q201919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$4EB3AF15-FAFA-413F-8509-76C92021B428","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$48A355AF-0FEE-450C-B43E-325A2D805026","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877840$1D062EE1-2D1A-488D-B07D-38095D35F39E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$0F4C3DBA-F751-486E-BFB3-39D23A6C36B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$C9FB30E3-F5A8-4DEF-AE38-0BD7B4E03229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$827E75CB-83D3-430A-ADAD-46A0E2BA9935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$51282F5A-4253-4A67-B8C4-C91AEDE98AC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3c837a6e0932b4efde06bf80a66baf82bf2aa7","datavalue":{"value":"5149178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$0115B96A-C502-467D-B941-F87F452EF191","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9ac14cb148e9e23cd03446edd0a9adc994bed","datavalue":{"value":"propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q877840$73255774-3A84-4B4C-B198-81084EB40686","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$141EDD79-6ACC-4F85-9840-1A9EDDC93A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2484a16108c34d406a4f0f66bbc252ff9cd65a57","datavalue":{"value":{"entity-type":"item","numeric-id":21464,"id":"Q21464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$34302F29-4733-47F5-922D-7DCC6369A5B5","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":"Q877840$61FEA46D-FE56-4264-835F-2A615A013850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e28999a6ada13aa480103a758605ade45511eee","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9063-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q877840$6269B5D3-C169-4993-9C15-D8F84D0625DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"886600ed5e5e525293d3b663c6798b6b753afe87","datavalue":{"value":"W2062059592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$70465E43-7ABA-4E05-81B2-5FF2D9C99C41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c83eb0bb9c863c487d30856ad78d111fa5c91a","datavalue":{"value":{"entity-type":"item","numeric-id":5897193,"id":"Q5897193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$D65C78EF-F147-4627-9CBE-F18C9C96C84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e5236ce355517f1e8ebc1e630782add473f7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4942636,"id":"Q4942636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$710850C7-5B13-40D9-9085-E7976C84A425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$0B35B5DD-99EA-4B27-BDCD-E5EACBC389A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$CAED95D5-2ED9-44C7-B821-24B8546B0CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$C756D76D-D294-4548-8B6A-47A416B2F9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$787E3532-C45E-4D09-8A0B-BC4DD848E9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a459fe63e2461375022c50452c305062563cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1809365,"id":"Q1809365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$6EC59F25-6DC0-4EFB-867F-787FB3D127B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$86D08F8C-7E62-453B-8CCE-C6C0669CB880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d4601a7a68daa38eb0a1fd1c184b4a6ff2bc10","datavalue":{"value":{"entity-type":"item","numeric-id":5750466,"id":"Q5750466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$0235E820-E948-4AC3-85CD-434C645204A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$09DAD907-0E25-48FC-9176-9EEAC60C25D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$B6A3F1E9-1208-43D9-A1B1-37252FC09752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84958ba625ec674441f271c8f2dff92f5c827a91","datavalue":{"value":{"entity-type":"item","numeric-id":4787406,"id":"Q4787406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$789E5A10-523D-4E2A-9501-F7416996E4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d94b6f0b523846450a3e01b919b0aa03c40094","datavalue":{"value":{"entity-type":"item","numeric-id":1402725,"id":"Q1402725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$31577FEC-A285-45BC-A8DA-A2C6F3A291DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0476d7289ad19d5be5471a2a92d4378858d9e1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4449294,"id":"Q4449294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$DB6407E8-C0DD-4F8E-ADF9-3E9248BF68B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0168a65029115234648e45982e971874d223316","datavalue":{"value":{"entity-type":"item","numeric-id":2752124,"id":"Q2752124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$6C57B3E6-0D75-485B-8DF9-8A3F0297898A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$880155DE-046F-406C-82B2-65FFF8FFF8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$AE4A8619-CE6D-49E0-9D69-DE7B796F8D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217d7c1a8591d173f7a390567150498d1528ee2","datavalue":{"value":{"entity-type":"item","numeric-id":293409,"id":"Q293409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877840$7FBA19AB-E4E0-44D6-B881-CE7260799672","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c78d0956691e45355a4e6ec50e941ed78de05e1","datavalue":{"value":"10.1007/S10817-006-9063-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877840$C1B968B6-262C-4673-9BFF-F29733F6AC73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e31249e586fba44bb30f867b6831d72dd57794d8","datavalue":{"value":{"entity-type":"item","numeric-id":2322705,"id":"Q2322705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8704d45a5e2d07a5eddae98f9302651e4b1dfc","datavalue":{"value":{"amount":"+0.7925273776054382","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":"Q877840$41D63CA3-F737-423C-BB1A-94BA67C24F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b4ae2921bb79748bb68bc6509738b9cd586fd3","datavalue":{"value":{"entity-type":"item","numeric-id":6113549,"id":"Q6113549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa5dfb77bc7daed4d3a850d29118e45f9000ecf","datavalue":{"value":{"amount":"+0.7729954719543457","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":"Q877840$1915E9D4-2D52-418B-B5A8-370D895A158F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a178db5e090cc285b9e9c34b170f53519ce61c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5703899,"id":"Q5703899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217e65e530cb2994592e1192036722f5b7fd38be","datavalue":{"value":{"amount":"+0.7688087821006775","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":"Q877840$E523370C-8E66-4255-9A6C-10C098991DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac715e929d260881a463221647ba26143f1be772","datavalue":{"value":{"entity-type":"item","numeric-id":3533153,"id":"Q3533153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4f00a877e3cb3afe5494452e6452d8e27caa0f","datavalue":{"value":{"amount":"+0.7625665664672852","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":"Q877840$580EC899-E12E-49B8-8B79-6E32A26AA61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f1df7985f827b8357d100d09ea2d935177990c","datavalue":{"value":{"entity-type":"item","numeric-id":2803825,"id":"Q2803825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bda5e9d9aa1a18bcf286d61f86e4e08a7c9735f","datavalue":{"value":{"amount":"+0.758761465549469","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":"Q877840$79B123FC-2DEC-4E91-B6F0-90081578351F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some computational aspects of DISTANCE SAT","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_computational_aspects_of_DISTANCE_SAT"}}}}}