{"entities":{"Q1337501":{"pageid":1348240,"ns":120,"title":"Item:Q1337501","lastrevid":67615923,"modified":"2026-04-12T19:02:47Z","type":"item","id":"Q1337501","labels":{"en":{"language":"en","value":"Interpolation property for bicartesian closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 682653"}},"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":"Q1337501$516B4D24-EAB4-48E7-AE91-1F4F949816B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e59f52636ea9d06786bc47199247edb536270b09","datavalue":{"value":{"text":"Interpolation property for bicartesian closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337501$BF2BC681-A9FC-434C-A82F-7AD8BA63290B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6530d205ca15dddd18b67825b81def4f94061c3","datavalue":{"value":"0807.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$E6E1563E-16E1-4AB4-BA91-95395A3207B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc8484c06d165abd60a32db29b8b2d4108ded49b","datavalue":{"value":"10.1007/BF01270628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$6D4783B9-845D-490B-ACD0-9CC1C49929AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"595a32f0202bd696ee19a3e86e98d9dadfca6302","datavalue":{"value":{"entity-type":"item","numeric-id":1118586,"id":"Q1118586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$8D4395D1-F02D-41C9-A2C3-F4F01608E5C7","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":"Q1337501$3DAEB1C1-0F7A-441E-AF33-6F90CFD719BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32d1d77beb5f3bc65c221a38015efeb024af2386","datavalue":{"value":{"time":"+1994-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337501$DF612A93-C0C7-4650-B7D6-82AC4C04A51B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$4C7A2790-5EDA-4853-BFE7-B2E405F0EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$0BD479F1-3CB8-4D08-9E36-0714AA2624AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$4829B7AF-8287-49C6-8AB4-701D5C774D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$3524A985-546D-4FB4-9D48-F5F45DD02138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$6FA2D480-22F4-4E61-9F49-71B05F29E66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$68711D99-88BA-44BB-8E0F-4CA80FB584D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$712C0DD1-DF88-40C4-9008-2C1533C894B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"428d0803e79c7c684dda36122556005a6547f1f4","datavalue":{"value":"682653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337501$F2B6ED0F-2F5C-4048-938B-B41C3CC01201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337501$B3F60205-826B-44D1-9FE6-FD25BEE32D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337501$6E869656-F169-41EE-AA12-0548ED059D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39cc7b263a34ebcbfc3b70de9b3b0a8338f53ba","datavalue":{"value":"pushouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337501$6E94CFF6-EE1B-49D1-A097-B2D9FD9B830E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09649116a1eabad1d5cd3ef105b51051c6a7d5db","datavalue":{"value":"bicartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337501$A27B2B9F-8F91-4C16-A0F9-7F96EB1C17CC","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":"Q1337501$94FD94FA-03EB-42B3-BAB6-42C9372AEA29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$07B708F0-A44B-4568-9683-F0DB33EF4BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$DC558AE4-DACA-4BBF-ADEB-476773335A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906c7d4e316ebb9ded2b2e442f04dfc90302b744","datavalue":{"value":{"entity-type":"item","numeric-id":4175531,"id":"Q4175531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$86348A75-E102-416C-B0C0-8C814487CBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7132c44fc3b63f20d06b9565a0ca20ad507826","datavalue":{"value":{"entity-type":"item","numeric-id":3978985,"id":"Q3978985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$7E7EC0AE-4BF0-4545-8F3E-D8C46B5DED70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c4c11391c1c0aa5fd668b6cf5c7f82ad0a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1053098,"id":"Q1053098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$C21B8986-08F6-4A03-A839-23D2F0DC4E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acea76b85bc7bf26ae9cf4f5e9a5a8039faf820c","datavalue":{"value":{"entity-type":"item","numeric-id":1055409,"id":"Q1055409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$4560B636-9349-469E-BDE6-DD0404B0E91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a9f8cc0d3535e9b48fe3f96e2beced526d6be6","datavalue":{"value":{"entity-type":"item","numeric-id":3755631,"id":"Q3755631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$16164495-ADFB-4A55-8A49-69457B7C20E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$4D249E6B-736D-477B-A81D-D9122E4C7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337501$76C67376-E642-4BDB-8565-2A771E7305B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe0ced0864787d10812efa34e89449f97136e0e","datavalue":{"value":{"entity-type":"item","numeric-id":861842,"id":"Q861842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58b33e456c71bdfa166071c68340ff3b0f4a9bc","datavalue":{"value":{"amount":"+0.8954903","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":"Q1337501$BCBF6B1A-E654-4F79-9B61-52E2EE32D3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f1f9ce539caf091329fbd80f03213be83179b5","datavalue":{"value":{"entity-type":"item","numeric-id":5311991,"id":"Q5311991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58b33e456c71bdfa166071c68340ff3b0f4a9bc","datavalue":{"value":{"amount":"+0.8954903","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":"Q1337501$12B3D4A0-197D-401A-A238-A7A78E110377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a52a9b38af3d184e210583cab6837b13216e71","datavalue":{"value":{"entity-type":"item","numeric-id":2698278,"id":"Q2698278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d1c2ce8a0a3668bbb3f5e711f2d4f6ef5f8d3c","datavalue":{"value":{"amount":"+0.89226586","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":"Q1337501$86984198-929B-4633-B8FF-62337ACCF252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a54978b233673548f753a17cb1a09b58f52ea92","datavalue":{"value":{"entity-type":"item","numeric-id":3387475,"id":"Q3387475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa6524518b0026f01ebf2afe44e269477536e09","datavalue":{"value":{"amount":"+0.8785738","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":"Q1337501$74BD688A-927C-4F1F-91E3-DC5C37C43E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1357a65d8e70a4095cefecaec59533960286b97d","datavalue":{"value":{"entity-type":"item","numeric-id":4990312,"id":"Q4990312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003966966a80a3a63f34f1e262e21fa21644c4cc","datavalue":{"value":{"amount":"+0.87680644","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":"Q1337501$6BF6EB0F-154A-45D6-A597-07AA921CEE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bccd27bd0b8449d94ffc2e73a45297dd687e3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4715675,"id":"Q4715675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecca3069c5711d82e2b9a35de2bdf9327703dd01","datavalue":{"value":{"amount":"+0.87377685","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":"Q1337501$CCF4E844-41AD-4C65-BE9A-AB99D2BA154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e5f4f35b170a672250f455a9804c8f1fa33329","datavalue":{"value":{"entity-type":"item","numeric-id":2826239,"id":"Q2826239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc56efa2f89508b8a6d0cc428017ed507ed4fd4","datavalue":{"value":{"amount":"+0.8707928","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":"Q1337501$1E1F1502-1FC3-444A-86FC-F8BCE36F618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04a2c3c89ee8c7748aa151102c68a7c364a489c","datavalue":{"value":{"entity-type":"item","numeric-id":2200954,"id":"Q2200954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395e15f50ef3a25c76cdbfc64f3037ba6676c608","datavalue":{"value":{"amount":"+0.869261","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":"Q1337501$929AB25E-D5D2-4043-9EEC-FAD85F75D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7bebfa301c9ad98b918d7879fe6007ed652356","datavalue":{"value":{"entity-type":"item","numeric-id":1819334,"id":"Q1819334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04d62c3c9584421d8c50edbb69996624c30c300b","datavalue":{"value":{"amount":"+0.8680341","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":"Q1337501$0BD5F4CD-66DD-4B70-82BC-0277D3953248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e792018378666596d719a13d3ca125db663e2af","datavalue":{"value":{"entity-type":"item","numeric-id":6166762,"id":"Q6166762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9855b50ff885286de276900083aae9ef220b63e","datavalue":{"value":{"amount":"+0.8666638","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":"Q1337501$5FCF9CB1-8AD8-44E9-9653-2052B9878E13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpolation property for bicartesian closed categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpolation_property_for_bicartesian_closed_categories"}}}}}