{"entities":{"Q7366660":{"pageid":31545278,"ns":120,"title":"Item:Q7366660","lastrevid":108037667,"modified":"2026-10-27T14:33:05Z","type":"item","id":"Q7366660","labels":{"en":{"language":"en","value":"Proof Theory for Non-Contingency Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"aliases":{},"claims":{"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q7366660$A7EDA658-9038-4381-BB77-E8FA34BC0DE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7366660$52A29B63-75B9-46B6-BEAC-92286791A3F3","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"8ba4f0b4ec13950abe7f81932178ebfdc9db6958","datavalue":{"value":"2609.38975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7366660$1EDDF382-835D-40D2-9CE4-2284F844051F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bb96d56c70301b3b58c1a76ad1650442c8e508e","datavalue":{"value":{"entity-type":"item","numeric-id":2172828,"id":"Q2172828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7366660$9B857FD5-9692-49E6-B50A-45C16D383B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3695b78bd75206b88a4f4793ba8d2e026f418ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5884971,"id":"Q5884971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7366660$EC71DBC6-6E8B-4D15-8DB8-84E41875EAFE","rank":"normal"}],"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":"Q7366660$830F8BC2-485E-422C-8C34-2E8CE7BCE123","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":"Q7366660$C006C39F-21A4-44F6-967D-6F0687DD1E0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof Theory for Non-Contingency Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_Theory_for_Non-Contingency_Logic"}}}}}