{"entities":{"Q5231279":{"pageid":7260847,"ns":120,"title":"Item:Q5231279","lastrevid":91736483,"modified":"2026-06-04T23:56:22Z","type":"item","id":"Q5231279","labels":{"en":{"language":"en","value":"Axiomatic and dual systems for constructive necessity, a formally verified equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7098173"}},"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":"Q5231279$F52E2ACD-8CF2-4622-A0F1-EE4100D8FF74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4d7f5889eba5f4a554e2457a5c04aac2f29b05c","datavalue":{"value":{"text":"Axiomatic and dual systems for constructive necessity, a formally verified equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5231279$F235B01C-2FA1-4BA0-8AB7-E6F74C55F061","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35067bd4dbfa784449eef1e9c579767fab36afe0","datavalue":{"value":"1444.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5231279$D743BBF0-7A6F-4765-BB86-371204F688E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"822224ea1dc70b383980373a32b826eda276d4aa","datavalue":{"value":"10.1080/11663081.2019.1647653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5231279$6DBEC3B5-73C8-483E-8CC3-3F027EFC1E3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77349d7f7398c47e6d2065cd0d80588fae809ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2133448,"id":"Q2133448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$FFEDFBD1-6D19-4CC8-8F92-495FE0FD0A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"617513ed20293f92b2f67987461eb17d18d83c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2133447,"id":"Q2133447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$E8439598-6EA6-41EE-9B67-2883D07F82CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"803bea2a250aa044a568a4d507a15b39a3e843a0","datavalue":{"value":{"entity-type":"item","numeric-id":2133449,"id":"Q2133449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$B044508F-9164-4067-BFD2-6945785C7FB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$F11B7C90-CA19-484C-820C-5F660C6BFF8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5330ccce69685b24a519c48e9ea69d50ce476908","datavalue":{"value":{"time":"+2019-08-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":"Q5231279$6DCE7638-19FA-419E-B9AD-FB74C4F16B71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5231279$68507474-B8E7-41A1-9444-00D8E99AE6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5231279$D55E572E-7F04-492E-8956-BD074449F187","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40410cb960b2daec3ecc9d74d22a6ed370325ef0","datavalue":{"value":"7098173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5231279$02111ADC-6DF3-45C6-9CB7-8F8B90971D2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q5231279$9A312BDA-58CD-4C21-83C0-BAD8BC9B18EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5231279$9FB74B76-DC44-44C7-9E07-8ED2EFF167FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5231279$BD3CFECA-03DB-4CC0-9ABF-871323EA1473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5231279$F4DE4243-93A2-4C61-B48C-E3C048AC9403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b62059f41d2b9ce562f1287878e05ef772efad","datavalue":{"value":"COQ","type":"string"},"datatype":"string"},"type":"statement","id":"Q5231279$27D24411-8048-40EC-8DCD-9641A51CB7D1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$8864B710-38B4-4D37-996F-A2E3D9399516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$12C728D7-75CE-4238-A358-5022AAB11CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$CC185803-26FD-48D3-ACFE-5C8C0DEA03DA","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":"Q5231279$B67D4E1C-CE1B-4DCA-8066-A2F2916424AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e81c87f826adc8d5a24820c34745c7f2f8ffcc4","datavalue":{"value":"https://doi.org/10.1080/11663081.2019.1647653","type":"string"},"datatype":"url"},"type":"statement","id":"Q5231279$A0F14307-80C0-4AEA-8E06-14A8E2701DCA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3d49a10cccfdfe7e9184af6e3bf9285002b46bb","datavalue":{"value":"W2967502375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5231279$C02A6A3F-03F1-4DF6-8A9D-7F2ECBA9C507","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36370121c36b0c2edeeeafe9a4528a350aba816a","datavalue":{"value":{"entity-type":"item","numeric-id":3523171,"id":"Q3523171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$8CA5BEFB-F17C-4EA7-8849-0C18AE984B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34d9b1e4e7ac9abe6effd9d10da2be3e29dc93b","datavalue":{"value":{"entity-type":"item","numeric-id":3600462,"id":"Q3600462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$A427F643-13B0-4A52-8E48-2C0EC4D97DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8448c0105e91748355fbfe83c6a8ebfb33e3531","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$8BD040F6-0C2D-4C0B-8033-D2D8D481E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361c1fc07090edd3c1b4894a28402a53e226b577","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$85822DB4-38BC-4DFC-9C75-2C63858013A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450927e1d852a7d15cf0194c2cb39e02a3cf5c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4007157,"id":"Q4007157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$4A77ED33-7BB4-4984-892B-E4901D241F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$EAC24B4A-8D84-4854-8AB2-57E093DFA630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$4DC89963-1933-4C2D-9604-CD608D2FFBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$9B4B1D40-46E6-431B-8AD1-47C99C102D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08a437a70cf639d99741bc364e8aa3e5f667ca","datavalue":{"value":{"entity-type":"item","numeric-id":3605521,"id":"Q3605521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$04EA1616-403C-4344-93BA-D3288F2C7BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$EBA3528C-5B86-4CFE-81F5-DC86A0B93274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$808D7765-DD86-4184-AF61-35EC25A520FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e71729ea20b25ac29e78246550bb4c8ab42ed4d","datavalue":{"value":{"entity-type":"item","numeric-id":1652988,"id":"Q1652988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$A8CB2792-3AE2-4EE9-8421-62B62BF83074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$7FF8D8FE-B79B-41D4-B84A-321D7B6BEB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$1C13B421-8816-485B-81E6-FE3FE5629C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e41b93429f813e71d5e3c04b6c8dbcbfcc05f57","datavalue":{"value":{"entity-type":"item","numeric-id":5249300,"id":"Q5249300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$A1AFCF71-E109-41E1-910E-6F13F5339FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$AF3C269C-20EC-4D49-9D21-B28963BEF194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$37F22A3F-6C1C-4CC7-A6CE-40A4D88FDDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$AABE69E7-F6F6-4F3B-85CF-EEADE8A8E0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$7972C20F-4C44-4B7D-B83D-8FF90AD9FAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e8ec785db48513b7a19c3e9a1dc867c365622c","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$53126B63-47DF-449C-947E-FBC0A95B83DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$5064FCEF-8FA9-47E1-8592-61FC99558A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191e9aa8283541e6a8e1a9c064cd250820506f48","datavalue":{"value":{"entity-type":"item","numeric-id":4219051,"id":"Q4219051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$FF74BC2C-D78D-4D9A-BF0C-CB6D83F669B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adf8ba65b22cb108cd3fff432281939108477768","datavalue":{"value":{"entity-type":"item","numeric-id":383061,"id":"Q383061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$56588604-18F8-4068-B8CC-C778F9D1A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509550bb15dc4a24dd6e031ebb52f20544819d09","datavalue":{"value":{"entity-type":"item","numeric-id":3638285,"id":"Q3638285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$3D1D05A5-8956-44B8-93AE-049000B3FE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855e761ede5bc65d1d5bf438ef81aa507f97446e","datavalue":{"value":{"entity-type":"item","numeric-id":5590039,"id":"Q5590039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$443BFFEE-4E8B-452D-8623-31230860BC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$8ECE5D0D-3136-407D-8EC6-F27BD6B4D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$E8AF15B6-C35B-4E2F-A3F5-F8A17DDCDEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d1c043035191d540c37555c23f0303b7675915","datavalue":{"value":{"entity-type":"item","numeric-id":3241192,"id":"Q3241192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$30D926CE-A8DC-42B2-A158-D73FE68EEE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9ef798e3ca8ce1bee688f2fa85b74a55e80258","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$F8850BB0-218B-48A4-8C43-C1822270F583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb103918e031217ff37d103578191225b1a433c7","datavalue":{"value":{"entity-type":"item","numeric-id":5843956,"id":"Q5843956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$C95DF012-81DD-4294-8CD4-3DD64D4304DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bb72cd6bda37262199f054c3e49ed1f627a6fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1392142,"id":"Q1392142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$2F7D4BDD-F370-4581-B261-2D081F60A658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1968a7a950e39434a878f5976f0c19d61093a1a6","datavalue":{"value":{"entity-type":"item","numeric-id":5111325,"id":"Q5111325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$CBECEE38-9D45-47CB-8306-E7E220459A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c133a790f34e564e53e5ca47ca90b590a098c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5824671,"id":"Q5824671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$EBB0CE20-2037-441D-8E69-46D2756B2041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$E740A729-A516-497B-A1B1-A7F85C684415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$A2B4A2DF-012C-41FC-ADCE-7FF2C28EA945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7cac17058daac592139b02ba663fc59735fffc","datavalue":{"value":{"entity-type":"item","numeric-id":4405136,"id":"Q4405136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$2E6EDF27-64EC-42B1-A61C-F7E75DB429EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$116E88B8-E9EC-4FF6-B0EE-FB9CFAC42A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5396675c233e52b8c02a15330c24f234a93204a","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$4F476368-3D41-413C-9D4B-056C2F889490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af5a840eac9faf37731ad779ca035c115dec0ab","datavalue":{"value":{"entity-type":"item","numeric-id":3962962,"id":"Q3962962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$3F0805ED-C69F-4A81-BE07-4842F8A6EFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$A2E9D1CD-A433-431A-9065-0007250D74CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$27EC5A41-674C-4887-BD7F-DD545D2BAA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf8d33b8b327786a9a2b104ad143919c97e9e62","datavalue":{"value":{"entity-type":"item","numeric-id":5408687,"id":"Q5408687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$6D6D7DAE-B725-4B0A-8A69-C09ADC9E71D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5231279$D3AEE412-2F1A-43E4-8724-EBFAAD8DE4DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07c9b82b2c7bdecbbe678b53167aaba8a2b0a25","datavalue":{"value":{"entity-type":"item","numeric-id":2219076,"id":"Q2219076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56188f5c3641d7e69d78a7a454d26be83c6fca98","datavalue":{"value":{"amount":"+0.9040607810020448","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":"Q5231279$07470836-0DBC-4696-8D79-D91E57E883AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa3e52fba1a9078ffd97183f542871dd8723343","datavalue":{"value":{"entity-type":"item","numeric-id":5144635,"id":"Q5144635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da604291876b5a68a202ee938adf11ed9bb0d58","datavalue":{"value":{"amount":"+0.7340250611305237","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":"Q5231279$1563FB92-9B84-4CAB-AA5E-6FE4F19F5E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9785f9a231d01138f2ed876cca6ae3a3c7bb50","datavalue":{"value":{"entity-type":"item","numeric-id":4916063,"id":"Q4916063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b56ebb3a2f5cfff5ef049aab813e0f2255c6635","datavalue":{"value":{"amount":"+0.7266103625297546","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":"Q5231279$9C70907B-BB57-4BB7-9F1D-CC07A84CD3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f898127b0c13eea1e50d7c1753fd84736fe82118","datavalue":{"value":{"entity-type":"item","numeric-id":3196338,"id":"Q3196338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4c8c00e0031d56a9c42b12d0d787f78d1985e7","datavalue":{"value":{"amount":"+0.7158500552177429","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":"Q5231279$D11053D4-AA51-44F9-8987-0673A06589E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44165d1dfa33be0b99a3f2bc9194b5b3b9a5413","datavalue":{"value":{"entity-type":"item","numeric-id":3386915,"id":"Q3386915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea39f44b8338198abca345aa165a6e387debc22f","datavalue":{"value":{"amount":"+0.7148656249046326","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":"Q5231279$80789682-DC34-41EF-982B-4132483AADCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatic and dual systems for constructive necessity, a formally verified equivalence","badges":[]}}}}}