{"entities":{"Q6903903":{"pageid":20922667,"ns":120,"title":"Item:Q6903903","lastrevid":84173165,"modified":"2026-05-13T00:59:07Z","type":"item","id":"Q6903903","labels":{"en":{"language":"en","value":"Mathematical structures within simple type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8117681"}},"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":"Q6903903$FD9D6D3C-72EC-4C04-9051-7AE304A58EAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dfa74aa5ab9382dda28a2d2fdc37195911c1f0d","datavalue":{"value":{"text":"Mathematical structures within simple type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6903903$FBB6D1C1-B323-430F-9883-7E3757CE9FAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78178814a45411e8be44176efc192fc0356bd476","datavalue":{"value":"10.1007/S11225-024-10133-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903903$865FE813-0F96-42DB-B91A-0645167426F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad5de3161e95eb938bec67053abbedce3879716","datavalue":{"value":{"entity-type":"item","numeric-id":6903902,"id":"Q6903902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$EE45E66D-6639-48DA-B42C-AECC44572AED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$4589CD72-4064-4700-A60D-199D9188F00A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6903903$63DBC4F7-7A7C-4CCE-870F-7FCC217C3998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903903$0B0A29DF-3CEE-4F2D-B952-C440C5136992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903903$736FDE79-4608-45A8-AA24-DBAB6DAD4DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903903$446D1869-0D95-46D5-BFCD-EA5ED08B0BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ae15ae8b09086e340cc64ca435250adbc30f3e1","datavalue":{"value":"8117681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903903$4E25DB35-13C2-4B56-BED9-8DA18022BEEF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$94B5E496-35DB-4408-81D9-A24A4C04C0B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903903$92D89F08-4A42-4223-B084-8BEC54C8F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f38bc58e7ecca33913f98d3eaef3681f0c8755","datavalue":{"value":"NFU set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903903$EAC906B0-9A91-43A4-B6DC-3B2D30071803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f18041d6ad72a1bad47ee486c1406080240e4d","datavalue":{"value":"mathematical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903903$DE93FF0D-D3D0-4C5C-99A5-2F8AB56A674C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903903$B43DC739-CA9B-4CFC-89E4-421174F78DFA","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":"Q6903903$B36FE8F0-F8AC-429D-9286-B8D2F8AA4DE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14edad0472259690c832d2aa115cf6a65975cca5","datavalue":{"value":{"entity-type":"item","numeric-id":6200478,"id":"Q6200478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$953FA8DD-1687-43E8-BC92-D0FB5D73DD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a354fd6c71f8a73a4d7c4b6a3314179644b316ae","datavalue":{"value":{"entity-type":"item","numeric-id":5332210,"id":"Q5332210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$92CD7B12-812B-4AD6-A68D-1DD707D870D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$84C7053B-A266-4705-82A5-DB25D9930B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9ad91f2e5e3e13da9c0bb38288f9ad73227ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4430468,"id":"Q4430468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$27789CF5-E053-46F1-A789-C2758E6EA0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba16d3643e7f45b2a6fcdd3509fdca985c4702c9","datavalue":{"value":{"entity-type":"item","numeric-id":2589521,"id":"Q2589521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$1354CBDB-4286-4CB0-9EEB-A424AF8D6D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2dade93a965b4ec7651716b5bb52a35509088a","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$2FC5F819-29D8-4D02-B304-D5D974BF7D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c408531798202a8856f1577d55c4dbee05dc21fd","datavalue":{"value":{"entity-type":"item","numeric-id":946569,"id":"Q946569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$F8D51B84-0594-4760-B13F-9DF13CEC007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$07C82EE9-1471-4D7A-A87E-BA95FFB339B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$677F80EE-305D-4221-884A-FA8503A08792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82879248dadd253c04ced3c10dddd38667f5dcd0","datavalue":{"value":{"entity-type":"item","numeric-id":4956001,"id":"Q4956001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$456EA434-B4E7-4949-91D4-13EA05BFB879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5155f3770ecaf73629e9ee72eb4b0bcb967ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2541215,"id":"Q2541215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$199D0037-E1B6-4679-9E5D-05838C19CDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dbda75d25af4dbd3001a9a74580316cd42a975a","datavalue":{"value":{"entity-type":"item","numeric-id":2192569,"id":"Q2192569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$ADFB8652-24A0-4DE5-8EE3-6E429D76A206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$DC094C4E-4918-47E7-87F3-64D98B88E3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903903$DE92C84D-01CC-4CA1-B608-6B465DCBEA47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical structures within simple type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_structures_within_simple_type_theory"}}}}}