{"entities":{"Q1006738":{"pageid":1008586,"ns":120,"title":"Item:Q1006738","lastrevid":66566706,"modified":"2026-04-12T10:59:33Z","type":"item","id":"Q1006738","labels":{"en":{"language":"en","value":"Solving the \\$100 modal logic challenge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532939"}},"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":"Q1006738$1F3D7B61-63F2-4ACF-8320-CE49E12B9497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"095d244d2d4a0104cf81a9dac56f9f703c3faff9","datavalue":{"value":{"text":"Solving the \\$100 modal logic challenge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006738$1B9AE465-D7D9-4884-BE30-8E25305ECEAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b26ca2df4056a9012f8cfd5432c70b0b6349177","datavalue":{"value":"1161.03302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$08955731-9D97-4836-9318-59825F55BE52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$E305F488-EBBC-41A9-A17A-8B6BA69C1568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$A4924041-81DE-450D-84BC-949923036975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$B8731CAC-0EE8-45BB-A885-621591BA5F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb51ce35a0e10207b50f5b2a0cdf3743a4c896b3","datavalue":{"value":{"entity-type":"item","numeric-id":1006737,"id":"Q1006737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$3E02D35C-0ED0-4DDF-A948-027AB6D4CB9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$7F1E6973-2D80-4697-8444-0DAB04E09C42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006738$3A9D5A7F-1A26-4DEC-8FFF-CE032E2E7B72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$53E106E4-328B-4BC8-9337-5A9798094A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$6B588474-3569-49F2-80A5-57708B78DAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$A7472307-1766-47DE-8969-5754F8E0E680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d33597b987515352f08edcc6f1f19e81283c142","datavalue":{"value":"5532939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$D6B6A298-42A5-444F-90EC-EC0E73ADE109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006738$DF05F97A-3C21-4D5D-A207-34DA7847D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf07ff3f835d224319dfdfac73b5ba3ac7990a5","datavalue":{"value":"\\$100 challenge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006738$96E5F42D-4FCB-4002-A595-61241D1F7BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ad552a626a0b74488133ba03224d029e0b6da9","datavalue":{"value":"subset relationship","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006738$9D5C44DC-8047-4D3A-A4AA-C4CB4E2F3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0636585a1a82200541abfeb92c02de152880331","datavalue":{"value":"axiomatizations of propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006738$9D92E3BD-374A-42CF-94A2-DC286F5131F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006738$D818A596-81BE-4CF2-87DE-0D315A60EB4B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4550141857cda02debcae51ca48c24ef5b835fec","datavalue":{"value":{"entity-type":"item","numeric-id":14468,"id":"Q14468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$1879BEE5-77E2-4473-829E-BF0A32DFF8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$1A55899E-2591-468F-B760-C8E9E0DDC7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$3069FCFC-BCD6-4E36-A05A-7318E5B9DAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$754C69A6-D89E-4A85-BFB1-E937A5A9A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$50DA1EC3-F179-43CD-8CEF-8A43763D3CCD","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":"Q1006738$F4B709C7-0B96-4920-A815-1BCAE2DD9955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"957eea01d0f45d27006f1d5c94fe46647c51ab56","datavalue":{"value":"https://doi.org/10.1016/j.jal.2007.07.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006738$A1CA307F-D61F-431C-97A7-1BA7B0AFCD6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af8f2f7c226babb0a9d058b8f395017a168d84eb","datavalue":{"value":"W2064273963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$AADF6FA5-706A-4C86-BE31-F1E982933193","rank":"normal"}],"P223":[{"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":"Q1006738$85FC428E-076D-4D19-AB3F-97BABD4DAE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$AEF8243A-FF53-410B-B397-9979AC831106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e69fa5e2f2ac754b66363d1885e8388223310","datavalue":{"value":{"entity-type":"item","numeric-id":1610667,"id":"Q1610667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$2EAC0CA4-47EA-4F67-9EBB-554EFB06B689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d51dc77936fcfb4098ad7c52cc8a1349833447","datavalue":{"value":{"entity-type":"item","numeric-id":5712428,"id":"Q5712428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$F2C36748-D45B-4677-8962-A088E696A57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fe9c7bc1afe6e3b7b77fad40b2f8f849bb4920","datavalue":{"value":{"entity-type":"item","numeric-id":4365323,"id":"Q4365323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$D75A23EC-135D-4F5E-A71D-7F9A71605F88","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":"Q1006738$5FD9CEF4-C476-4BE3-B881-6E97AC8397AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0a36b5e5a2f5cb80d9359e24f77fcf45641717","datavalue":{"value":{"entity-type":"item","numeric-id":2721185,"id":"Q2721185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$3A7CBB43-EA2B-467C-B1AD-E086340793BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$FBFE8C0A-0F67-477F-A936-B559339FD8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$7D61D1C0-60D5-405C-85A8-C3CF1E993B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799e9000c66a9302e003e68e1c27e1c7bd28de8e","datavalue":{"value":{"entity-type":"item","numeric-id":809064,"id":"Q809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$51D022E6-C96B-4BCB-AD08-3CAA83844C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$FCFC6DD5-857C-4295-9915-574FEA5B9C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$F71AC7BB-56DD-484D-A6A9-D1317B4C8CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817aa3c90bdb27f45b38e4f92a8a25cab8d84119","datavalue":{"value":{"entity-type":"item","numeric-id":5331452,"id":"Q5331452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$4F0BF35C-0E21-48E4-87A0-B35C2AF80B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a6cc70018fe06d1543ad9cf8635969a6672da3","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$EBBD1E81-785F-492E-8FEF-F5594EF59149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94837cbf421ca0a854fd08e0fbbcf104ba0bef7b","datavalue":{"value":{"entity-type":"item","numeric-id":4264737,"id":"Q4264737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$648D2050-7F43-46B2-8BB5-7BA5B9729DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5db726edf837519cac147ea3a710fea1c2fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4365320,"id":"Q4365320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$1B43BA3C-3109-4EBE-AE46-E34535495B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$0A211AFC-9D71-451C-B2C8-EB1CB681037D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19b5dec4318dca3e66a0b95e2bb5c23f92b09bd","datavalue":{"value":{"entity-type":"item","numeric-id":3229401,"id":"Q3229401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$CEC535E9-80E7-4EBC-9EA4-A9B3D07ECB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$C93F3544-8629-4B54-9250-631947176254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$93E9A213-F184-45ED-A9B4-73CF10774E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$0B3DC385-D507-477F-87AF-6A96ECA504CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006738$B5924425-E37D-4EDE-A84F-9C51886A7677","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":"Q1006738$93F22D1C-E3C2-41FE-BA9A-44D9F4E39C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80fc44d3e8290f27378a576afe6acf8725c477ed","datavalue":{"value":"10.1016/J.JAL.2007.07.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006738$C6520701-24E7-4B71-8471-3A63B97A4E01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5582b7d7402a47da3a89fab8d6854b384ecdf630","datavalue":{"value":{"entity-type":"item","numeric-id":920970,"id":"Q920970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff75c92302839993daeb78c885d16efb62cd1807","datavalue":{"value":{"amount":"+0.7679151296615601","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":"Q1006738$85987188-4A8E-43E5-9780-C3449E21202D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e8485dd1d71560f0453ed8d1686c6a6901c74b","datavalue":{"value":{"amount":"+0.7513142228126526","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":"Q1006738$59A4D28A-CD48-49B7-BDA5-5FFD30780FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4ca972053202fcadf05af1326afd1b3c2d5c94","datavalue":{"value":{"entity-type":"item","numeric-id":4287499,"id":"Q4287499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaa38d662a1156893e8375cbf0e6305c31bbbcf","datavalue":{"value":{"amount":"+0.7471861839294434","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":"Q1006738$C973C845-763B-41C8-80B5-C4EDD188EE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1d80adb4ab2194e4452b04d533da571ab5ea96","datavalue":{"value":{"entity-type":"item","numeric-id":4539149,"id":"Q4539149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e67487bdc43dab8732855988771915437fd37a7","datavalue":{"value":{"amount":"+0.7433390617370605","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":"Q1006738$8ECEC4F0-5CE0-4955-816E-0D35F1D94D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be7832648067ba9f6ea233fadce1b854a0c6a33","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e64a5611d6cd6d736b5f391c32cfde2354d5d8","datavalue":{"value":{"amount":"+0.7430984973907471","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":"Q1006738$A5A72BD6-D076-43A9-A4FD-D3D7FFFBE336","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving the \\$100 modal logic challenge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_the_%5C$100_modal_logic_challenge"}}}}}