{"entities":{"Q944225":{"pageid":946073,"ns":120,"title":"Item:Q944225","lastrevid":65527125,"modified":"2026-04-12T03:13:10Z","type":"item","id":"Q944225","labels":{"en":{"language":"en","value":"Equality of proofs for linear equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5343893"}},"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":"Q944225$B781F0C0-6DA1-4BEB-AFCD-33C60FB67C97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fd8d1bebbab1a5e54f5272f79cb5a2377ad8b3c","datavalue":{"value":{"text":"Equality of proofs for linear equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944225$4BF90FE2-58C6-41E3-B46B-861211F43014","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6700bb7c93f9e1b49fef969b860cd3cda6dd9185","datavalue":{"value":"1159.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$E46447DB-1F59-453F-A51B-665110749017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$BA63FC04-B308-4CA5-867E-C0DB31A3A413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$15C03A86-5F17-40A2-B225-38C6067F3D4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$FAC65027-ABBE-46D5-A0D3-8D5CD0C60B7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73ab06fb5cb7cce6ed47b852187509c2c8b2949a","datavalue":{"value":{"time":"+2008-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944225$42A934E5-7E0E-4DFE-A6B1-FE3D98126325","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6452522b410cf5f85d330cad5875fde3e749963","datavalue":{"value":"https://arxiv.org/abs/math/0601490","type":"string"},"datatype":"url"},"type":"statement","id":"Q944225$E7F03932-A3D7-40F6-AA62-4F469B24104F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$4D67A97C-5C76-4AB1-A140-71B84576057B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$F8156623-4D7C-495D-ACF4-7E4F0A43B069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$160A7F39-B4F1-4B86-86F8-1684A9C7A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$7E54D47D-1985-4251-9224-506CBE10C13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$F9D6085C-8872-4602-A043-ACDB67B06122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$C3C450F7-3E4A-4C1C-9849-51A3E7CFB0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$A5BE26EE-C095-434F-B345-963592BB0477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"229891583b9db8c8bde6426fd4151349554e6aa6","datavalue":{"value":"5343893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$ACBF8641-305C-4E25-AD09-93DAB778E83C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$AF8B3D68-2BAC-4080-B709-15B67A4AE110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$A4370723-6200-4CFB-B361-4A0C8F8463AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c74ab8461adeff403085eeade5ee161d25ca2085","datavalue":{"value":"preordering relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$7DD45094-AE68-4FAC-B979-22F8A32505DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$51936E65-1F26-4EC9-B1AC-80C8A7FFB3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$B609D083-FDC3-4F06-A2C2-619E5127AD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca3b7e82fa3de6e307de78ce14087f9f4819ae9","datavalue":{"value":"equality of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$AFC97FBF-D820-4A89-B2E8-37C26EA4E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10242f48450356eca88b37f1fe156ac33f689b08","datavalue":{"value":"categorical coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$54EAD6AF-CBFB-46E7-9C68-10317528C240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f4744b2e770ae01466d9a05fa958a024305ac1b","datavalue":{"value":"generality of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$C3790C6D-16AB-418A-8663-CE5063031BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beb9bd16289394d4b4e18ba4f1225667a9952255","datavalue":{"value":"monoidal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$0E8CE1BC-934E-499F-B11A-1E525AFBF32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q944225$E273BCC5-EB5E-43D9-AEA5-9E7F5B051F40","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":"Q944225$1702981D-64AB-4F39-8A9A-DFC2EFE4CD30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e531216eccdccc385e586952050cdc9fb093144","datavalue":{"value":"W2017318132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$9AE0CC42-68DA-445A-9D44-DFFB254AAE8B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"49aa169d41c3052fb4f834705501451f9d9703d2","datavalue":{"value":{"entity-type":"item","numeric-id":3837726,"id":"Q3837726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$A05CBE25-9055-47E4-B617-5E54F1977E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6daed544513fb7c2cdebc3e521f32321038b2d54","datavalue":{"value":{"entity-type":"item","numeric-id":3837727,"id":"Q3837727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$B493F953-ED97-4C5D-A608-F15CCF640BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac30472f3711a2478de68cf38d3ea22c8420b47","datavalue":{"value":{"entity-type":"item","numeric-id":1817695,"id":"Q1817695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$CF0C45C5-CBF6-4D7A-B5A0-5143F60AFCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac3865322b2bf0168a1f4f25c097d5c48db9689","datavalue":{"value":{"entity-type":"item","numeric-id":3514792,"id":"Q3514792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$1BBF58FC-8928-45E8-85BB-87FE72650FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f628010293b94c7210ef08bb1660345a3e9d9b21","datavalue":{"value":{"entity-type":"item","numeric-id":3160565,"id":"Q3160565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$144D0FBF-4FFD-41A6-BEBD-ADFEABA716AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25b2fbe3c2ba0a80571b774a81754eaeaa561dc","datavalue":{"value":{"entity-type":"item","numeric-id":4452452,"id":"Q4452452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$7D0EA162-642C-455D-B7C7-9C8BDA3F7C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89b3ea81f36c309658525a2ddda6228c6236c67","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$7A1BB2C7-214C-4345-AAA2-BD8F621201EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0be4b6838184cb0d7b9e29f82c1f2a4c16a5440","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$A021D3BB-04B8-420D-A9DA-DECCD24E62E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$002CACFA-A884-4F93-AFA2-DE1FD648CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af60846141595ff8337db459f59c75e1fc726d0a","datavalue":{"value":{"entity-type":"item","numeric-id":1107527,"id":"Q1107527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$B00B8339-63F3-4DF1-A5BB-D5266A26CF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5c6d7f4f7e25cd87cbf76e74082059a9f39297","datavalue":{"value":{"entity-type":"item","numeric-id":4888735,"id":"Q4888735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$6C7925F0-49B3-43D3-BF62-6B0C620AF756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$19C83788-B2B9-46E1-9BEC-8E4A2A437D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$7C46FF02-CC69-4FE9-9026-7BEA4390379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944225$5C283CD1-7C9F-404D-8E4A-A0E6C5E8425C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e51d10aa1c036219681e3d59d348ce3a7fdf344","datavalue":{"value":"10.1007/S00153-008-0096-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944225$90E7F7CE-C3FE-4C31-8C10-5073D137EC5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce5f0e800ebd86c56a289872953c9119e12a1c6","datavalue":{"value":{"entity-type":"item","numeric-id":1011758,"id":"Q1011758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f57c9300dfbe6d7acbc7fbabb9799754aee5f71e","datavalue":{"value":{"amount":"+0.7482829093933105","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":"Q944225$A8C7BBE4-5912-4A9B-8801-8DD27F77642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5ef3313ffad92ab63539330c5ac640d3c666b","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfc664be635f6a88a5c879f970dd2ea045297b6","datavalue":{"value":{"amount":"+0.7419269680976868","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":"Q944225$28529B4E-87BF-4F60-9CA1-C7DC210FABF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa401530e3afa6107283e7baf30024ac0b085c4","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8e51e2d7164a8aa174810bab4736e640c474e2","datavalue":{"value":{"amount":"+0.7359423637390137","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":"Q944225$C821B767-9BB7-4F05-ACB0-59474E0BB439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d7fe7665b9779afc2aa2e2df852fe9d3e2d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4928272,"id":"Q4928272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba79d49556ef8cb2750adebd268a383e01a93b7","datavalue":{"value":{"amount":"+0.7332637906074524","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":"Q944225$DCA7DB12-FE79-4F1B-A004-2825F01D1BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ebcdb43103982ed85c0ed5387a7afe264687a9","datavalue":{"value":{"entity-type":"item","numeric-id":685406,"id":"Q685406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30396cd101099b4b9312c092a1dfa7d134c526d8","datavalue":{"value":{"amount":"+0.7332463264465332","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":"Q944225$876F05A3-82AD-4820-B83B-1D484086E540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equality of proofs for linear equality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equality_of_proofs_for_linear_equality"}}}}}