{"entities":{"Q2233841":{"pageid":2244584,"ns":120,"title":"Item:Q2233841","lastrevid":71632716,"modified":"2026-04-13T23:31:50Z","type":"item","id":"Q2233841","labels":{"en":{"language":"en","value":"Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7408660"}},"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":"Q2233841$7C982CDA-EE6B-4193-89D4-D8F5E305E28E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93a75e44930c912a92580345cba32178772347fc","datavalue":{"value":{"text":"Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233841$6E1BB1D3-8552-4FE6-B50F-488F78D81AC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e96ffdf5fb775fb754bc516dffb0f2eeb584e7c9","datavalue":{"value":{"entity-type":"item","numeric-id":178023,"id":"Q178023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$10D0FEAD-847D-4A69-9334-D5C4A0AF9679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804a747198194a609d418b7fdb8061b5b28b5fbf","datavalue":{"value":{"entity-type":"item","numeric-id":823163,"id":"Q823163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$FA0C0999-67BF-4018-83B4-9054C362DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90739aea32371d507efc0d485d2e862d23543168","datavalue":{"value":{"entity-type":"item","numeric-id":259050,"id":"Q259050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$5B807AD7-8164-4F1E-B7FD-5B8F055F54AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5c13b2f79c87031dc585844e229751fb95cecb","datavalue":{"value":{"entity-type":"item","numeric-id":832300,"id":"Q832300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$7E5312FD-A059-4C60-A64D-90D7548826A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d08096cb41ef5402bb4eedd6bea8e5004eaa6a1f","datavalue":{"value":{"time":"+2021-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233841$CB2CC4E4-5B3F-48E6-BC08-C3C4F2811925","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfbc4655bd2e1c5aa4cef9a2258c5ee4e94943e6","datavalue":{"value":"https://arxiv.org/abs/2101.03227","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233841$2DC701B0-91C1-4B21-8863-EE957B9D29B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8d738c17361eae28639b015465bfbfc3e737313","datavalue":{"value":"81-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233841$232C08C9-E98E-4F2B-8DC0-272732F0103B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"072433b0c16bac4267e704640038cc5813e85cbc","datavalue":{"value":"83-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233841$BB82A2D6-D38D-4F41-9A31-9A0C9961E68F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eff60fa78b42d8a6f43077657dca13e3d83211ca","datavalue":{"value":"7408660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233841$434E8457-0DB9-4AB7-BDA6-9DBAD01E8FC7","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":"Q2233841$8BC79817-FBA5-440B-A1CB-89FE281A8DE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15a6ad4e8a871b8820ad3cfe922eb8bd489cfad1","datavalue":{"value":"W3119368969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233841$704DC951-4C82-4F67-B888-B1181F860A6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea714939467d66ab25a43138a2c2a40e30f155de","datavalue":{"value":{"entity-type":"item","numeric-id":2433573,"id":"Q2433573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$BA3E992E-C47D-44C4-8652-00FD718BDAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f183a75c83acd929bf9f942eaacd5bf246f87c","datavalue":{"value":{"entity-type":"item","numeric-id":1701131,"id":"Q1701131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$E74CD27B-27F4-4BDB-B139-35FAFA22E229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eb0aeb88530d89a5c3f3cabf2ff79d168d34e2d","datavalue":{"value":{"entity-type":"item","numeric-id":1993699,"id":"Q1993699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$09033E70-52AC-473E-9F32-D6520217450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d220f33fd4255915b5e45da1528dbe8fff9c08a7","datavalue":{"value":{"entity-type":"item","numeric-id":2230235,"id":"Q2230235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$66F58F3E-9F50-4F8D-A05C-25573DB34A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f162e20dc2fb76efac3e52f404a7c7a69ba6016b","datavalue":{"value":{"entity-type":"item","numeric-id":2996914,"id":"Q2996914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$CBA9EE9D-CC74-4439-ACC8-FE7B87E94980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13f4212d7bae54b9bef3a0dd030f8e9b0037e54","datavalue":{"value":{"entity-type":"item","numeric-id":347580,"id":"Q347580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$11547BA7-CCCF-4290-8D75-EAFC2F1E7439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d086a13cfeb29d86d26ccefb2ee0b56efb32295e","datavalue":{"value":{"entity-type":"item","numeric-id":823164,"id":"Q823164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$3DF4CC6B-7BE0-4119-BE48-5146EE4C4961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704b67c0c7a5a44ff323d18e1363803acffd4565","datavalue":{"value":{"entity-type":"item","numeric-id":4071737,"id":"Q4071737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$5D7CC9C4-D162-4F16-BF73-7378F4ADF151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$0E3906EC-F35B-4300-B0DB-91552141C35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a9b647db2a7a986c5e666300cfab53bcebc117","datavalue":{"value":{"entity-type":"item","numeric-id":874182,"id":"Q874182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$1CBD38CC-36C8-44EA-9F62-68EE8D18308A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"610aae34752f704315fb383579280770dfcf110c","datavalue":{"value":"10.1016/J.PHYSLETB.2021.136187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233841$305C41C9-CA81-45C2-B71B-82A093168C78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bbab471ffd1ae6faf23371144a23eedd35f7edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4934680,"id":"Q4934680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233841$3A5FF69E-F6A8-481E-8E9E-0EEA2E667CC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af3d12a0ed6f92302e08533c3e357c7ee1bc194a","datavalue":{"value":{"entity-type":"item","numeric-id":347580,"id":"Q347580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73684bfdfe578c9fa091d68e98ebfe17ce9e52f3","datavalue":{"value":{"amount":"+0.9080042","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$51EC41DC-57AC-4BD3-9AD5-31990178DB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677ab48bedfe2efb793c1debc3bcb5bd6fa0d753","datavalue":{"value":{"entity-type":"item","numeric-id":2261486,"id":"Q2261486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e33b05654e7b22a8a7a519ff1bb288142a62f4ae","datavalue":{"value":{"amount":"+0.884805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$90D2C1F8-195E-49BE-8CDD-FB8EA0F0252E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf2ac2f9ef84a76b9249c0713dc20cd87d01ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5158153,"id":"Q5158153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eaad1e6b11de466c5b7cf691d315e88a5b48660","datavalue":{"value":{"amount":"+0.8801648","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$D12F7A23-2765-4357-9E1C-B66F568ED68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fcb273277a458c9fc702f6306aa0c8fd055979","datavalue":{"value":{"entity-type":"item","numeric-id":1906818,"id":"Q1906818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d467fe3a3ce0f7a64a1cdcac820a7ad9167b8f","datavalue":{"value":{"amount":"+0.87945735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$0E1381EC-E467-4BC4-9B77-93C0EAF69EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"219c5eb1032790481f3986ed07fda4247dbaa167","datavalue":{"value":{"entity-type":"item","numeric-id":270705,"id":"Q270705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e9d2a5562dc249ff2fd66e54af588e8b4b79a2","datavalue":{"value":{"amount":"+0.8774967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$32973820-6C38-4836-BF92-B297FB80C673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ac3aa2f7853a7a1918cbccf0aa7ed1c5de0eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2635675,"id":"Q2635675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7253394a323b64a43665f9de4868d1afcc70963","datavalue":{"value":{"amount":"+0.87175924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$8BC27999-DC1E-4AA0-88AA-1F62A46E8BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ec2eeb47c7dcbc140c3b2dc0dee37a28bb3b69","datavalue":{"value":{"entity-type":"item","numeric-id":3593623,"id":"Q3593623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf227d6606f1ab7b97a356cc802a8367c452e62","datavalue":{"value":{"amount":"+0.871699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$061AED2F-87F2-41CF-A5B5-162F6BC4D249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb758b6021b0e4d94c583c949d9e768c7c80622","datavalue":{"value":{"entity-type":"item","numeric-id":3637536,"id":"Q3637536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba7710e32ea7cde9dbbc5b830c7647596dd9762","datavalue":{"value":{"amount":"+0.8702989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$BB95C391-0B0F-4539-BBD6-65FA8BF27B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207c3914a28f2652389ef5b709ada75a0fbfdffc","datavalue":{"value":{"entity-type":"item","numeric-id":5930314,"id":"Q5930314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae2c4d8a3bdf82f799d329839a7070034e86d5c","datavalue":{"value":{"amount":"+0.86815286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$A5A0532B-3510-4FA0-9EFD-5C384E227693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6982f65e7c45becc9df6eafda2cb19d7fd155d26","datavalue":{"value":{"entity-type":"item","numeric-id":6041741,"id":"Q6041741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81567d3dc5fc449d63bbe936ffcf554689fefed2","datavalue":{"value":{"amount":"+0.8657213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2233841$B0A34E61-E959-4D86-ADF2-C2DD9C72E963","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":"Q2233841$0BF0FFFD-8795-401C-A44B-3595D7A42B09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability modulo theories and chiral heterotic string vacua with positive cosmological constant","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_modulo_theories_and_chiral_heterotic_string_vacua_with_positive_cosmological_constant"}}}}}