{"entities":{"Q5001550":{"pageid":7031127,"ns":120,"title":"Item:Q5001550","lastrevid":92022512,"modified":"2026-06-05T00:40:07Z","type":"item","id":"Q5001550","labels":{"en":{"language":"en","value":"NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7374089"}},"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":"Q5001550$70F8EDBB-8752-49D2-88F7-04706B6A03E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b072557d99316d05e5264d87a9184dbb10c2638","datavalue":{"value":{"text":"NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5001550$8BA19A05-3E05-49CF-9D3E-D51D36FF4914","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5c5b3c17fb66713aab0ac4fca31533f5a2aac3c","datavalue":{"value":"1496.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$C5C266CD-2142-47D6-A80B-238CAEB968BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3d6ec3ee585db7e87c7501bb9508be3b30ca8e5","datavalue":{"value":"10.1017/S1755020319000510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$D46ACB69-594A-45C4-93FB-D996F22E99D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1e6c274f15d23371e2b391eba6df0ffeb290ee","datavalue":{"value":{"entity-type":"item","numeric-id":392293,"id":"Q392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$4A790293-3526-4D77-8C9E-7A3190604409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$033D3EEB-12CB-4E63-BD38-4FD33B3CD787","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":"Q5001550$97DE7E3E-B9BE-43E4-B12A-6348E459DF56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"538c43891d6ed42e339153f3001dcef354f191c9","datavalue":{"value":{"time":"+2021-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5001550$B28B56B3-C197-413A-987F-01C0AA5A73C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef8c22370f2b1e36c4c478e4ba93dc522145b73d","datavalue":{"value":"https://arxiv.org/abs/1804.00955","type":"string"},"datatype":"url"},"type":"statement","id":"Q5001550$4B03A842-B9DB-40DA-9244-365C20BE5270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$A296D6B5-C605-43B1-8733-07AFF168C714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$512AC7A4-0E61-4365-8483-94040E7509BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$7ABF6A99-88EF-45CE-8EBD-6C99585D65F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eed271cc884bbfb96a0f1c1f12a63d2962a2e878","datavalue":{"value":"7374089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$DCCBCC16-E713-4D38-8CD5-EACC46F98038","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24d14bd0e7f89a2e34311c00f42033983e8d95","datavalue":{"value":"non-well-founded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5001550$2B76C38C-4506-4908-B7D1-155EB3040DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de855ea8fd65a3e3409eb19aa5d66ba3dd450e6","datavalue":{"value":"Grzegorczyk logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5001550$8932FEDF-4F4D-4EEE-8938-5346C1AACF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5001550$E177F350-48F4-4C46-8127-C241C80B226A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2be08ae207a4e468d36bfadaec3f53eb5b57f403","datavalue":{"value":"Lyndon interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5001550$B3EF17CF-7381-4BD3-BBA4-CCECE4A789FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5001550$25FB50B8-EE79-4645-AAE7-7E41A57B080E","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":"Q5001550$4435866D-701E-4C50-9B1D-71E11C21147F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"61aafbdffbdcb6c5001a9762d747ff3e8d1c046e","datavalue":{"value":"Q113857267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$8869AE19-12C5-4BA9-AA60-A4665927A4B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$E85162B0-E85C-47B9-95E5-801147365B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77d029ca17e8cbeae5ff8bc11ecd94cb2895f59","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$FCD16EB8-807C-4113-B22E-17688A67474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$19B67F97-B5C2-424A-93DF-5F1DC0FB1C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9942e9f1e7dd047feb564c1ebb997f32e1d2a390","datavalue":{"value":{"entity-type":"item","numeric-id":1346621,"id":"Q1346621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$353A026C-66F2-4ADC-983F-0FCFBB1F58F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba513acce41afdadafe2075e4fa4f56dd7aa740","datavalue":{"value":{"entity-type":"item","numeric-id":3753985,"id":"Q3753985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$CF507D26-EFB0-4602-895C-7846838D6670","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":"Q5001550$D6429B51-9679-409B-9704-A0C224C48BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989f361bfc77f34b4d1069fcf2c9336d696522aa","datavalue":{"value":{"entity-type":"item","numeric-id":5079743,"id":"Q5079743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$C1D8B59D-F20E-49CB-B5C1-B062A85402E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8465229f1314ca485971299fba6aa8e5b3b8a447","datavalue":{"value":{"entity-type":"item","numeric-id":4435467,"id":"Q4435467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$C208B5F3-AA3A-4AF2-99A5-86614D33B606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19dc95b54fafaa5ac5eb0a895dd9a2cde18be38","datavalue":{"value":{"entity-type":"item","numeric-id":2804325,"id":"Q2804325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$999BBA7E-E8A8-4A32-B59E-642345583633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$2E534ACB-21C2-4AF8-8A42-7551F27DDF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c52a16e426b07fb3d6112e080a28145b5248047","datavalue":{"value":{"entity-type":"item","numeric-id":5224693,"id":"Q5224693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$8BCCDD9C-5344-4EB0-BE66-A47F11C59EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b26e9cc57978d750f04b0003badc76239ac68b2","datavalue":{"value":{"entity-type":"item","numeric-id":1685925,"id":"Q1685925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$934CDAD6-7083-4A27-A830-3E70986D909F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a88641bf80929cbb97d93137730a7ae7582c163","datavalue":{"value":{"entity-type":"item","numeric-id":5445167,"id":"Q5445167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$2D92BE72-6CDE-4F45-88EA-2E6C7F25907D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7e40d26e215cb63515d75aadecf2d55f7efec8","datavalue":{"value":{"entity-type":"item","numeric-id":467667,"id":"Q467667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$EC13467D-8249-44DD-9F0A-EA0313AA5351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ab6dad1b7831fcc561506d507866174a555db3","datavalue":{"value":{"entity-type":"item","numeric-id":4201614,"id":"Q4201614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$652413B3-4CA8-4999-B131-0E3793E0DF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01baa0875b000adc190a7be304de990eb7aa7c29","datavalue":{"value":{"entity-type":"item","numeric-id":1173663,"id":"Q1173663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$64713185-F629-4B48-8C01-E0D7916BFAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db95f1ee4fa79a0a20dc41709133bdebaeecb7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1685937,"id":"Q1685937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$098ED90A-581D-4112-8D7B-9434C30BD646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6f8d015c1c14c8b98b81d2a26785a84323a412","datavalue":{"value":{"entity-type":"item","numeric-id":4440913,"id":"Q4440913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$B48F1091-3026-4DC4-80D8-EBE1820317F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$0BFA21DD-F489-4D86-B3EF-5050E5830F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$1DE47C8D-5413-4E7E-95E3-474D4A55527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a7868470ff575c450bc5bf1ed5f0ae6ca7d9f","datavalue":{"value":{"entity-type":"item","numeric-id":5941193,"id":"Q5941193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5001550$46A818E2-B503-404A-9E72-31991D87DC0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3608c0d9325ecfb7bdb7c29662c54fcbf8e8999f","datavalue":{"value":"W3038517329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5001550$22EF0F53-636B-443E-8658-8C2AD1121092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5085a4f190468c7d040e315facfc5b23ae9b19","datavalue":{"value":{"entity-type":"item","numeric-id":1685937,"id":"Q1685937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99236d0f03f726af95c83e609c4508c98ca9c8f","datavalue":{"value":{"amount":"+0.8349106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$B8C0AF01-3387-444F-BC9D-6E2BE51C4892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82928f9b2ecff58228154f24f7a9552ccf3e00c5","datavalue":{"value":{"entity-type":"item","numeric-id":2303617,"id":"Q2303617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19febd1bdeb2350f17afdebe1b0b9e7f21c6977e","datavalue":{"value":{"amount":"+0.73897296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$40E81BC0-126E-4BB0-9187-BD36235E081A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72697c1fe088b2415e3ec23e28fae25fd6c9416f","datavalue":{"value":{"entity-type":"item","numeric-id":2106873,"id":"Q2106873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c349b402a5d60b32be2b0f781911e82a3a075927","datavalue":{"value":{"amount":"+0.72518957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$A9B170FC-6D4B-40AE-B944-A32F9F72C03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493344fa26c059dcc037ce9b245ae67af6dc9c39","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c52cea9971eb0880cc1fdd3795815f0b9c2c33","datavalue":{"value":{"amount":"+0.72093976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$AE80BF17-46EA-430A-A0D2-A3ED54F4B540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57105a6b563cd34a73dfefecf119d66f84baf35","datavalue":{"value":{"entity-type":"item","numeric-id":4583319,"id":"Q4583319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0b246ae5f682f3fa26e23921a5256f75f0ebc8","datavalue":{"value":{"amount":"+0.7140113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$D1500DE8-7FBF-40F9-8487-5344CD04039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d24ebf1716bf7802642c27c6d13e07f422bdde1","datavalue":{"value":{"entity-type":"item","numeric-id":920987,"id":"Q920987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0877a9808a958d6d4d481d54644eecedc23e4d","datavalue":{"value":{"amount":"+0.7123037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$D7E3880E-4A3C-43B4-B6F7-291D77420B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94dbc4d5af6628bf041d1a959215ec69f7cf4ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3753985,"id":"Q3753985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69285f5c8b2b98a32211c4f824d10594d41a8e43","datavalue":{"value":{"amount":"+0.699775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$704952FD-C00D-41DB-A853-ABD00FD862C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a5208f7b785c36635b36163c42f1897fb97de7","datavalue":{"value":{"entity-type":"item","numeric-id":2743647,"id":"Q2743647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e16a882ccdbe1b5b51cccfa929d92c4bf5ec19a4","datavalue":{"value":{"amount":"+0.695227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$F7A24F56-1A2F-4FDC-AB83-193AB8BF7D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04dc940c1ee94a27514000bf104cd108d6a48796","datavalue":{"value":{"entity-type":"item","numeric-id":1419386,"id":"Q1419386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c06aba58c39b26c4158a690fec48ddd80cb9a2","datavalue":{"value":{"amount":"+0.6849759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$E3B6EF9A-6C50-466A-9DF0-4226FCDA11E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e9ce7aa13fa27287a51efd5c0e196edf150cfa","datavalue":{"value":{"entity-type":"item","numeric-id":3639040,"id":"Q3639040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a27db8631cff6852809f86344d5f28713004f0a","datavalue":{"value":{"amount":"+0.6847972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5001550$E0589880-F822-4BF4-A8A6-DBA8410A3D00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC","badges":[]}}}}}