{"entities":{"Q4577994":{"pageid":6607581,"ns":120,"title":"Item:Q4577994","lastrevid":53160362,"modified":"2026-01-24T08:45:12Z","type":"item","id":"Q4577994","labels":{"en":{"language":"en","value":"Many-valued logic of informal provability: a non-deterministic strategy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6914162"}},"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":"Q4577994$E5CA50B0-8902-4674-B1C6-C82238E8A91C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bce9d64b06b498d4dde6afd80c71303b977c835b","datavalue":{"value":{"text":"MANY-VALUED LOGIC OF INFORMAL PROVABILITY: A NON-DETERMINISTIC STRATEGY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4577994$3782FADB-98E3-48BE-87FF-1DF918041F5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25573df633e9dd2e19a0b8272a16773655c0b7b3","datavalue":{"value":"1502.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$E46D53AE-70F3-4D90-94BE-36A5B7022C70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"229771c13835ac0795b9d3d2cc4262989fd10fef","datavalue":{"value":"10.1017/S1755020317000363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$79E45427-047F-428E-945D-15C349B30087","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12bbf96907f2b09c701c97776a6699f918047bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2071577,"id":"Q2071577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$0C859E17-79F0-4E39-9D87-E661825EB4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47b5d96e9cc5640a5ea71f333ff022c2d4e7700c","datavalue":{"value":{"entity-type":"item","numeric-id":301343,"id":"Q301343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$D373C9C2-7EDA-4254-AADE-C0FBBE13200E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$082CF9DB-6A62-4056-9E85-29303CC5AA24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89491f4edbbfbdaec325200478a08405f9ca4759","datavalue":{"value":{"time":"+2018-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4577994$F62F5BDC-8B88-403E-8C4A-C74B28F7B05A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$A6A3CCAF-05A7-4D17-B5C6-5E4ED56E21B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$DE6440D7-87B4-4671-A810-4C905396B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$44441D34-ED8C-44FE-B211-B0A069FE7B6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29ce2841b1605cf69119fda279987a9ed9a8eeba","datavalue":{"value":"6914162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$8E87A95E-79CC-4D32-8C66-14B57D3B8578","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67dae38ca17306f68e424a6610577a80feea1c78","datavalue":{"value":"informal provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577994$71C3F17F-A2F8-48F2-9591-7896EEA595A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577994$25CE498F-C3D3-430C-B8D5-38775F6F0EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577994$DFB0A717-7717-4176-81DB-E4731DCB6441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dbe256b2133aa352d9ca7d2796c75c57cd693b","datavalue":{"value":"L\u00f6b's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577994$24085321-66FA-4F92-A3EE-1887BB301A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf94de47496214da19a0185775e6966af6b05d8b","datavalue":{"value":"paradoxes of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4577994$68AD8FC5-D224-4EB1-877B-5EF25482B190","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":"Q4577994$8B598005-0BC2-414E-80BF-20E435879D16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca72e11b92b5c50feb450c67afd942311b1730f5","datavalue":{"value":{"entity-type":"item","numeric-id":5695174,"id":"Q5695174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$5FEAF372-574B-4614-8C19-A362FA0725D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$CD07629D-D17A-462F-B69D-6FCE3A79A85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b328bb16502eff1f0ba9d3c2f73967745a4e979e","datavalue":{"value":{"entity-type":"item","numeric-id":4586135,"id":"Q4586135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$32D224E1-059F-4489-9EC3-BB4DE3428E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21112f4950ab67e0b53f0fe711be2e562cd9bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5687316,"id":"Q5687316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$F3C55801-40C2-499C-BFF1-2F9DA3F6C1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7dbaeda567fbd2f86b8f4bb858bd9fca576e13","datavalue":{"value":{"entity-type":"item","numeric-id":1299766,"id":"Q1299766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$3ADCB82D-3686-4F3B-88BF-C35E18FD920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$D9EF7DB7-8839-4262-980F-0962763804FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456346942c6f1df25e2d0aa0dff23b3f8bb2b4be","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$E178245E-E081-4141-8036-37995F9DFDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b42e084fde522be211082218d43628a5408afe","datavalue":{"value":{"entity-type":"item","numeric-id":3992933,"id":"Q3992933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$DD14399D-6905-40FC-AE33-1AD2EE925037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fd46ab013fa0df7a03d2db93b148b9403f6040","datavalue":{"value":{"entity-type":"item","numeric-id":3347874,"id":"Q3347874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$4B5859A9-9765-408E-A736-73A8EAD755A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba07cd0d09269616863d8c9bd169c34f66443dc8","datavalue":{"value":{"entity-type":"item","numeric-id":2965627,"id":"Q2965627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4577994$C3EE5832-B7EA-4D36-B537-F18D20B341E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3704090c9cc3418deb886944cc09325470d0c8e2","datavalue":{"value":"https://doi.org/10.1017/s1755020317000363","type":"string"},"datatype":"url"},"type":"statement","id":"Q4577994$260EF686-085F-46D7-8F2F-FF0851B8D191","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8711c78cf489324945283122dca8d6d24255ac0","datavalue":{"value":"W2782983618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$2C930793-4D2A-432D-A8E6-3FAAF3C65412","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d39be62cc8f873ac36f4f64f11c096fc3908f5a","datavalue":{"value":"Q129724497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4577994$126043CC-0BB7-4224-8286-B9A2157AFDF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3ae497f257653137785506261432fc4bff677d","datavalue":{"value":{"entity-type":"item","numeric-id":5384361,"id":"Q5384361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5526256d4223bc2c4649640bd5d1bec6c840b38","datavalue":{"value":{"amount":"+0.844972550868988","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":"Q4577994$6A0C4752-F6F5-4FE0-94E6-794041E2BAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9eaea931ed527569de877003b4804d5f5a7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5877712,"id":"Q5877712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a146ff2eb47b942fafc611ea343be8ce3e8ca5","datavalue":{"value":{"amount":"+0.8446277379989624","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":"Q4577994$94BF9E35-F8FA-459B-B2F2-E9EC84EE4583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d4fb1de3991f4db7e060674e6c41368b96cbe","datavalue":{"value":{"entity-type":"item","numeric-id":2071578,"id":"Q2071578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3041119b59fe3915a7d59242e30fa203f2dfbfb5","datavalue":{"value":{"amount":"+0.8169976472854614","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":"Q4577994$647AC757-45F5-44A6-8BA0-85D8DE98DFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6bd98da1bbdf3497e1b51e04ae382691b0db12","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5629126da6d659d26055a012d2fc1766878511","datavalue":{"value":{"amount":"+0.7741184830665588","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":"Q4577994$3D013F88-FB7C-4AB2-A017-26BB13C3062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c1bee8f2cd2a00ed0de4a20baf4b696b94c72b","datavalue":{"value":{"entity-type":"item","numeric-id":4763534,"id":"Q4763534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c632730cb8dd394275c28a925b5d529a5b1b3639","datavalue":{"value":{"amount":"+0.7445669770240784","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":"Q4577994$EE1BAFCD-4899-4B71-8D84-889237D34793","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4577994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4577994"}}}}}