{"entities":{"Q4635627":{"pageid":6665208,"ns":120,"title":"Item:Q4635627","lastrevid":97929500,"modified":"2026-06-05T15:50:04Z","type":"item","id":"Q4635627","labels":{"en":{"language":"en","value":"Satisfiability modulo counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863100"}},"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":"Q4635627$4F04CD27-8A42-415B-A981-E7571944C377","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59196a24f1f5437fa7ee192a7e241bd615a0a9d6","datavalue":{"value":{"text":"Satisfiability modulo counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635627$1511ABD1-9EBC-427E-8D7D-541CD64BB86C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8378e5d8f65a255a486045517ed35213e7323ca","datavalue":{"value":"1401.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635627$C90F4EDA-B07B-4A21-AB9B-B119785D253B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3e7f15b5f303d482e74a634a4ada4b87456346f","datavalue":{"value":"10.1145/2603088.2603097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635627$E7C87D13-7F0A-4C30-B72E-0DFE81248B56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"784d04f720b1cfef5f595d8e4904bff00684885f","datavalue":{"value":{"entity-type":"item","numeric-id":2234098,"id":"Q2234098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635627$913B02D2-28E4-4469-92B3-9365606DF2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97dc12cf1fb5f9d758fcaa5016f946da2f25eba2","datavalue":{"value":{"entity-type":"item","numeric-id":375473,"id":"Q375473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635627$F735A7CE-2196-40B5-B36F-28A4442EAF80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635627$D0DD0228-0252-41DD-A0E1-CA8573658DFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635627$673FC157-BF50-4ABF-A3F7-58367E4E035A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635627$48B19C7C-CB27-4A85-A0C6-C66F4178C2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635627$F84D8F9B-EF8C-485A-9C8B-4E8CC925A1D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49ecb0f810f70857f17253123f39b77bbe855821","datavalue":{"value":"6863100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635627$DCE66C24-B2C1-4971-A326-64F4B8DE0F79","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":"Q4635627$1EC513F2-04A3-4051-AE10-A1E11039DF90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba38db25284cfd90876f09efa84f46110b1995d","datavalue":{"value":"https://doi.org/10.1145/2603088.2603097","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635627$0457EF65-D990-4E2E-803B-7DB0BDFAB196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b59e7be851703eb3dbe43cf7ef740c2f51635b8","datavalue":{"value":"W2049389441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635627$AA5D456A-B82E-4ADD-836C-9C7EC1FBB9D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54dda3484087c3b05d6778351c14bbb234662d31","datavalue":{"value":{"entity-type":"item","numeric-id":673242,"id":"Q673242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a29ab20da9122650f7ac8c3bbb568d3b0a37bf","datavalue":{"value":{"amount":"+0.8705734","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":"Q4635627$69D2B6A4-7CDC-41F0-A3C8-F581DFB1FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22cdb30fd3a1d78e5a81a9d070a774dc6ad20d47","datavalue":{"value":{"entity-type":"item","numeric-id":2819565,"id":"Q2819565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8da5d3bd68b13af650fbdb0e8389ed818e351aa","datavalue":{"value":{"amount":"+0.86556494","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":"Q4635627$21E9B7B9-9F8D-47B8-9886-D54D07BE607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35556b37ddf32306a5e5223d3f4c66cf909b40d3","datavalue":{"value":{"entity-type":"item","numeric-id":3149875,"id":"Q3149875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8da5d3bd68b13af650fbdb0e8389ed818e351aa","datavalue":{"value":{"amount":"+0.86556494","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":"Q4635627$4566A975-F8CA-4531-85EA-1AF6795DA50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef35ef590d2ee4aabeaa96b2ee9d5328bb701338","datavalue":{"value":{"entity-type":"item","numeric-id":5415550,"id":"Q5415550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82f0699e8ad16d29cd0d7e71471250492d65373","datavalue":{"value":{"amount":"+0.85641307","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":"Q4635627$90593793-D4AD-4181-A6A6-1BDA0EAB3052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fce3ef5b7ef20a0c1a1ad31aa8be08816030a8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4408469,"id":"Q4408469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a26eee47648acda94cf52e76b8ffc7d1188b13","datavalue":{"value":{"amount":"+0.85413116","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":"Q4635627$A5B0C3D7-8E1F-42ED-A2D0-F04794F4A505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b2c0f561d0150e9144ad878ac8fcb2a10c2c22a","datavalue":{"value":{"entity-type":"item","numeric-id":3792627,"id":"Q3792627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ffdd1c27c71597a60d9f9af2ec3470f6157ced","datavalue":{"value":{"amount":"+0.85332626","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":"Q4635627$2FFBCFA4-8710-4B19-948F-DB2D2434729E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccdd3fa5b9ce82f81d81b676b19b61da651d3026","datavalue":{"value":{"entity-type":"item","numeric-id":4962149,"id":"Q4962149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60bf2da95c6cd3d3f595fce52392eb39307a257b","datavalue":{"value":{"amount":"+0.85030514","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":"Q4635627$FD5A0C9E-6D24-47E2-A2BA-8F58D322C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e860f7e5262a6aa3e7f7a9a552c9ef61727c675","datavalue":{"value":{"entity-type":"item","numeric-id":4993311,"id":"Q4993311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b233e8fc0eda76910c6f5247f4a2a075bada25","datavalue":{"value":{"amount":"+0.84745556","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":"Q4635627$A143CFD8-3E26-47B0-BEFD-F012F823CBB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability modulo counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_modulo_counting"}}}}}