{"entities":{"Q6173572":{"pageid":13308460,"ns":120,"title":"Item:Q6173572","lastrevid":41809934,"modified":"2025-05-08T14:48:04Z","type":"item","id":"Q6173572","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7715469"}},"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":"Q6173572$79DB8997-FAF5-40D8-B5F5-6877FC22DF8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25fe60d274d0c2403d209236b3800d2138411808","datavalue":{"value":"1524.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173572$B9A0914A-F1E5-4965-8A09-98029ED280CC","rank":"normal"}],"P16":[{"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":"Q6173572$E0C44C45-572E-4E58-8628-217818AB1FB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca9f8142551b5159c71df5982bbefa0ef87fa1c3","datavalue":{"value":{"time":"+2023-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6173572$8313A0BC-F219-4F09-97A2-78149316032A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"039c9fcc6f8e79e04146231a0df53d0b96233966","datavalue":{"value":"http://elib.mi.sanu.ac.rs/files/journals/zr/26/zrn26p7-35.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6173572$BA6B1CA8-CC8C-406A-B85D-45F323EECCC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173572$31C1A19F-7257-4FEA-B3DF-607228C47E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173572$24CDAFB5-12F7-4E9B-8B7C-096F6C819D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173572$4A8983FB-D61F-4869-AC88-6ACA3CAA6D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173572$CAC3114B-7FC3-4360-BCA4-1CBEE80B4549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff3ce545259398b71d5ee7e092e9cfbf67909d79","datavalue":{"value":"7715469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6173572$E09EA055-141F-44B4-8A74-731522266BCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$ED508D45-043F-434F-9FDF-6C3DE38A5723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$D948ECA2-3A31-4BD3-9F18-60D4CF4FF358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$BD547E99-5ABE-4866-8234-AAE1C2F04BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5be73e71e13466ccce6dc6527b4ba098213ee5","datavalue":{"value":"natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$B9F85A88-18F1-4668-8ED0-984861EAE2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$14E32B72-B6F9-4681-9258-731D0FB8EC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3505d4a1a47ba6779c1bc97acbae985df00be0","datavalue":{"value":"isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$808B3CC4-CBA4-4622-BFF9-D0C0515D99A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6173572$FB317803-7295-4CFA-8A82-4CE0F40DD834","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":"Q6173572$B4F47701-52CB-4D5B-9534-03FFFCAE1E85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b678d71df4e643da883e0cd04e61a7046708a4","datavalue":{"value":{"entity-type":"item","numeric-id":3789534,"id":"Q3789534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f030a84a10fae38a5b4262743e06e3c7dbdfb8d5","datavalue":{"value":{"amount":"+0.8509706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$DBC16906-261F-4C07-B837-2EA6A315A466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf0f2f75ff23cbde6a0a540fb1edf84d989c769","datavalue":{"value":{"entity-type":"item","numeric-id":3717048,"id":"Q3717048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e6854f8e827fdadc9301b01ae01023993f1db2","datavalue":{"value":{"amount":"+0.8366135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$DD03192B-9362-48B3-93BC-D405A5959253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4a694c34fc03151dd8c5e1e0e902e883202924","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df299fa561b68c3d2b1f525605cd09bd7d6eab61","datavalue":{"value":{"amount":"+0.83608836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$EA7D7A3D-81B7-4731-BF8A-9A3EBEAEEAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae89b6fe2fcc9b6c72128a35539891e81f9d02a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488555,"id":"Q6488555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004d0887ca148b844174257d8453a6419c7a04bb","datavalue":{"value":{"amount":"+0.8340988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$EE12B636-65C3-4006-85E8-618A172A2CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00f6b774170a9989e7745f39d5e49c0da6727e1","datavalue":{"value":{"entity-type":"item","numeric-id":860833,"id":"Q860833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b9e78c001d26b5e70c8d6cab00649305d6a408","datavalue":{"value":{"amount":"+0.8315152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$72DFEDA4-71C9-44FE-8D25-7A8FA182AF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89edc4b3b1de21ef9e4c82902afb81a3edfc8f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3812214,"id":"Q3812214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2645aea24b3b28c688a6f364015f48b786ad8c72","datavalue":{"value":{"amount":"+0.8297545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$42EEA44B-8897-4244-956D-00E35C297340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea032a899c6ec2b22a42207ef10d5d7f6f1b20c2","datavalue":{"value":{"entity-type":"item","numeric-id":4309359,"id":"Q4309359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e958301dfcab1668a97481e521c53e0d8ab0187c","datavalue":{"value":{"amount":"+0.82824326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$D63DC110-EE5C-4424-A7AD-3F3D1CC1DA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070564fa5eba188481f1d3a0f97098b27166c898","datavalue":{"value":{"entity-type":"item","numeric-id":5437177,"id":"Q5437177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b054d9bce59a118c08eb4fda1f6a50219b53700","datavalue":{"value":{"amount":"+0.8281114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$5F804AF5-32EB-40C1-A654-DA4E4B7F8A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de33c37624c752ee9a559b7985ea2edf012cf9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5260990,"id":"Q5260990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4453b322748cb627c15e1af7724e9b1a330ec57c","datavalue":{"value":{"amount":"+0.82797706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6173572$A600C575-CD2E-4FDC-B374-1F43B2B42D9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6173572","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6173572"}}}}}