{"entities":{"Q3384163":{"pageid":3394866,"ns":120,"title":"Item:Q3384163","lastrevid":58148976,"modified":"2026-04-04T00:24:26Z","type":"item","id":"Q3384163","labels":{"en":{"language":"en","value":"The satisfiability problem for Boolean set theory with a choice correspondence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445158"}},"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":"Q3384163$6B58BB91-B899-439D-8BD0-D6C40735066D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f65045228de2ba68c5042e301547f8e78741c34","datavalue":{"value":"1483.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$5EE37F2B-7FA8-4A66-B69C-A0647058F6C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$75B3ADAC-5BCA-4466-8B5C-1FA4A53BFA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d345caacef82f79daaeb410f1dce90c777be38dd","datavalue":{"value":{"entity-type":"item","numeric-id":203170,"id":"Q203170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$0F3AB89C-6B7E-4066-85BA-BDB342D19937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67292374912a86123f8c5b34d0158810e25e520c","datavalue":{"value":{"entity-type":"item","numeric-id":1074161,"id":"Q1074161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$A8E86FA1-9442-4403-9509-4FF9A6BD7A37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384163$66E76AA0-1C43-4C38-A3F6-01BB6B8AD056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"890b9817e67e01908118700f524cad93e5b0c21f","datavalue":{"value":"https://arxiv.org/abs/1709.02097","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384163$EB2D8BE5-16AD-46E6-9ACC-C08E7BA8E132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"581d8175e4a03a8606800fad4ccacc64d11da580","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384163$6740DACC-226D-4F06-A096-238018FDB78B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$4DFA01B2-D486-49A3-9329-FFF8957595D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$87A4331C-CBFD-4E62-8C11-89B191538155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$7D08676E-2B63-4FE3-9A5E-6C0C4F60CBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$05B23A80-1B44-48E2-A95D-110EC9F31CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"484a53c33fe728f641ff4837f23bb0a746ae21a1","datavalue":{"value":"91B06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$37251698-134A-4629-95A4-55760FAB1B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dfd8303bd13aea2e4b7120171f58bea1dddf5e5","datavalue":{"value":"91B08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$B4FF9DFE-B3A4-4866-9E88-AA9BF3F81E15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6a811d0aa933968cc88c1bb02c136b35eb25f48","datavalue":{"value":"7445158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384163$C3AB1633-2FF6-444D-96E5-96744E2FAF2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384163$EA8BD451-1669-42D4-A017-3AF7EE0EBFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384163$EEBF74BF-3620-4134-A35E-8A5FDC278EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7efa18e9928bffcdd311a9b0e8ee97f290f4f481","datavalue":{"value":"rational choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384163$F2A9A4CC-BDFC-4DE5-A1C7-83EEBF062E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384163$029B79D2-12CD-48B6-A707-043562081F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384163$483D4B8C-0D1D-4682-89CB-3054E13B0E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb67d216780f9ab80e822e891fa0586ece88a4f","datavalue":{"value":"WARP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3384163$FFAF598C-3462-43DE-91AF-3736F59C14AD","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":"Q3384163$FC9CDD00-5CC1-4FFF-8A77-0BA7AF6BA742","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afadc91fd6ace92160342585b4ceadc3748b9a5","datavalue":{"value":{"entity-type":"item","numeric-id":5757686,"id":"Q5757686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$17B9C8A5-8CDC-4318-9380-48253B62B220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$4113D9EA-DF23-47D2-8C90-F9D115552394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fd557a75630dc491a3887a8304d48b1ee3e3bc","datavalue":{"value":{"entity-type":"item","numeric-id":313072,"id":"Q313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$686BF877-2B42-4E2B-8B73-88346F25F46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e4dfe68dbebff4d8955b855ffc6114f4f01ea2","datavalue":{"value":{"entity-type":"item","numeric-id":2841956,"id":"Q2841956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$15D48DDD-F481-49A7-82C6-F6131C7F4A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090fcc0f064b882976e43ff819e54c23f3d1595","datavalue":{"value":{"entity-type":"item","numeric-id":737087,"id":"Q737087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$5365F7A6-5874-4EF7-9953-E01553339B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$5ABA5011-B9B3-4570-9839-C5F456EF0F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6a33360a8e5f21f05f4846c5a517a16d9d315a","datavalue":{"value":{"entity-type":"item","numeric-id":4682765,"id":"Q4682765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$04735C59-B764-4977-A72D-2F863FE7B54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99a895d53fb381fcd00e7ad7b904611d5b28d12","datavalue":{"value":{"entity-type":"item","numeric-id":5832426,"id":"Q5832426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$30629D7E-DEF6-4AAF-B589-A56611BD3702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9cf064e865e0fc1f52c20680f6331072e64033","datavalue":{"value":{"entity-type":"item","numeric-id":396205,"id":"Q396205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$F6F1158E-DCFE-42D1-9C60-2934505400DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9615f30c5bd8d3b28c6dac0e7ada36d8fdcb897a","datavalue":{"value":{"entity-type":"item","numeric-id":2530030,"id":"Q2530030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$6D0A34A3-004B-42A8-A574-5307C13F9592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4f8b46b7c304a8e8ffdde7852f8eab9ccd52df","datavalue":{"value":{"entity-type":"item","numeric-id":5541773,"id":"Q5541773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$96CA1217-CDA0-42A4-AD02-2B7C2FDF0B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e2bea039ea2718ebc70c750027954e701914b","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$D3137595-5DD8-4A67-9461-10D6CF5A0589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eeca683ff426263ba305955e18da050a3531f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5648106,"id":"Q5648106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384163$ECFCC91D-3FA0-45CF-97BA-479135B2A8F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8f0456576997297a000ba477daca33b637cff1","datavalue":{"value":{"entity-type":"item","numeric-id":1588300,"id":"Q1588300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d814e4668bfb2018caeb53efb7a7edeb817c484","datavalue":{"value":{"amount":"+0.7394947409629822","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":"Q3384163$86F8AD77-6211-4150-B35B-489B42A60CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e9d361c87c2c598b1391b6392fe36870991036","datavalue":{"value":{"entity-type":"item","numeric-id":1320100,"id":"Q1320100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d814e4668bfb2018caeb53efb7a7edeb817c484","datavalue":{"value":{"amount":"+0.7394947409629822","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":"Q3384163$2477F63F-09CA-4FE3-AD74-35CF0C9A0552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa17ecd68fc7afa5d6b61c40786ce384e1dd9ab","datavalue":{"value":{"entity-type":"item","numeric-id":1064952,"id":"Q1064952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02e1c8037dac229dc7946a61ed3bdb187348cb2","datavalue":{"value":{"amount":"+0.7331878542900085","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":"Q3384163$F22AEA0B-A00C-4D16-A312-66B023A5FB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d4f44af6ae9028e11af027a771436606484c42","datavalue":{"value":{"entity-type":"item","numeric-id":3994712,"id":"Q3994712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7205b69e416c6052f7559092b059f703d5fca55b","datavalue":{"value":{"amount":"+0.7307872176170349","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":"Q3384163$52DF0AA1-C518-4670-8951-B035C75E906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2f1e2688feb5af6387209c26c6eeb505d0b58f","datavalue":{"value":{"entity-type":"item","numeric-id":1693195,"id":"Q1693195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76167a9a272631a0821011ab21c1f758c18347e6","datavalue":{"value":{"amount":"+0.7297781109809875","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":"Q3384163$51F0E7D2-7553-4C17-B630-4FD21419CD2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384163"}}}}}