{"entities":{"Q7329786":{"pageid":31385884,"ns":120,"title":"Item:Q7329786","lastrevid":107841887,"modified":"2026-10-27T12:47:46Z","type":"item","id":"Q7329786","labels":{"en":{"language":"en","value":"Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-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":"Q7329786$38FAE59C-C49E-4451-9C45-214EFC8BF260","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":"Q7329786$F9E04A56-9640-4DB7-BDB8-FF976737CF9F","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"e3541a47ec77469d277cbf04e976f7244eb97255","datavalue":{"value":"2606.31879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7329786$3E978413-B0CA-4D2C-AAD7-250478433AC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81242a8eba707b179b483553438b1a78dda87738","datavalue":{"value":{"entity-type":"item","numeric-id":2144185,"id":"Q2144185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7329786$E057F6A2-6FC6-4230-9509-55AAAC4D0329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98628b33c8dc5226ed1ac3a7bf7845cc81598dc","datavalue":{"value":{"entity-type":"item","numeric-id":276031,"id":"Q276031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7329786$B1D1C89E-BB8D-44CD-8FEF-4405DCD629D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9982d13b768cbfd9e0c6e3852aba6e5926cf1829","datavalue":{"value":{"entity-type":"item","numeric-id":7208890,"id":"Q7208890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7329786$475B9740-EA04-4EC8-9F9B-C1B98C7B7E80","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":"Q7329786$7361BCCE-3E2E-441E-AEB2-9028FC7C418E","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":"Q7329786$146A6DFC-0629-4F56-8317-22E9C85C7E52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_K_is_a_Bisimulation-Invariant_Fragment_of_Intuitionistic_First-Order_Logic"}}}}}