{"entities":{"Q6977188":{"pageid":21366174,"ns":120,"title":"Item:Q6977188","lastrevid":84034139,"modified":"2026-05-08T10:42:31Z","type":"item","id":"Q6977188","labels":{"en":{"language":"en","value":"Satisfiability problems and algebras of Boolean constraint system games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8047433"}},"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":"Q6977188$EBA3ECAA-FF98-40DB-B737-BDF54701FCE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fea4027173fc8d64f9cd1e1b69215375c701bd0","datavalue":{"value":{"text":"Satisfiability problems and algebras of Boolean constraint system games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6977188$FB9F910B-54DA-4630-8092-86009DBCAEA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef6e1d9f66330e550b396139c0891f3189a1f8ea","datavalue":{"value":"1565.81027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977188$79A338E8-C9D7-4276-99A8-8B2A0F7E25B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58b839c272d68b8f7f3c7c45d98d5d6719dd097a","datavalue":{"value":"10.1215/00192082-11831196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977188$F602D797-B679-4B57-B890-9CF2CBF1B45E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2db5a4e1e39bb43867cd3e71886d5307d82a5a","datavalue":{"value":{"entity-type":"item","numeric-id":6088389,"id":"Q6088389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$866C855D-2F14-4D7D-AE1E-D17D54A22E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00c6bbab18da86ff2ce123f65e3ab76b0229cddd","datavalue":{"value":{"entity-type":"item","numeric-id":330827,"id":"Q330827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$B06B2E15-362F-41BE-A833-4F446B815F81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$9DA8D243-0DA7-4F1C-A904-77DA87BA87E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d32e11859a4beb9b00ae7a0abb49c8afd254b6","datavalue":{"value":{"time":"+2025-05-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":"Q6977188$1ED48184-4C7A-49D5-884D-9F8FFCE36C94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c13d210c0ff6e9266fd8ed04fc10ecef463efcc8","datavalue":{"value":"https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-69/issue-1/Satisfiability-problems-and-algebras-of-Boolean-constraint-system-games/10.1215/00192082-11831196.full","type":"string"},"datatype":"url"},"type":"statement","id":"Q6977188$7AA2D51C-D63F-42F5-B8AE-B5AB5685B7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9881fa207d613a9d9fe78521aec471c3f3bb4f04","datavalue":{"value":"81P13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977188$88FD2D02-6EE5-4ECF-84B8-57741AD8FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977188$A3B7CF46-91B1-40EC-9082-5D3844570A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba64559f205742e00aff796f671729b1f11f3d2a","datavalue":{"value":"8047433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6977188$0658E48D-763D-421F-A9F4-DDA7A607A20E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65fe518d6cca17c13166dedaab3df95a5143e93b","datavalue":{"value":"Boolean constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977188$C56B530A-372C-4174-AAC8-4BA5DACC68F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b00f5c283a2a4076efd1a486c2aec0e48f62ed","datavalue":{"value":"quantum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977188$E5C76DC4-8029-4112-959D-FDA2AD58A99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c802cc7f33511fd69b8d3479d25712d0d913b986","datavalue":{"value":"dichotomy theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977188$CFE9C7CA-0653-4736-8584-16D893950B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1688bb965e0b22b2c272e65ae05ded92d11b7a01","datavalue":{"value":"BCS algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6977188$D804091A-B090-4C6A-99A6-BB2D408989B6","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":"Q6977188$29805FA3-0B40-4D99-BDE2-22FC39F167A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fef1fd01217dc10aac121c7bd06d3cc51508623","datavalue":{"value":{"entity-type":"item","numeric-id":2258010,"id":"Q2258010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$00FF2F36-7EED-4B90-A155-23DBF911187A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ef096c56ea778c8c0cadee8dfb469f963c78a7","datavalue":{"value":{"entity-type":"item","numeric-id":5919560,"id":"Q5919560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$0D241E4C-CFBA-41B5-B08D-AF4EC80FCB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25429efdb04f8e8f4845098d3e8d212a4e425f","datavalue":{"value":{"entity-type":"item","numeric-id":2348139,"id":"Q2348139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$EAE0DCB1-E815-4624-BF26-8DBA3B7FDF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0364b4f2070920f6f3b80b21f3a587a711910a","datavalue":{"value":{"entity-type":"item","numeric-id":2963285,"id":"Q2963285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$1B17D3B9-8278-4486-BE44-297547BB4ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcdf8679bbb2143290d6ff7d97e23f5f6cfd5d9","datavalue":{"value":{"entity-type":"item","numeric-id":5167752,"id":"Q5167752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$BB813283-901F-444E-8C0C-E3DC6EF5A647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759195a262ae0731b1cbe290e6cf1f49d4bea60b","datavalue":{"value":{"entity-type":"item","numeric-id":1010645,"id":"Q1010645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$930E72A7-8616-4AB5-8180-E9DAACB34C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dcbaedeb65fc4f614d1f3f73dc7d20b8c54879","datavalue":{"value":{"entity-type":"item","numeric-id":4971917,"id":"Q4971917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$4184DE61-9D58-4B43-ACD2-D3536AE82934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6af904af929baea4820e94887093874aaa5ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5859115,"id":"Q5859115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$6826CAB0-DC89-4E21-9546-0522C41049B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ce1954e465e86dff8124dae88ad940d1976092","datavalue":{"value":{"entity-type":"item","numeric-id":4813824,"id":"Q4813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$D2BC80CE-768B-4CA5-B7EB-43FCF857FC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76a49e254884c17617e6fe4652c8cd62569e695","datavalue":{"value":{"entity-type":"item","numeric-id":1740624,"id":"Q1740624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$8ECB8A32-E610-4ADD-95CA-AFE754CE9FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e171bf138b54f5f9456e442f78fbc2e9bbe3dcaf","datavalue":{"value":{"entity-type":"item","numeric-id":4635276,"id":"Q4635276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$51C57214-E7CA-4ECB-813C-2DB4371F5F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7b35550e4dad0f85104ba8870ec122291ce7f6","datavalue":{"value":{"entity-type":"item","numeric-id":2470420,"id":"Q2470420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$F14BB3E4-19E9-4C3B-8060-E372FFA86B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411db0e368a69ce2a46076d54e2ecb5b6fcb894d","datavalue":{"value":{"entity-type":"item","numeric-id":2310480,"id":"Q2310480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$586EE4D0-A47C-4280-ACE1-D55BDF68A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931ee8a3c9e83d0fa2545ab093da61455f0ab3e7","datavalue":{"value":{"entity-type":"item","numeric-id":4490694,"id":"Q4490694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$CC8F2DAC-AF7D-4D67-A29C-3CF090C0124D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4469b6f4ca6216ef7cb78a5c3ec54a4627d22aef","datavalue":{"value":{"entity-type":"item","numeric-id":6083454,"id":"Q6083454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$3877638B-E2FD-423B-AA75-66938ADEB9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276ef6508b5b7368cf0d9c0d05199ea0c64f6800","datavalue":{"value":{"entity-type":"item","numeric-id":351724,"id":"Q351724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$EFFA48D2-CD07-45B1-9DD8-0DFA8FAD7D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87d2348201218382e04cefdb9332581e670953a","datavalue":{"value":{"entity-type":"item","numeric-id":5963425,"id":"Q5963425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$5BF3C604-B18B-4EC7-8F1D-EE91CFA47450","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":"Q6977188$B3435996-884F-4264-A449-60F39C01A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b8a67f70b30ca8f9a7092cf8db34f3363bb966","datavalue":{"value":{"entity-type":"item","numeric-id":4610442,"id":"Q4610442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$933465E6-C711-4221-93A3-AA890F4DDB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63018aa0ffb597545055c54b46a2f06996e94150","datavalue":{"value":{"entity-type":"item","numeric-id":5216992,"id":"Q5216992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$17C38F2F-6B40-4C4A-8270-457F1AFC43A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af44b4a8e0945613837b3bdd38a576255b15e99","datavalue":{"value":{"entity-type":"item","numeric-id":1991513,"id":"Q1991513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6977188$93CED8D9-69F7-4E44-99FB-3239B5BF04C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability problems and algebras of Boolean constraint system games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_problems_and_algebras_of_Boolean_constraint_system_games"}}}}}