{"entities":{"Q4632221":{"pageid":6661802,"ns":120,"title":"Item:Q4632221","lastrevid":90014297,"modified":"2026-06-04T18:52:16Z","type":"item","id":"Q4632221","labels":{"en":{"language":"en","value":"Phase Transition for Maximum Not-All-Equal Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048118"}},"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":"Q4632221$DE7DEEE2-62DE-440F-8644-B49AA31A5047","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b822ff3664417da46a3f69fc60d8894513899fc","datavalue":{"value":{"text":"Phase Transition for Maximum Not-All-Equal Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632221$9120C5B7-47D4-4D97-B128-B22D710A3181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d7105fe5fc0bb791d767c8127c41c3eeb756513","datavalue":{"value":"1489.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$2F48A660-0189-46D3-9142-74C5123261F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f23619d39aaf9dfc76d9f8b8537170fe1839ec3f","datavalue":{"value":"10.1007/978-3-319-59605-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$854F2747-CFD3-44F3-B2CF-02D2F802C6F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe4085960916936e2fd7a18a6fa3560a35aed1f","datavalue":{"value":{"entity-type":"item","numeric-id":474509,"id":"Q474509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$77AD225F-1F1C-461E-9F46-8C909267E437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e130d06b83c566c409fc60cd0e0dd23901f7ca39","datavalue":{"value":{"entity-type":"item","numeric-id":826366,"id":"Q826366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$85C279BE-1C8F-43D9-9140-635CBF038A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef0c8b1a6a158371fe88de390e26c8fdbc7a2965","datavalue":{"value":{"entity-type":"item","numeric-id":988236,"id":"Q988236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$28AB3CF2-79A8-4D69-9C33-3B0F8557604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ee01e6e2557dd86cf6bf3cb9bb8e81c8401fd","datavalue":{"value":{"entity-type":"item","numeric-id":247886,"id":"Q247886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$E5B34620-765E-4039-939C-3FCB40BA0951","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"039449918372fd36372960c159b1f017e2991028","datavalue":{"value":{"entity-type":"item","numeric-id":3188827,"id":"Q3188827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$3870350A-CE10-408C-9AB5-EC962D583A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0368fcac4180a6b094041fe719d3c9855e55cde6","datavalue":{"value":{"time":"+2019-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632221$AA401FF3-EC4B-4DA2-A369-2840A5E241BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$BACC4D36-299B-478D-A045-46CF9E17975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$7B3623A7-5334-46A0-84D7-0878DC8D2082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$F4F1C2F2-8AA3-45CE-BC67-984DAF9DDBBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51a5e930943e8450b326e48f2de6692c03af108c","datavalue":{"value":"7048118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$FF3640A6-EFEF-4401-AC1B-02D3F4AF4161","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":"Q4632221$093F0463-49FE-46B3-9C20-7BCB7DF598DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e947cfe86f099262edaba38b21bfdad0e30d26bc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-59605-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632221$7B001C5B-A0B5-4B46-ADB5-C3C948C087C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a866839f4f45b3516d79c73a7c95ab665f5d0fb","datavalue":{"value":"W2618442377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632221$469677E6-CF71-4B15-90FE-1DE8CE6F0D16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f7a2f102c4db6b5455a866f103958c8d7bc3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1610035,"id":"Q1610035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$672AF1A8-D561-4AEA-B386-F55A5C30E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856710ed2fcf5bf6ae45b1db81ea9cbc6bbc540c","datavalue":{"value":{"entity-type":"item","numeric-id":2073174,"id":"Q2073174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$920C7902-1EF2-43D0-8E86-A7DDE8CB7A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d9185421849e56243989a0374734d81cc0501e","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$5E2128CD-CE34-4D4D-B5ED-33662D489B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1075903201a7b5a96eb9e60933d437eac5400eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5354392,"id":"Q5354392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$44CDE38E-5655-4124-A596-8F8A3D147B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49347a96ea5f7172477fd3a5c9b8312b90cb768c","datavalue":{"value":{"entity-type":"item","numeric-id":3101335,"id":"Q3101335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$3E5C1394-C945-426D-81D8-FC046E828F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec7b6498d21cf7bf18db5a229c82ff0a4ad418","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$17CC15FD-1B55-48BC-B4D0-FCFC64025ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625b1958ca90c6dbbb5022cab779fa002fd53651","datavalue":{"value":{"entity-type":"item","numeric-id":359981,"id":"Q359981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$6B5B0AEE-C2D6-4E52-9A6E-428021A9A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e267610204f256de2e3463c79f6cebae528c8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1391912,"id":"Q1391912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$2C5F17D6-C173-44EF-A1E7-0FBE274CCA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d10f0273dabecfee34e6bcdd4d9536d2744ebe","datavalue":{"value":{"entity-type":"item","numeric-id":893727,"id":"Q893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$1269C5A0-B899-44C0-B0EE-6FB780003DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0487e6c49f3c60c4f0c7434d8c41cf6be07d030c","datavalue":{"value":{"entity-type":"item","numeric-id":2909190,"id":"Q2909190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$5E5C0859-6548-4C63-AE7D-E219A68F2D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1f2e93e2ed69514afa1568e15512d0d12ebbe","datavalue":{"value":{"entity-type":"item","numeric-id":2768371,"id":"Q2768371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$7CD73358-F14D-4753-9EB8-E6A551FFF37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0fa65003fefe45a5b26937ed35c7dae7f68e78","datavalue":{"value":{"entity-type":"item","numeric-id":5415523,"id":"Q5415523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$F0DE8BA1-0AA2-4DEF-B718-49BCAF03AC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a313fc435d946c5fdb4b8ab71fcebb9bc8c2ca","datavalue":{"value":{"entity-type":"item","numeric-id":5259617,"id":"Q5259617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$E3F18B23-C0C3-4676-98E9-230CE5F924FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78eb172cba2dd5b9c0e887df7d8b259b707f6b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4739584,"id":"Q4739584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$7F53D8EB-448D-478C-993A-991B4C61A8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada94e07b5dc6281f31941be6024fd6e3ba86c79","datavalue":{"value":{"entity-type":"item","numeric-id":1944049,"id":"Q1944049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$A2A85BEA-BF6F-4C75-B125-A5B04765BC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f7a7ddc89cc967c7661f9274793c71f86755a8","datavalue":{"value":{"entity-type":"item","numeric-id":4475628,"id":"Q4475628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632221$A8DFE3CA-3907-4FE1-BA60-013AD430BEC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e363efcc982e5a70fbd5d739f48cafbef4c2ed0","datavalue":{"value":{"entity-type":"item","numeric-id":2643309,"id":"Q2643309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e753be7c62b9ae8d1df747208a0ab0eceaa77340","datavalue":{"value":{"amount":"+0.9111273","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":"Q4632221$B7D86523-8C27-487D-A1F0-488568BE3CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24057c8837c202f0459cda5295dafb5fb3ab8fb","datavalue":{"value":{"entity-type":"item","numeric-id":3439118,"id":"Q3439118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180e9d4d623cfd2ce05271f111c96882bb9f1e92","datavalue":{"value":{"amount":"+0.9080062","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":"Q4632221$10E46FD6-6C7B-49CE-954F-C66DB61FD778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2feceb5e7852d2db4528a9662e557e28fc2ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2674182,"id":"Q2674182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4584b663880ca02c6782765c6c32721046982b86","datavalue":{"value":{"amount":"+0.9012335","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":"Q4632221$6FDFEEC4-307B-4E3E-9184-EF3977DA6157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5a289c0d5442e688b4096dc8e387753b9b25a5","datavalue":{"value":{"entity-type":"item","numeric-id":517195,"id":"Q517195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0189a3bc8864d9d84f5bba096310419dd709832c","datavalue":{"value":{"amount":"+0.9005013","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":"Q4632221$561FCBA8-1E9E-45E9-B16D-DBCD35B6CEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d036f28a1ccd3ccf8d4b10c1a0e58f2ebdac3969","datavalue":{"value":{"entity-type":"item","numeric-id":4954175,"id":"Q4954175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606e3cf1807e5190cb08e0cfc302f68c3393dcb9","datavalue":{"value":{"amount":"+0.88904464","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":"Q4632221$AD0A3A09-7E79-44C5-8D24-D7000D337E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac71dbfc94f01591e0b905bd5fa0c40d33a8a527","datavalue":{"value":{"entity-type":"item","numeric-id":2741517,"id":"Q2741517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7db91a0eac75166300acca75cb3518f15d1ac51","datavalue":{"value":{"amount":"+0.88866735","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":"Q4632221$BCA38D9C-31F2-4759-A0D6-7DC2C64BDC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1105489f140914638f90a354071df9bebf7b04c7","datavalue":{"value":{"entity-type":"item","numeric-id":5133620,"id":"Q5133620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43605d438cfea52a5029d733fe67b2c32af741c","datavalue":{"value":{"amount":"+0.8837636","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":"Q4632221$32ACEE40-BC09-4951-8ADA-16F097DB7BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23ba00511e8ddc65ff714505597454f80f425df","datavalue":{"value":{"entity-type":"item","numeric-id":2674179,"id":"Q2674179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9178cd4637e4c28e5748c6e1560331cf849c757e","datavalue":{"value":{"amount":"+0.8808502","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":"Q4632221$0ECEFD0B-D23F-4FB6-B67A-D84860B76DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6beeb5de4bc8b107d0142d5039517690f849b0","datavalue":{"value":{"entity-type":"item","numeric-id":3069746,"id":"Q3069746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e2b5823ca7afdf1ede3550dba6c104ee7164d7","datavalue":{"value":{"amount":"+0.8802785","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":"Q4632221$3B92AF95-6CBB-475A-B0E5-9F61E8DCD089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Phase Transition for Maximum Not-All-Equal Satisfiability","badges":[]}}}}}