{"entities":{"Q5277906":{"pageid":7307481,"ns":120,"title":"Item:Q5277906","lastrevid":52850738,"modified":"2026-01-23T15:42:35Z","type":"item","id":"Q5277906","labels":{"en":{"language":"en","value":"Lax theory morphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744224"}},"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":"Q5277906$706AC7B9-CA9C-43EA-A85B-FBB3725114D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"277552ec1bf2285a0f01cc09dfe11a8d04f4cef4","datavalue":{"value":{"text":"Lax Theory Morphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277906$0A590B52-3D61-4818-81DD-BF244108C35F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7214f0318db6b81a0f14a021ca1e773e3723256","datavalue":{"value":"1367.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277906$57EDA8FC-2C7E-45F6-B9E4-29E2814A1E7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"396555035e6dedbca1d6d3c9967e350e327757ee","datavalue":{"value":"10.1145/2818644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277906$949996D8-D527-4814-A567-31C5F702A038","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$758A6F73-B2A3-40B4-B709-E76ECABE3B23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$D69CACD6-C559-4D7C-B449-B7F4CC8893C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-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":"Q5277906$B478B59B-E899-47EE-93F7-2A81AADF9FAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277906$AB8D40BC-C09E-4C31-AA04-C93B862F21E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bff20340e1b5c737aed52383944e0080ad3a35b1","datavalue":{"value":"6744224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277906$4EDB22E8-0D32-4EA8-BEFA-36D62D40F941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4591c2951c56f9387a072eec59b62a55cfe8ac1f","datavalue":{"value":"theory morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277906$9BFDC444-8FFB-48ED-B916-0B208C7105E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277906$4333451E-E95F-4B73-B09C-0F0A10090D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277906$D3ED9195-8A5A-4616-931C-BDD1B88AB479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd09c797952a268ece59feabb30b339489339461","datavalue":{"value":"logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277906$82DDA5EA-947A-4254-B1BF-2F39AEB28DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277906$DD768F05-2570-48B3-8161-20F3E6B8385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277906$5E8B7994-401C-42B5-BC5C-9B49269BD3C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$FC587C66-4CDA-4755-9C0C-67644F627FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$3327F228-C58F-485A-92E2-22A619E87A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$65AFF191-CB8C-4D33-BC45-F74355ADF5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$6AC916B2-FE80-4A01-99C5-3319B1B5271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$DE5A41FE-BB47-4DDD-AD02-41C74248B1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"771503fee8982049925eed89301d9abaf6576239","datavalue":{"value":{"entity-type":"item","numeric-id":19192,"id":"Q19192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$66AF6702-152F-4D8A-91CE-36014DC72595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"205d869fa000d5392cc92b69ce8e6b60676d4e85","datavalue":{"value":{"entity-type":"item","numeric-id":31524,"id":"Q31524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$452633E5-17F5-4201-AC8D-19AB29B92061","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":"Q5277906$0CE1C251-AF0D-4E20-B9E2-F8ED90632BE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5a916321dca26751fe87cb3937b2b127b5661f","datavalue":{"value":"https://doi.org/10.1145/2818644","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277906$7B7576B9-C584-4420-958D-011D2428F675","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e185dee57edccbc169736d4d8898b534731ba8ed","datavalue":{"value":"W2095327196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277906$3B25EC45-1575-4DAD-AA6B-9E5940C0B1BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fab8824d82d4ca6fefb7d000ea15dc3e260bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2844694,"id":"Q2844694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$C2C60AF4-44A8-4546-91B3-51975C66458B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399034269be6bba8be1aee8f83a7563dc96523db","datavalue":{"value":{"entity-type":"item","numeric-id":2849493,"id":"Q2849493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$2EA97120-A5BF-4C58-906C-40A8314B7712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b176c2a356ba8de8a18b774ac2537d3b09f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5200129,"id":"Q5200129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$F05295BE-A8FA-4CA2-B9DA-C779FBFD9552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$0C95F70F-5D8D-4777-B429-591ED7F6D4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$0DD7432B-B6E4-47EF-9EBF-694973409784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$B1B5A1A4-2DB0-4353-95A2-6ACF3D907FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$A5203F1A-D05D-4F10-B44E-266B1A825EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$ED934EED-A844-45D5-AB98-33795F55B624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0223ea41de9d0d3a3b57ecfe38bc4d40a15c3492","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$DF61EF2D-3418-42AC-9D42-BCD061B18056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0fe2d8110bad6f2e18ddd95ee07680f26231808","datavalue":{"value":{"entity-type":"item","numeric-id":654913,"id":"Q654913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$B3E30B16-F688-442A-BBDC-018884DD1469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$626FB259-0DE4-4B21-B4A3-74D9698BEE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda2433ff62eb56ba811c7e4235b3f1c827547a8","datavalue":{"value":{"entity-type":"item","numeric-id":2754136,"id":"Q2754136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$46265820-2F76-4B04-BFD0-ACCC7338BD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a8e71b34c70e726e0c295f8b429b043df8614e","datavalue":{"value":{"entity-type":"item","numeric-id":5400853,"id":"Q5400853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$AB181EEC-ABAD-4962-8D49-C6D40626E0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dedc68dadd430a8cbde5a901ead9a15c139e567","datavalue":{"value":{"entity-type":"item","numeric-id":2843035,"id":"Q2843035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$01094EED-ADEE-4AED-98C2-E7B637457AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33986f59fa18cd060155d2e9e24a78d8bd71490","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$EE13F600-2D6F-42C3-9BF7-C2C8D63FFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$2A58CBDE-8382-47C7-8992-DBF53C2CE7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c7c2929e9715fc4b2f275523456488eeb1a6fe","datavalue":{"value":{"entity-type":"item","numeric-id":2946721,"id":"Q2946721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$69BC1887-3E1D-4695-BBC1-CE3C59FBBC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$A15CABE2-F6DB-40AD-BD8B-49BC33F29692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e46b2220dac6fabc197fa8b2340ffd4acfb8f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5387890,"id":"Q5387890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277906$36B6D1A3-208B-4D03-98B0-C723AA379D47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"23299384031b67f038c14b72bb9b0e538ad030ad","datavalue":{"value":"Q130949019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277906$2D8F6841-05E6-4781-AED6-1894012DAABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0593df3e60a45ff9cf629a90b04e3efab2b06c","datavalue":{"value":{"entity-type":"item","numeric-id":2754136,"id":"Q2754136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55907af8ef31b92ca3a56acab55d29864f02d826","datavalue":{"value":{"amount":"+0.7243558764457703","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":"Q5277906$D000B405-BBB7-4212-BF58-5A3F62E463C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a62887986c756a5f38a919efdd01c5d9774c7b9","datavalue":{"value":{"entity-type":"item","numeric-id":4435460,"id":"Q4435460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6509774e01a62b929c9f3674515bb7ee07fc8587","datavalue":{"value":{"amount":"+0.7148597240447998","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":"Q5277906$133E1642-768D-4DA5-B663-CEF2C30D3184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bdbce49fede6dce6817588def543800bf84602e","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6509774e01a62b929c9f3674515bb7ee07fc8587","datavalue":{"value":{"amount":"+0.7148597240447998","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":"Q5277906$5607642B-F5CD-415E-AEB0-0E38E9ED1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea3e4ccc99ec99ee1f0a5d306e57541a04f62b72","datavalue":{"value":{"entity-type":"item","numeric-id":5170290,"id":"Q5170290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc0d992e0aa5c6c6a2dd95642364fda3a7f52dd","datavalue":{"value":{"amount":"+0.7055487036705017","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":"Q5277906$B4E77C33-A5DA-496C-A334-F432C5377B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd1bf22083eef73ffc41b2761f48f88695afda9","datavalue":{"value":{"entity-type":"item","numeric-id":2922027,"id":"Q2922027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7304f609e9ed936c418b59f6b3d559bcce8920e7","datavalue":{"value":{"amount":"+0.7041449546813965","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":"Q5277906$30E6D369-64A0-4D9A-8A1E-243D4F0D12C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277906"}}}}}