{"entities":{"Q1777404":{"pageid":1788146,"ns":120,"title":"Item:Q1777404","lastrevid":48484492,"modified":"2026-01-04T23:25:48Z","type":"item","id":"Q1777404","labels":{"en":{"language":"en","value":"Probability logic and optimization SAT: The PSAT and CPA models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168193"}},"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":"Q1777404$07E939E2-AFED-47FC-86BC-7B4CA9C828B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fb70d8cdfe2a8e3e776a9d4fee492b0f41c778f","datavalue":{"value":{"text":"Probability logic and optimization SAT: The PSAT and CPA models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1777404$7BF42440-3FF7-4C05-A11F-FD817586878D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a26c6e06b0596db4742999d82d816a8220d725f8","datavalue":{"value":"1075.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$203099B3-64B4-4ACB-9B6E-8E6D19CB1EF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e1a293a9ce82b4253e6b403cab38fbc131fcb98","datavalue":{"value":{"entity-type":"item","numeric-id":613475,"id":"Q613475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$B725F2E2-ECE3-471B-80AB-EFAFEF4028B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$ACAD146D-8365-4EE4-A9FF-FFCAE1BEEB23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c64595f4f39ba5aa8c317730455f9500451c9c2e","datavalue":{"value":{"time":"+2005-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1777404$ACF28959-02A3-4793-BEE2-CAAC8448DD34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$B930B404-5B5E-4925-A0C4-FB522C8F55D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$CB36A740-4D1D-48EE-A795-E458C3B14CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$9CC3965E-503B-4BCB-8DBA-894DD6B0F493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8194f94a49f9cd2de9722feaabcdff724afbdfff","datavalue":{"value":"2168193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$C61B6F48-B72C-4F1B-AB67-2E09859D348C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1514011e463f4b96b73949f9956db3dccc72fb4","datavalue":{"value":"probability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777404$655A14CA-FFB9-47A8-95B9-DBF968A5ED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4edc983c61d36c1459b56a24ad03d26c05e200eb","datavalue":{"value":"CNF formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777404$453A5DB3-DE2C-4BD9-AAB7-58D410056AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777404$6EFF4CAD-26CB-46B4-BB5C-45A73D6DF1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b98b5353082f5ae3dd3eedbb2c57d8903e4ca5","datavalue":{"value":"directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777404$2F1CF96B-FBF0-46BA-8DA5-70E0CC4A4281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e7fa2b25192fdb576f970b4197e2c37f9676bd","datavalue":{"value":"ideal matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1777404$0E2DAEB9-6394-445D-9FF0-FA343CA05BB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$17FC35C6-656E-410D-8DF6-A81B5352BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$C08DAADB-18B9-4BF4-B76B-13599C7BE938","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":"Q1777404$325A0B24-D3FF-46FD-B9C0-D8D334A9F849","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52536d5a3854e8ff99c0e5f1e7bde0b7a0ef53fa","datavalue":{"value":"https://doi.org/10.1007/s10472-005-0430-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1777404$28D6FAE7-C4E0-400F-8983-17EC70929D7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3abcc47d595eace133dc832e31f0d40a004c7e94","datavalue":{"value":"W4240109450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$5C687F21-BC6E-483D-BFB4-246677176E1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc5f584152a2faa26608ddf69f53ee0afaa200a","datavalue":{"value":{"entity-type":"item","numeric-id":1605686,"id":"Q1605686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$14589FC2-2760-45BC-B0C0-B9C90D6D73EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7d0b11f9a90ac327af3129ef20e51c62acb447","datavalue":{"value":{"entity-type":"item","numeric-id":2349813,"id":"Q2349813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$F212F6A7-20DC-4410-8956-DAA46E5B94E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09e827f8023a00efe761704fcf72275edb22957","datavalue":{"value":{"entity-type":"item","numeric-id":1601897,"id":"Q1601897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$1E81D2E9-3142-4ED7-A54A-C6E4087DB86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$BFF18E35-3F94-4797-A49B-C814252B32DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e981bcae4cc6c79e02f9b7974cee5434bb3d9cd","datavalue":{"value":{"entity-type":"item","numeric-id":4895431,"id":"Q4895431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$1932BC67-8D3A-4153-9C60-2BF3CADD5D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c54e968ea0ab80beb7b8d2392690f45dccef249","datavalue":{"value":{"entity-type":"item","numeric-id":4369892,"id":"Q4369892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$C39C0879-0903-42EA-92CD-FB8B91981ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcc04208a49408ccf9a22155fb41f30d76bbb60","datavalue":{"value":{"entity-type":"item","numeric-id":293437,"id":"Q293437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$D17ECDF3-A41E-4687-BCBB-14CA15597A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1741f6310e772e885f240971429801e49a46753","datavalue":{"value":{"entity-type":"item","numeric-id":2884520,"id":"Q2884520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$B494CE4F-5A34-4963-98BB-B23819338A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$7A760432-9E9E-4509-B5B5-2FD23DEAF78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$DE053DFB-C2AD-4DBA-9B33-63256A38DB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf29858de9c5759c79a7755f47ba146a7d048c6","datavalue":{"value":{"entity-type":"item","numeric-id":1087535,"id":"Q1087535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$C3BA5EEF-F2DE-420C-85DD-4A1CC598C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd144a71b7a7373dae527a03a211972a57a8ef2","datavalue":{"value":{"entity-type":"item","numeric-id":4025903,"id":"Q4025903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$FD9EEBAF-725A-4E66-85D5-9DCF805E3931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849fcac2d74c4bf4586d691a409b6fe18af7b51e","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$0D256438-36AD-4C89-9085-B9FFCD6F7F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1e8c199d0a3738b5df7039fa423628b9c9f24f","datavalue":{"value":{"entity-type":"item","numeric-id":4040221,"id":"Q4040221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$DB3A3E0D-AF31-4D43-B3EE-E0056DA4C002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$35E00759-88E8-486B-97DB-A0CACAFCF3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b9f1a7b9d16bc3c8d7642391067b84091013a6","datavalue":{"value":{"entity-type":"item","numeric-id":4705311,"id":"Q4705311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1777404$819B40A5-93FC-47ED-8BBE-845E1AFE4ACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a0e7b183c8ad025d832b117d3c9bc9295f63bf7","datavalue":{"value":"10.1007/S10472-005-0430-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1777404$84EE50C1-0786-4B4A-B314-47B6B6CF6E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b508135543a81e05c5e6f3b0d1cf1829b62e99","datavalue":{"value":{"entity-type":"item","numeric-id":2349813,"id":"Q2349813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6746a6b69694d4843fbd96241dc8980d32021972","datavalue":{"value":{"amount":"+0.8207802772521973","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":"Q1777404$BB337EA1-AF23-460F-B848-1AAA21B48B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0d8f0005bd239dca15c7977a3d150ff006b025","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734012c4abc39118192900a096dae8997521307c","datavalue":{"value":{"amount":"+0.8055709004402161","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":"Q1777404$AB532876-4855-4633-BA85-C60DFBDDA55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49075fa60d643316b5dad196b105c43e8dae388e","datavalue":{"value":{"entity-type":"item","numeric-id":1744442,"id":"Q1744442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f199e4440c7d7acd907636c2e131d2ddc12bda9c","datavalue":{"value":{"amount":"+0.7960085868835449","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":"Q1777404$DEA68144-09E3-4AFC-8927-2D90985E311F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607bf7058e6a368aac5e69f87b046b93aaa555d9","datavalue":{"value":{"entity-type":"item","numeric-id":2752129,"id":"Q2752129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c868330b7c139d3ce7eb4713078bc1346c2e54c","datavalue":{"value":{"amount":"+0.7706382870674133","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":"Q1777404$A9C0DA4F-639B-4F09-AEB3-5A4187DBBE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085cfa05341eb9d954d9b2d7e839d576b6f1d6f4","datavalue":{"value":{"entity-type":"item","numeric-id":2784604,"id":"Q2784604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c868330b7c139d3ce7eb4713078bc1346c2e54c","datavalue":{"value":{"amount":"+0.7706382870674133","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":"Q1777404$76C48732-039B-44D1-8C2F-79AB53A88EB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1777404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1777404"}}}}}