{"entities":{"Q2643149":{"pageid":2653892,"ns":120,"title":"Item:Q2643149","lastrevid":79135223,"modified":"2026-05-06T13:13:30Z","type":"item","id":"Q2643149","labels":{"en":{"language":"en","value":"Mechanizing common knowledge logic using COQ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182256"}},"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":"Q2643149$0D960BA6-A97C-4BFF-B7C7-0E29E97C01A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60afa076d7733892d1c91ae025777a1d3dd5f442","datavalue":{"value":{"text":"Mechanizing common knowledge logic using COQ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643149$E28B1FF8-2ACD-49C7-AF27-86E9A40C6F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c424629c875797b95fbf695dead0b4f4594249d0","datavalue":{"value":"1122.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$F5D78165-53BC-49A6-871C-BF218B304098","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$E437F795-DD58-4824-BCBC-F04C894D6298","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":"Q2643149$AF30C48B-6FED-4EB7-830D-E9E5FA479848","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643149$3440E715-EA90-4FE1-A797-0975510E0EBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$B8849612-D133-4AF6-B1D0-8855486E830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$1CE06C54-B85E-4B0A-B50D-F7CDE053D4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$80C4179B-02A0-4A52-AD05-4AFAAFD15CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$EE640425-8221-4EFD-A00E-248C1D56ED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$2390C48B-C6DB-465A-A420-773950F8F467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77137693dc38c32ec3ce24a069848e39ea32e822","datavalue":{"value":"5182256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$199985C8-B887-417D-B22D-E7A10267ACB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8674d3ebe3f70821c8c79aee5e715b3319e9c5","datavalue":{"value":"Common knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643149$87AEBB56-6444-4F08-8800-094B74CC5E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b62059f41d2b9ce562f1287878e05ef772efad","datavalue":{"value":"COQ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643149$2F1EEA66-15C6-42DE-ACB0-21A44169AFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e53a568ac30a9903c606fc09c74fe23d0f2c38","datavalue":{"value":"Epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643149$024C5593-1085-4168-A6D3-000A248E44EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbcb47d9ff6321fdab94b4aefdc10cbdb1ae0155","datavalue":{"value":"Higher order common knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643149$47E1A3E9-9F35-42C6-9895-EA9993176C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4d2e450b9fcd5e59894a3132f0c0f91a2f1621e","datavalue":{"value":"Modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643149$8D08D0EF-5433-4715-B32F-95E18539B57E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$520D55ED-979B-4A72-B315-0E53409D7F41","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":"Q2643149$13E6E4BA-6E52-40FB-9DA5-7ABF6BC97E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$3A155884-9BAD-4592-9D55-0D04B4956843","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":"Q2643149$F4BDC783-9879-4F04-B09B-677223C6F7FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d485a4a421c01c41be220f68f4fff1cdbf91d538","datavalue":{"value":"https://doi.org/10.1007/s10472-006-9042-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643149$012EB860-6CCA-4988-A856-E57C758065FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b3b2ac9e10a7bc45431b549b81f15a1c9de419a","datavalue":{"value":"W2001676074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$617093F4-448D-4E32-BF8B-AA7DAE1651AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802b92179426485912c2faef566750722ed4017","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$6FE99CC1-714D-447E-84EF-4E8366EAF33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d571d9b913ccc9b8f1f831427221ff0a2ad97d7","datavalue":{"value":{"entity-type":"item","numeric-id":1247127,"id":"Q1247127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$74EAE07C-F6B6-471B-9F1B-809F6FACFC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20f1e92d04f3a6d0b3c87f0e0b6a43eb5c087","datavalue":{"value":{"entity-type":"item","numeric-id":1890908,"id":"Q1890908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$3BD40F3D-FE2A-48A2-8A5A-72CCB8F780E4","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":"Q2643149$3D84D811-5E5A-4AE2-BF44-D55EDC665C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5cae3a6dddd4b0039b4d60187b9cfa833039fc","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$2538D9AB-B92F-4F01-AF1E-D3B11C38700E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72827dab051e44c54a6dc51a6cabe4f8f498a44","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$65BE814A-EDC9-4F22-A5E5-FB9540BB1308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$D8A555B1-D296-49D9-B623-B76E5D9A4B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3f05f853551418cca4e182137d4215cf968e94","datavalue":{"value":{"entity-type":"item","numeric-id":3113047,"id":"Q3113047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$521A92A6-DAF4-45BD-9E86-6607FE575F43","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":"Q2643149$CCE47773-0790-45DD-AB11-482448417154","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":"Q2643149$045BF483-A55F-4B60-A104-8B790A3C68F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$A6B12541-A7EF-489C-AF97-4332191B50BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccacf57e44feec87e4952adcb18588307f121d1","datavalue":{"value":{"entity-type":"item","numeric-id":4698061,"id":"Q4698061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$E3663ECC-C746-4A49-A824-DDC7D3CE9849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7693d3e6c7f7a7def4b90dc545f42dcf71aa2e41","datavalue":{"value":{"entity-type":"item","numeric-id":4221242,"id":"Q4221242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$0130EDF7-AF3A-4F3F-BFF9-361B25FADFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$E4094402-65CD-4FBE-996F-EDF1D4171766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$D6A8B370-29F8-4DD0-AC37-28832BD78A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65515986f2572b67c0d20d1d5c16dc71b3862c3","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$420AE071-B789-4AA7-87FC-9026AB9FCDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$0004174C-EF4E-4526-99C4-B74B673320F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c27cb0004da1bf3ad60b69ce7b9092876b66c9","datavalue":{"value":{"entity-type":"item","numeric-id":5862301,"id":"Q5862301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$0ED077CF-8401-4F85-BFA5-F4D8B2036FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f456b2cec834bb3b208bc61e1885b09b45984bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4262577,"id":"Q4262577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$29596955-C5E5-495B-AC1E-29379BC74E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7a117d3801160d4f9cae9ba3bf727678dfda69","datavalue":{"value":{"entity-type":"item","numeric-id":2864157,"id":"Q2864157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$A0321733-5F59-49AF-BC95-78D166A3A34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6edb39d1e3a0f293bf6e1236ae0de500854b18","datavalue":{"value":{"entity-type":"item","numeric-id":1895975,"id":"Q1895975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$B9E9129D-2D0B-4407-8818-28E37FE13594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727e4fcb174852dbf7f8d1745be850a52bb6ad4b","datavalue":{"value":{"entity-type":"item","numeric-id":5633670,"id":"Q5633670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$8D7A473A-FA0F-4053-ACD3-5841C96F4D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$83AAB077-E468-47C9-93D2-A5325BE90C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150bd303c0bc12dbddf0384691a9f7da8560deb3","datavalue":{"value":{"entity-type":"item","numeric-id":3901265,"id":"Q3901265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$0E557CA4-0FB4-4634-99AF-C2318BFA6230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff772e09974254b2251356edfb6a78e40ed9929","datavalue":{"value":{"entity-type":"item","numeric-id":5289009,"id":"Q5289009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$86E26F77-8A68-45AF-A62E-DEC8DAB9924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820c6afdbb37196b0c0fdcd6ca2560dbb527ef42","datavalue":{"value":{"entity-type":"item","numeric-id":1257012,"id":"Q1257012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$891004DA-98BE-492E-BF58-C98A312724D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$6B45DEB9-E7FB-4B52-9A63-2CE6C64CB0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643149$444E642B-143B-4CD4-98A7-BC4D96424FF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"206a24035ff75761e37f6f96eeec897a53ef4a04","datavalue":{"value":"10.1007/S10472-006-9042-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643149$3C6995E0-77CB-4D20-9D75-9E2AFC2F05BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d9a96f328bccbb08f8d39a2852be1a71333b57f","datavalue":{"value":{"entity-type":"item","numeric-id":4916081,"id":"Q4916081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba70a9e57a8cfecd07d073ac77d61c12e6a8b253","datavalue":{"value":{"amount":"+0.9065110683441162","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":"Q2643149$288622AF-4709-49FA-9D38-3C0A776FA3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bdcf28199b9f473000bfc06f3418c062851898a","datavalue":{"value":{"entity-type":"item","numeric-id":1791151,"id":"Q1791151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e65d63ab3888144c795a919eeac923e9710d666","datavalue":{"value":{"amount":"+0.7813332080841064","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":"Q2643149$2899E3AB-7FA9-4CCF-80A9-554964F6BEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0609030fe0da436a2b9f674a3ccae551f4bbc30","datavalue":{"value":{"amount":"+0.7487369179725647","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":"Q2643149$986EFFD5-F61C-4087-9D07-345943AA8DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5298c5a5e72b19443da416c0ed19df9e277f6b1d","datavalue":{"value":{"entity-type":"item","numeric-id":3185764,"id":"Q3185764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5077b12ea6d8f303451cd34380a35b4040fd2f9","datavalue":{"value":{"amount":"+0.746272087097168","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":"Q2643149$8140450F-3F2F-49AE-A1AF-5C48ED7C604A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c82d7ea3abe638f84dea7f03893272e5e5ac08","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58132ff16e75769246da9590e36521c8e11e51e","datavalue":{"value":{"amount":"+0.7452093362808228","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":"Q2643149$23A5037D-0A15-4414-A9D3-9C3B0869FC78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing common knowledge logic using COQ","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_common_knowledge_logic_using_COQ"}}}}}