{"entities":{"Q4489070":{"pageid":6518669,"ns":120,"title":"Item:Q4489070","lastrevid":41858730,"modified":"2025-05-09T03:39:56Z","type":"item","id":"Q4489070","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471986"}},"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":"Q4489070$52EAA159-D680-4270-822C-DD2EA1315D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9adecbac70d37e72a9ec5d9fcf6cd8f6c902999b","datavalue":{"value":"0971.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489070$4194E8C4-DC36-48FB-A593-EB65DDF83E3B","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":"Q4489070$817D79BA-D907-47B4-8611-6084326A1AEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e17094de8cf838e27ad4e0e49440bb0f627c7fe","datavalue":{"value":{"time":"+2001-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4489070$A57513D6-55FF-458E-940F-F1183BE56934","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489070$3D0CCFB0-EAC4-46CC-9F65-63543DA46834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489070$08503A97-75C1-44BC-838F-0E74E7F24C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489070$3AD68301-ADC1-4E04-A691-A030D6D47AFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c5b9766980126b90ee1c237c1ae9f3086b08692","datavalue":{"value":"1471986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489070$AFB0C7BB-F42F-48CB-B327-7B5B14377FBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$87521E76-39D2-4C27-BC31-2D6D0FB10CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f94a94b74df2d9aa210cee7bc21ed534214175","datavalue":{"value":"junction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$346D375E-12DF-4C92-AED5-BBCBC6CFE9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$03414AB6-6874-4AC1-B11F-AF0D469AC62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee23396e3725b93ae2027a9c3f9f03b2f5c68f40","datavalue":{"value":"normal form for arrow terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$B5401D2B-9CAB-4344-AD7C-A704243EF85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$997586A2-68E2-4924-80DC-B1776C4F88A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6391854be7c97954579218a7e6d6544a881ba210","datavalue":{"value":"commutativity of diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$9EDB25D9-688B-4D21-87E3-288C1555C007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40f1e9ec81a2615bb182f3d27589fa8fd3011f8","datavalue":{"value":"geometric rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$F3B819D9-729B-4063-A263-222132EEE773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489070$C6F42B28-E09D-41E9-8A06-E1BB5EAEB633","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":"Q4489070$F551D636-0651-4DBC-8A10-27623044DAD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2402b34c779a73eb9f6c4530e64b5a77c98788a","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c052da532036593bc88bd458f6d6511df3b50f3d","datavalue":{"value":{"amount":"+0.84530455","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":"Q4489070$AFE4C69E-EDB7-4137-A87B-AB32CE0586B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51656c76c992c1a0edd06e476466ecbe6b5ae5a4","datavalue":{"value":{"entity-type":"item","numeric-id":4254567,"id":"Q4254567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1c1142731b19fe1edfa8ad24ebd3b93d772380","datavalue":{"value":{"amount":"+0.83858347","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":"Q4489070$31316884-AB36-49F4-9249-FF5B427C770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe186cac75804def3c2fa703a831734e4da013d","datavalue":{"value":{"entity-type":"item","numeric-id":5361251,"id":"Q5361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77eede10f6e3e3cfcc1e6b3bdf4f1e6aba3a43c4","datavalue":{"value":{"amount":"+0.82850134","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":"Q4489070$0E568653-A624-49A0-AC16-E63A9FB036DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c31d160a7a1bcdbd336d1eff9f3f370561973fc3","datavalue":{"value":{"amount":"+0.828042","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":"Q4489070$860EB3A0-DCB6-4B10-8564-30B7C3BC99CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd51efe569759d2e72a0c824752e6829a4649347","datavalue":{"value":{"entity-type":"item","numeric-id":3153288,"id":"Q3153288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a873f616a0ae2361b14025945509338b73788522","datavalue":{"value":{"amount":"+0.8195542","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":"Q4489070$8C512F53-D981-449B-ADEF-BE7049AA85A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6fc6366c0c2b2e621d1db85f37747606df9abb","datavalue":{"value":{"entity-type":"item","numeric-id":3781102,"id":"Q3781102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d67684af8a1f1a9fe9b0ca5cb60984374f5d5f","datavalue":{"value":{"amount":"+0.8186832","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":"Q4489070$5B39686F-2A9E-4272-9F2F-541BFFBF23A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f3df6645cc8006860d75243a9e718a50e9dc98","datavalue":{"value":{"amount":"+0.8179948","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":"Q4489070$EE102E59-44AA-47BE-B87B-9EA30259C3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54139f930430c44bfddd66e87c6f88b9f5f6beaa","datavalue":{"value":{"entity-type":"item","numeric-id":4637625,"id":"Q4637625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212b6bc917e1eb7ba997f8b661db7dbf9bf41160","datavalue":{"value":{"amount":"+0.8173002","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":"Q4489070$4781642B-C3D1-46CE-B7F7-E400F638DD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6316d4020e0fb67c0e9dd75f11b02cf7043dfe01","datavalue":{"value":{"entity-type":"item","numeric-id":3083141,"id":"Q3083141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f643b7f7090fc7b1e3578cc8f10ad97a142b3cea","datavalue":{"value":{"amount":"+0.81677216","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":"Q4489070$21EB8599-94CF-482E-A48A-B95DF7A4A3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb3020e7bf80f6fd75d1392159df33f035633c8","datavalue":{"value":{"entity-type":"item","numeric-id":4874794,"id":"Q4874794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d647d2f5c803ff448ffd6f8cd5945eff37adf0","datavalue":{"value":{"amount":"+0.81509864","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":"Q4489070$81CCD374-7190-41A0-AC3B-183D0CF22CC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4489070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4489070"}}}}}