{"entities":{"Q6733718":{"pageid":14452496,"ns":120,"title":"Item:Q6733718","lastrevid":105859757,"modified":"2026-10-21T12:33:38Z","type":"item","id":"Q6733718","labels":{"en":{"language":"en","value":"First-order Logic with Being a Thesis Modal Operator"}},"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":"Q6733718$6083E376-9DB4-4F57-9F09-878E4E2F2CCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fecb2f2a7c1f813db3a025a7dd8b5d82439618b9","datavalue":{"value":{"time":"+2024-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":"Q6733718$C00FF6F9-39C7-4F83-9B57-3BF7BCF483A8","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"3418b288c3dc7f157faab0c8378715dc8c8c4085","datavalue":{"value":"2406.16133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6733718$5DB96FAD-A77F-46CB-883A-A654BB5D38D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"110cf2d13bc0c342e6be9209eedbedf1585cafa3","datavalue":{"value":{"entity-type":"item","numeric-id":2275104,"id":"Q2275104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6733718$3454BC42-C59F-4823-B765-349733D3953C","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":"Q6733718$9256EF7E-363C-46B8-BB08-A111AA27C899","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":"Q6733718$857BBF45-5779-40FA-9EA5-D9840ABAEDD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order Logic with Being a Thesis Modal Operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_Logic_with_Being_a_Thesis_Modal_Operator"}}}}}