{"entities":{"Q740487":{"pageid":742336,"ns":120,"title":"Item:Q740487","lastrevid":63986385,"modified":"2026-04-11T16:53:09Z","type":"item","id":"Q740487","labels":{"en":{"language":"en","value":"Isomorphism is equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6339335"}},"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":"Q740487$9D9D8C90-262A-4DFD-B024-52CEE3EF2E01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f266182c8fe7e4611c2fe4d63992a36a335dd738","datavalue":{"value":{"text":"Isomorphism is equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q740487$F3582664-C5CE-43CB-9507-EAB8D471B03E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6a7aff59b5768fbdb83a2b4f52301821a667ca1","datavalue":{"value":"1359.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$363F1B0D-D55B-45C9-8986-547167F89E6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$F7B04977-1C32-401C-9C8E-389FE5D6E585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e09a288b38762987ec2f9071aad3887de809e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":740486,"id":"Q740486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$9F1AF347-EC56-43EF-8017-3D2D900410DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$5981DE30-6D5B-4AFE-9A77-C44713720E8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9124e22a925dc3c2ea1c24367b00eebdb1caa2fc","datavalue":{"value":{"time":"+2014-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q740487$269C7BE9-EB40-4DE8-AC25-87B88EF01D02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$A418D885-2670-4A34-8247-2DFF8D3D6EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$221181CB-41D6-471B-A98F-E0284DB064E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f72ffa7e11f45af632e5cc1f7fb9da144d792d","datavalue":{"value":"20M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$AC6DAFBE-B05B-475D-94C4-BB06C8F49180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$F36DF5B1-C14B-4E43-81DA-4AC1A510552F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e17eb0ccd5ffc02438f875e8514171d5d5a2f795","datavalue":{"value":"6339335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$4724B2D8-5C58-4653-8C18-7C763712EE6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q740487$41468A19-9E1C-407F-B619-CD7D2DA62D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q740487$646CB491-5975-49EB-B951-FCFDD0AF6530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q740487$E7583B93-2773-493E-9476-2A2C3F41E81E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$07258711-F8B0-4D66-9551-8510AA78B0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$D86D1E7F-FD05-4ECF-B57E-630DC11800DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$0C47AA54-5384-45DB-BF74-79E009DB58DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$C0C0FA90-5D46-41AA-B164-A4F6AFE882D8","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":"Q740487$4BC84414-0734-45B5-87E3-2E927C555256","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce0a72c0f90e96fc28654159e3b07408e9d7272f","datavalue":{"value":"https://doi.org/10.1016/j.indag.2013.09.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q740487$5F59381D-25CB-4986-8DC6-BC6446951622","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a9765b84fc3f34fd48065bbb06d903d51672fc2","datavalue":{"value":"W2039140273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$6EB3AFA2-FA57-48B3-8F67-A08626ADE875","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$0C77D401-75F0-4175-9335-8982AA0EC000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$E029324B-9CFB-4CC9-A69B-D6E41101F9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$AFF8E872-43D8-440B-8D2A-86DBDDC4948E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$07859CA3-CCFF-48A1-8F5A-ADECE6EC9CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76cc5e38ace015fa23c1418bf8c4e230be4fbc1","datavalue":{"value":{"entity-type":"item","numeric-id":4055619,"id":"Q4055619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$5E8AD738-CAE9-4A96-90E9-5B311A80C651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$62D29328-A6D6-4168-97F6-ED526DAD6A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$A0E4697E-839F-44B8-BF56-E9A6432D11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb493967cc3df4cf1fb7e0e6e98a81bda1b903eb","datavalue":{"value":{"entity-type":"item","numeric-id":3985091,"id":"Q3985091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$0AE0C981-006A-4DAA-B559-32FA26F08664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$2753C28E-A77C-4DB5-BE85-57BA5DD9A413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$F857A9BE-C7D3-44E1-A195-79F7F33715C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$1C2C0096-EF87-4CCC-B043-475D7CB0B16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cea366c18f6580ba2ca453e5db5d695103cf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3758801,"id":"Q3758801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$119D388C-829D-4C5B-8E8C-6C2D04B354B5","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":"Q740487$5F6EA800-2F68-46FC-A6E1-158B8A5A404C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e42efa1cee9120f9a91a974e3efc6afbf1010b","datavalue":{"value":{"entity-type":"item","numeric-id":3003342,"id":"Q3003342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$D9F43B4C-1613-4901-9514-9ECCFCC8DDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351af9b0edcfa5d3d0e05df9fe9f49badbf149ce","datavalue":{"value":{"entity-type":"item","numeric-id":3877069,"id":"Q3877069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q740487$732D4E0E-AB83-46D1-BADC-B80E7D95E213","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94659a69dd8d0028accb82b6714db7cc6ecb8ed8","datavalue":{"value":"10.1016/J.INDAG.2013.09.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q740487$FDC300DD-C928-44DA-AA78-A0BCAC3154D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ce7996fba0c1daf78dfb9f6bd764a045982cd7","datavalue":{"value":{"entity-type":"item","numeric-id":5145618,"id":"Q5145618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98086062c41f63e65151f156eb3dce7e89b7d688","datavalue":{"value":{"amount":"+0.7532879114151001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740487$B69CFC73-049E-45B9-8F74-C4E405C66A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d4fc9fca948115bdcfa149a9fa3605ea0ab8d0","datavalue":{"value":{"entity-type":"item","numeric-id":1788330,"id":"Q1788330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38dee61e5344546a1fc40ed6d4fcea1f1fbc6df4","datavalue":{"value":{"amount":"+0.7521637082099915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740487$3FA2FF0B-D4AF-4A18-98E3-428B01D7433B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bad704fdd52d282c2b34b4abc0580f4c544577","datavalue":{"value":{"entity-type":"item","numeric-id":2967790,"id":"Q2967790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276c385904ec602f0d5b830429afd0d76f9ecf95","datavalue":{"value":{"amount":"+0.7442387342453003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740487$AB953800-28EE-4C66-92B9-1B7DCF4D9366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb753571a03e58105eac0ff15b22f4c3ffc2bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5245979,"id":"Q5245979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6a6898a9ad1090bb10fdc609401bbd86651bd2","datavalue":{"value":{"amount":"+0.7275041937828064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740487$BDEAE8E4-34A8-4A75-92B6-09AA1A657BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c1b39ddcfabbf3be78982ebc8286533eca00a5","datavalue":{"value":{"amount":"+0.7230479121208191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q740487$0CA25238-5674-4E7E-9AF4-AF614510742C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphism is equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphism_is_equality"}}}}}