{"entities":{"Q7188601":{"pageid":22195058,"ns":120,"title":"Item:Q7188601","lastrevid":107439281,"modified":"2026-10-27T09:51:09Z","type":"item","id":"Q7188601","labels":{"en":{"language":"en","value":"Proof-theoretic Semantics for Second-order 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":"Q7188601$74190E4A-F076-49EE-8F60-C9E67C1CCDB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1533ef58fe3b6ac0b6e76c86b8ed9a818696c893","datavalue":{"value":{"time":"+2025-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":"Q7188601$AC057E8A-0668-4C02-9E79-7C883DA2C8BF","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"2e04aeaeceda33c97fe6722090a45e8545bda193","datavalue":{"value":"2508.07786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7188601$AF7FEFE5-D4B4-4672-A740-239ADF26C459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abf73034ddc405d2340cf47605ed143bce407b8c","datavalue":{"value":{"entity-type":"item","numeric-id":6115848,"id":"Q6115848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7188601$FECC2ECF-DF84-41E2-8CF1-729BDB66D464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7188601$D8E93F35-F911-4BFA-BB66-DC5F8FEA2221","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":"Q7188601$9706EFC9-73C8-4E9D-AB8A-737CEF83019A","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":"Q7188601$B8BC7F2A-1EE8-4CFB-B380-8E739E653900","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic Semantics for Second-order Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_Semantics_for_Second-order_Logic"}}}}}