{"entities":{"Q6586941":{"pageid":14198097,"ns":120,"title":"Item:Q6586941","lastrevid":57338886,"modified":"2026-03-30T13:38:26Z","type":"item","id":"Q6586941","labels":{"en":{"language":"en","value":"Univalence and ontic structuralism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896336"}},"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":"Q6586941$3D4338AC-131A-454C-9EEF-38640E31B5C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b145fc2751e18117ec47c33e1612ace636638ab","datavalue":{"value":{"text":"Univalence and ontic structuralism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6586941$608BEA67-6140-400C-91F3-BD26E9A96449","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6c3c9ccd192137e38c167f75d1d8fb5a6983081","datavalue":{"value":{"entity-type":"item","numeric-id":246011,"id":"Q246011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$6D1A6860-A762-44CB-A4D6-A32ACC358823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ebe6797fcdd2919d41fedff5ab4f43cad64aa8e","datavalue":{"value":{"entity-type":"item","numeric-id":257033,"id":"Q257033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$82A88048-3F02-47FE-88E1-E593A89B5AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6586941$2F4F6C71-EA0D-4C90-A043-F71177BE44F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586941$E1717FB3-17AA-4248-8AA0-3E69D71C66D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0b92455edc6a65d2f621502ae9f43eea4c8fc97","datavalue":{"value":"55Uxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586941$85EA3212-AD35-46A4-A91A-61E88C0EF825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dcfaad019cdda8dffe399c8f43baf96c0f230ee2","datavalue":{"value":"03Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586941$639534BA-2931-48AB-A85B-EF532D90AF84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d103a596d6e3332d7725b2113159646f2cf2a9f8","datavalue":{"value":"7896336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586941$E568D19D-1B80-4CCF-AE55-51BC7A2E753E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc29d347a2fb5ab12fe5de5ba7a30a9fdf2916f","datavalue":{"value":"univalent foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586941$0583E1AE-367E-4009-A1D2-EE918294EEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586941$D04B4378-4253-4668-BBD5-2B3F77EA0A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccffaf06eb639810c1a92bfc99b12ce23a9b801","datavalue":{"value":"ontic structuralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586941$B1AEA037-BDCC-4664-B2C2-1CA4F4C370F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9435f51d19ccf22757d3ee104df6f39d12da77","datavalue":{"value":"isomorphism as identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586941$333721AF-43B7-44D2-ABCF-433173A0AA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69da359c795694750b698f878d76bfad9c3423c1","datavalue":{"value":"hole argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586941$2D98350C-6AAC-450E-AD47-32CC01725C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db9dc81eb42002bd211ca1b8cd1b94f9b377f874","datavalue":{"value":"gauge symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q6586941$54771B4E-200C-44AB-855D-FD6D215AE8CF","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":"Q6586941$1B7B5A40-51B6-4101-BF0C-90C320B7A884","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"010c1c0da30bfb1e848b924ff113a4ab7b0211b9","datavalue":{"value":{"entity-type":"item","numeric-id":2695034,"id":"Q2695034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$C44214B1-13A1-48BF-A28B-BDDD0D7F72AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff2b723c5ca3aefa104812a869faeb2d56074a4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$3411B47B-591B-4C13-A11F-D7F8A333FD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96c585446fd5966da512530efcd21eb4fb87090","datavalue":{"value":{"entity-type":"item","numeric-id":5124673,"id":"Q5124673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$9C42F0EA-2B60-4B73-917A-295BFA65457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2474dddf4d0718a97eaa90dc970e977a75057fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$1410055E-7BA4-420B-A025-BB46C0860472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e25216b77421f95f9c1e0e2dc69a746a8048822","datavalue":{"value":{"entity-type":"item","numeric-id":5213483,"id":"Q5213483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$6D338651-FF3D-4C78-9CD3-9D5798852032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ed94e265b2218a57e747e0998f5d7a09231a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5210644,"id":"Q5210644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$24F5873E-3189-4E4C-855F-8AB28AB9E596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513a066b449f19bb69960fa63c3a7f83eeb2b999","datavalue":{"value":{"entity-type":"item","numeric-id":1985882,"id":"Q1985882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$86D8F3D2-19D5-4BC5-A4C5-54CCA1B26860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a620077e45ea300a838406e1b964fcd48a6ad38d","datavalue":{"value":{"entity-type":"item","numeric-id":1430152,"id":"Q1430152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$0CA2B688-7693-4A63-AB0C-27C0DCE7F79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693c8d52cd63679c1c29334b0abdc770eb653ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5423557,"id":"Q5423557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$59E63C87-0CB6-45FC-938C-295DEC4E7AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0f4ba49720ff9f540019f20faf7257a7d2f0a5","datavalue":{"value":{"entity-type":"item","numeric-id":4693714,"id":"Q4693714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$05A9C878-9D2C-465D-A879-BC1B81694DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc21836bb0501ed429982f0f97c55c894440046","datavalue":{"value":{"entity-type":"item","numeric-id":5234242,"id":"Q5234242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$82A1A86B-07C1-4834-8310-98CD88DD46A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e2a01e7859edb418e662f2192b4f86c995ba2c","datavalue":{"value":{"entity-type":"item","numeric-id":4555036,"id":"Q4555036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$4FEA3224-908D-443E-B6E7-D015470EF796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0c187f31199449a17405a02c18436ca141fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1985880,"id":"Q1985880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$05FD326E-539F-449F-AFEC-40E543210624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994fe188255640dd065c8b317abc0d629f231ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3997818,"id":"Q3997818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$5BA18E3E-376E-4486-B8D3-A59AAA05171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$087AF555-438E-42D3-844E-80EF2DA4E60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2768176eb7449ca4c5a592e7d30d2e0b621c1c3","datavalue":{"value":{"entity-type":"item","numeric-id":905673,"id":"Q905673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$5941FBE6-E8F5-42C4-8B0A-025F2779F9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c346c260873520831ebfefd15c31c6ca8971d3","datavalue":{"value":{"entity-type":"item","numeric-id":4995149,"id":"Q4995149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$5A5B2D1B-D808-4A33-9FF6-6F7261037F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65f0b9793d4d69696724fba6626456d2e0d7a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4640312,"id":"Q4640312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$D58727CE-50C2-420F-9562-5697F277BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350ba8d04ca0c57b4206dae1d6304364008aa13e","datavalue":{"value":{"entity-type":"item","numeric-id":5040166,"id":"Q5040166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$02DDB0B8-850A-4C53-8F7F-F7F196332F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d011f80e64ef7a93485c1a4150e3aa8d632f8d69","datavalue":{"value":{"entity-type":"item","numeric-id":2481233,"id":"Q2481233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$0FB68883-FD18-44B8-B315-529E4E73CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7073b63c7c60ed3747e909cbcf93354d9aced5","datavalue":{"value":{"entity-type":"item","numeric-id":1708879,"id":"Q1708879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$CF48B5E0-D1A2-4D2C-998D-5CB9487D9318","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":"Q6586941$D48C05BC-6686-4A99-B3FD-2DB123F9362A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420281ad32537c2533031d07e1a58c42f0d8a777","datavalue":{"value":{"entity-type":"item","numeric-id":2272839,"id":"Q2272839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$3A16F6BC-C060-4AEC-89EB-B9B48BECAFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62cceb8a795e4adc1feba10082ed8e5a240a800","datavalue":{"value":{"entity-type":"item","numeric-id":4555034,"id":"Q4555034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6586941$4759807A-6C6C-4685-886B-9EDB737AAED8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e64f19cf998b1461d6e41e7591f1c06d9f09d119","datavalue":{"value":"10.1007/S10701-024-00768-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6586941$4269498B-8662-4767-A3DD-713C572318A7","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":"Q6586941$B8D6FB47-81A5-4A4A-94F0-809A550F83B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6586941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6586941"}}}}}