{"entities":{"Q5072609":{"pageid":7102185,"ns":120,"title":"Item:Q5072609","lastrevid":41270720,"modified":"2025-04-27T07:21:16Z","type":"item","id":"Q5072609","labels":{"en":{"language":"en","value":"Modalities and Parametric Adjoints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516329"}},"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":"Q5072609$8C1A3DE8-68CB-416B-B229-EFF11D548A2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf8e665074f603da291e7d607eed40d6efe3847","datavalue":{"value":{"text":"Modalities and Parametric Adjoints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5072609$498EBBF0-545A-4D5D-B6E0-0E1EF121FEB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c06799e77a3ca1f5ce727bf9c0da839140e22811","datavalue":{"value":"1505.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$6E2BDCE4-5A44-4DD1-9F8C-8A3E21A003B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22710621739eff5eb16ce9c2bdc5368d9dbf9d2b","datavalue":{"value":"10.1145/3514241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$A80A9155-E9EC-4E06-B50B-38A0E8DB1E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072609$23249572-6F2D-4B62-8C68-967B9B4A0DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a128f3bdb66effacf4eed9018d85afddadc32c49","datavalue":{"value":{"entity-type":"item","numeric-id":5028424,"id":"Q5028424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072609$84A04338-194F-43AF-83D3-6F30F3B92BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eb25dfe5705ac46f782999a0940bf89bc761374","datavalue":{"value":{"entity-type":"item","numeric-id":2988391,"id":"Q2988391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072609$6A8BA7D4-10A4-444E-A2A1-4CDBA53B3AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"830e656e3fafcd2d4ecc15cfc2bb5f94d9903888","datavalue":{"value":{"entity-type":"item","numeric-id":2695362,"id":"Q2695362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072609$DBB6F8A2-6C76-430E-BC01-4B96BCE31182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5072609$0E6C1663-F184-4CF8-B28E-D7B32A289F7E","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":"Q5072609$7CAE560E-A548-42AA-8EFB-0117A765247B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5072609$E793B2A9-F88E-44BB-AD5D-CDC0C60A1C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$3ED8C9B6-198C-46BA-9F55-3725F4D67537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$BED7766F-13F7-421A-BEE9-7CFC6CBC6538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$E5040F15-D3B3-4F8A-A1E1-77F7BC262302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc9a4660f4497e5f1d0102b9481bc1c28d08d790","datavalue":{"value":"18N45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$A58DCFFA-EC96-4BFA-9F90-576DF7490BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d420299132cb0226f9b18e45ef797b62319641ae","datavalue":{"value":"7516329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$267801E2-2FF8-451F-BEB0-D0DB3A501FB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf3cb40fa02391c77861f425263fd40a6349dd8","datavalue":{"value":"modal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072609$5C960842-8EF0-473F-90E2-01B07E83F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072609$DEE77C7E-77DC-4788-A590-0AF0AFA918CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f8fe238dc85349ba53ccc71e6cecd5437eb3cd","datavalue":{"value":"Fitch-style modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072609$4838FF1C-BEAF-4CA4-B1E5-ABF3F382F13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072609$3FA32B9E-DBD2-448B-A10A-BD0BD10B5FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072609$C56FF552-0DF5-4A1A-A81A-5824D0DEF4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78595e01e33a776db47f64e25022b2efb0c67194","datavalue":{"value":"guarded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5072609$892FF923-EE15-4933-818C-93315235DA9A","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":"Q5072609$49837BD1-0790-48AE-AEFB-8DD1B2194C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"698e578427f40fd602315f95834f83d982ca99a7","datavalue":{"value":"https://doi.org/10.1145/3514241","type":"string"},"datatype":"url"},"type":"statement","id":"Q5072609$EB5B7304-3AA7-4F0E-9FFE-AE65F8AC6959","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da362292bdc2b0e99f8c0ebcefd72651a830e779","datavalue":{"value":"W4220778823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5072609$95F1795E-1F58-40E2-A5A6-225ED0FEB656","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1747d11bc4fc4c431ef5cfd3adfa3ad6ac3745a","datavalue":{"value":{"entity-type":"item","numeric-id":484110,"id":"Q484110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75369196eef1298acce7cfbb5ea300a5f977e66c","datavalue":{"value":{"amount":"+0.90206236","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":"Q5072609$CC350299-6FAC-4824-9B09-07248FDC4920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7592f8fc9ce71618f43677125a0c5e34f09e9e6","datavalue":{"value":{"entity-type":"item","numeric-id":3005992,"id":"Q3005992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a891a9efdacbe844086e8d588406ad1191890af0","datavalue":{"value":{"amount":"+0.8781813","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":"Q5072609$AE39A130-70F0-47F9-94F9-16796908696D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67bccde5d5bb9a49e03f65d82f74f5ada1c02c9","datavalue":{"value":{"entity-type":"item","numeric-id":4012252,"id":"Q4012252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb567ae1999be825101b8a757129aa2c7754273","datavalue":{"value":{"amount":"+0.85759807","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":"Q5072609$576FEDE3-50E2-4B5A-864F-5947D4BA5A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52370417b42aa55c006002cc7a3c642a956c0321","datavalue":{"value":{"entity-type":"item","numeric-id":1404973,"id":"Q1404973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f27ce6aa5569ee692c682538f346415d7d2d9b","datavalue":{"value":{"amount":"+0.8426347","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":"Q5072609$2138F724-373F-4107-B962-C6464EE090E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f66ca65d17d07d5a728fcbdf93767bef77049a","datavalue":{"value":{"entity-type":"item","numeric-id":4675765,"id":"Q4675765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9939ff0a4f58c97687d875673002553e227b07","datavalue":{"value":{"amount":"+0.83887434","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":"Q5072609$BA7E1D41-F8BC-4029-AD4C-C6EE4C4A391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31424aa4b59c8c80d8b8262b3bd3370285dd799","datavalue":{"value":{"entity-type":"item","numeric-id":1901502,"id":"Q1901502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85d66f34d9b05cff81380e021145b777cce71e9","datavalue":{"value":{"amount":"+0.8373703","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":"Q5072609$62A4DF02-08AC-44AC-B839-F4236BACCE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4ec306d39b84170409f93fc719b5364d92d59f9","datavalue":{"value":{"entity-type":"item","numeric-id":3597349,"id":"Q3597349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373bf8ee2b4be36eaff81b4ebeda795fbeda64c4","datavalue":{"value":{"amount":"+0.8368158","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":"Q5072609$79E4DE72-5B95-467F-B5EE-4ADCDB975AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25be28888ad4ab7a310c3d3e6ed2db17d4bf4ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2642477,"id":"Q2642477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefe478d39d98b175c11322cff6d76880dc09dbf","datavalue":{"value":{"amount":"+0.83435136","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":"Q5072609$AD3190AB-7089-4D80-81C7-63C96A33D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0b0dd2c4e783fc7d512096f8e30b3cdb9d71959","datavalue":{"value":{"entity-type":"item","numeric-id":3602675,"id":"Q3602675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fce84eb7688a6cfda5462bb01c51642cbf9953b","datavalue":{"value":{"amount":"+0.8325556","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":"Q5072609$5E91FCD5-AC8B-4061-9856-FAFA3E1B334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e220dc7dad92c759ef9dae1a70c45de397e2b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4242752,"id":"Q4242752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b75fa51773de97ec528a85b347ae2ae1b79f5e","datavalue":{"value":{"amount":"+0.83037776","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":"Q5072609$79664728-E681-4177-9520-B79F9E9A17A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5072609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5072609"}}}}}