{"entities":{"Q534707":{"pageid":536474,"ns":120,"title":"Item:Q534707","lastrevid":62615736,"modified":"2026-04-11T07:17:54Z","type":"item","id":"Q534707","labels":{"en":{"language":"en","value":"Intuitionistic differential nets and lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886384"}},"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":"Q534707$1B502B15-CC89-41E5-9A8F-7163049A1B41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a8e09636456db4ad972b0d8598a0ff6d21e250d","datavalue":{"value":{"text":"Intuitionistic differential nets and lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534707$1442DE77-301B-4075-9246-3C4A089C1120","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57a67a85c21d9c64b0e529797d3818a9662bcf4a","datavalue":{"value":"1223.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$0FDBDA15-1296-4932-B056-38B4729AAB01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb827a90dd4b83e4f417410b623fc9083c7fe71f","datavalue":{"value":{"entity-type":"item","numeric-id":534706,"id":"Q534706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$C5AC9EB3-C43C-471A-905F-B1659CBBFDBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$534CA555-8F43-4A32-90B3-AB54C1EA1912","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534707$A4321938-A483-4B4C-887F-0A446CB4FA00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$0F3360AA-E3DB-4846-94E7-898D1671B0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$4FEB0BF2-480B-4EDF-AF2A-B8B37CAA7EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$C9B73581-ACAF-4486-B682-456436D04FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff19df7660cb355025aa631b4bbf942371cb9a1c","datavalue":{"value":"5886384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$2358FDA5-77BB-4460-9F6E-CFF98FC455E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$3E5139A1-2609-4AC6-A8FF-EEE40F6687BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75dd10a1eebfa7bd77c048b80aa3df8f75dc533b","datavalue":{"value":"differential interaction nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$167CCD4E-DA40-4DDE-B1F2-80DEF09D805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$0ED73D46-8125-47DC-AFF7-3655F2E90524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$CCCD9097-4021-41FA-A52B-8234504713EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd5229ddf74970b2b3cd7963d21f93fe3198a9a","datavalue":{"value":"exponential reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$1E64BDB4-3350-4E30-B0B6-43007808BD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$8DAE1512-2117-4C11-9B53-28AB521B0152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q534707$E0AAF793-3845-4BDD-BEEA-1E42862A7EC0","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":"Q534707$DBC6E95F-67DD-4DD0-A2FC-B3E633CA9EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f16fb894d028efd6db06c114f60c5c26fa52325","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.12.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q534707$83D8AB7A-C105-4F10-8CE4-14AE1D70C4CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4595bc17b7ce6c2f88bec2f373083b958af10d97","datavalue":{"value":"W2109323214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$078B4F32-C134-4E67-B719-DEF0B1170EDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$4E78D41B-9F53-4742-8FC8-861252847C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$989908DD-F9DF-48E5-B38C-D338D304AFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8942ca8af4693b2a95bafc41ae23d115582ec56","datavalue":{"value":{"entity-type":"item","numeric-id":4792972,"id":"Q4792972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$EC4D8A4D-D140-40BD-9008-A8875555B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$B3483D5C-B180-4819-8A4C-AB4E4BFC2FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$C52E7472-3DE2-4ED4-9CCB-D986A19C2E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$6C0CFF1C-5855-4F61-9AA3-2FA6BE229FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$B5FAADB5-DDD3-45EB-A019-B55EE0B66DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07f14b62efd715b711839cc90b635e634470777","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$94697172-BC05-46CD-B3B5-971DFA6457D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211633feba60e3b5d86f54253f1def7897daadb4","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$D043F8D0-081A-4441-AAA1-E6CF42D7D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97203e2af4d50c1df14f063a022bcdcfa1923aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5432352,"id":"Q5432352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$959A0AF5-77AD-4B58-B1F9-1113FCFB2130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$11F72321-6734-4F5D-9090-C3AFBFDF1198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"653a72a2ee33d27f13f550234a9620f4b440211d","datavalue":{"value":{"entity-type":"item","numeric-id":4938598,"id":"Q4938598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$3F808DC1-F80F-4D61-8CA5-C0F218B3BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$DE81018E-2DF4-4B3C-8C4C-33E4C33B955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865b75cced7ee435c9dfb2ebd9223962b3c16bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$1159169B-6937-4649-9F33-3DC9C5DE6976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$47E8425E-996E-4557-BF67-5CF38943A1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4fdc336b43063ea23854b1e9b2526543940aaa","datavalue":{"value":{"entity-type":"item","numeric-id":1044837,"id":"Q1044837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534707$888AA590-5A67-43F4-BD05-DBC340F5E764","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd2082c2d0a4ad3929e8a49a2769cfa0c924e235","datavalue":{"value":"10.1016/J.TCS.2010.12.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534707$F1D651CA-D45D-406A-BFC1-9B56A53FF286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1631fc188c5a02955d63b00fe1e1ee2d2247552c","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8af65fdf68d9211e512ec71d7596f715cf366a","datavalue":{"value":{"amount":"+0.8442545533180237","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":"Q534707$461DF4B7-D59A-4425-9C39-4686E80DC4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a301eeb40edd651b2d7cfecbbd2064712be98c","datavalue":{"value":{"entity-type":"item","numeric-id":5360213,"id":"Q5360213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e04383a2921ee2224d5f4e65025b85403455e9","datavalue":{"value":{"amount":"+0.8223219513893127","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":"Q534707$A2271AAD-22F1-45F8-8528-197EECACD7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835f4a7df32d4ed0353704c3296eae28134c6425","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd4f697b7590ebf7d36faf02335a6736f119620","datavalue":{"value":{"amount":"+0.8038662075996399","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":"Q534707$26BC9B15-B157-4532-BEA6-5F90766DE2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca880c2b6dca52c66e45e1a66bec6778d00be7d6","datavalue":{"value":{"entity-type":"item","numeric-id":2373711,"id":"Q2373711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e71e937f56702017a1389372949052e80b09b35","datavalue":{"value":{"amount":"+0.796113908290863","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":"Q534707$1774C9FC-C6F5-477D-BCDD-2D66D6CCA3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e351a59e56d92d42c11b56df8540cd537cdd3a","datavalue":{"value":{"entity-type":"item","numeric-id":876041,"id":"Q876041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60056b383af4398be685a067dcbc58405a64e254","datavalue":{"value":{"amount":"+0.7934137582778931","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":"Q534707$9491E5B6-7DA8-4602-9CEB-744756D3BB88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic differential nets and lambda-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_differential_nets_and_lambda-calculus"}}}}}