{"entities":{"Q2500487":{"pageid":2511230,"ns":120,"title":"Item:Q2500487","lastrevid":49897018,"modified":"2026-01-11T19:43:42Z","type":"item","id":"Q2500487","labels":{"en":{"language":"en","value":"Logic of subtyping"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047256"}},"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":"Q2500487$6CDFA23E-E3A6-44F1-98A2-79ADD7DF9622","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12d12f9d088e3a9428a7c8188a978192c230330d","datavalue":{"value":{"text":"Logic of subtyping","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500487$3ABD97CC-CF4F-4EB7-87A7-DA82C63BDF15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6832664d99d7baee148c30d892a41b0f768cf6e9","datavalue":{"value":"1094.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$42720A1D-9847-4F2D-86CD-208364A2517D","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":"Q2500487$37536233-C7D5-40E0-99C6-36E141BE8877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500487$E2546D29-EBF5-44F4-ABA3-88C53E91A287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$4E8CA1E3-0648-4EBE-8116-69012BD6A948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$B932BE18-05A7-472D-8032-430640494A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$F39DF75D-6ACE-4A6E-8E8C-5728D244F9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$1798D0C5-70E6-40F5-88F9-20380417EB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"362f69e43fa0b25be30c0622a305b612432b2d95","datavalue":{"value":"5047256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$8902F3A1-D46F-4185-920B-D7FC02A36D60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"775b93ad84fdee2915973da4578f856aa63d1a11","datavalue":{"value":"subtype","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500487$8BC4F71E-6E7F-4C10-89CB-AF39412CD7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500487$6226ACA7-574B-44F8-A01C-0CA42280FA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c9937405a71361956f147787e00614a28d858c","datavalue":{"value":"proposition-as-type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500487$137CE647-7535-4DD2-A917-76363326FC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a158fe0d08f63d0f508080cfbc00ae37b445c92b","datavalue":{"value":"nonstandard logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500487$E57412BD-D96C-4248-96EF-9E9DAED8D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500487$370F514E-9271-4BD6-A61C-F2974436E105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500487$22BE82F8-C068-4D5F-B056-596FADEBED65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"871cefcb8948ab703a5bab71322354559a823f68","datavalue":{"value":{"entity-type":"item","numeric-id":306823,"id":"Q306823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$A5B9C58A-2FB4-498F-A9E1-27B981565596","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$1F9DF068-433F-4DE3-9B70-43E5AC18183D","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":"Q2500487$A24D8E05-C2EC-4D5B-AE4C-F4A5E594AE68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17d550fc03b7a85d7fdfaa58e5270cabb217f08a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.03.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500487$A48D2FBC-0B3E-4973-A594-F7F16019640D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7db6c53b6f675ff0120a9f5e90c93192b07613c","datavalue":{"value":"W1968739019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$F89AF0C1-6819-4BBB-9471-1244F2545F33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d56ed87d745dd969300711ec6283444dad4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$B4E14F73-1DA1-4286-972D-BA5AC0C10CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541cd2c6d47f681c3453f27d1724427b29545e31","datavalue":{"value":{"entity-type":"item","numeric-id":756435,"id":"Q756435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$D26C3C57-D613-49B4-A1B6-3EE17BBDF0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d38bb47035312d7e593ac22222c56b8e64b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$626AD68C-D8D5-4EEB-8C8D-992838180E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$EBCB9DBB-70C1-47C0-95C5-30EEE4A125A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$E41B36F3-DDBD-4BBB-8B13-1FCB818532AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60facddfc77a4ec30a3c2b2c8df80393a115cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":5834321,"id":"Q5834321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$9128CE04-CEAC-4F01-B4F0-55E8A0FB9DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$CA2D39B2-CB51-4117-9171-1E7F977C13FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$8C380393-9DE3-486E-8B69-326C10B8B490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadb98706e8c9ab659cb856584ca2086f4fff623","datavalue":{"value":{"entity-type":"item","numeric-id":4281471,"id":"Q4281471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$995E5360-365B-4B4E-861C-AA4BEDF248F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$1B9167BE-B148-491B-888D-B5DA00E982BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac58e4be8f168ea8903b19bb0533d3dc63a9aa84","datavalue":{"value":{"entity-type":"item","numeric-id":4783332,"id":"Q4783332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$8EEDFDB7-610A-4309-9E3F-392614A098BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$65C7B103-921F-4C3A-B8FD-5C4ECB029C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bc1b1f9403e20d87198bb25d0434276270b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4507489,"id":"Q4507489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$6D0902AA-B7AE-4CED-B623-0AEC98A8B662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$DAA4BE3D-D57A-4EBE-B648-5DE2865EE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$74D54D37-CC24-4D84-8C41-0891BF012633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb37d4c5374d4a6b2459e0fbb29b51beec76c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4103076,"id":"Q4103076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$678D32B8-4E65-49A1-A8EF-F6ADC18A11D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$D73A8DD3-4A5A-404C-907B-097EE17D06E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f520c54025dfa33e5e0c52643f533fefe1e85170","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$3F57B6E4-3175-40B0-BB57-D68D77A27FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b87d18be1bd3e2fbd81414ccfc6a3fc0bf0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1221739,"id":"Q1221739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$7E22900A-C8DB-4432-B8DA-3C4987CD9169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04102d719d2f6444879aecf1fabe960f36873b5","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$32B2C67F-C02E-4EE3-A8D1-C55B2E5A98F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$E35C778B-2802-421E-9881-C301423D02FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc04315a7a6dbd4691b9e60e514030b7bfd424b2","datavalue":{"value":{"entity-type":"item","numeric-id":1854408,"id":"Q1854408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$B5267DF5-0696-4145-9D66-33FBEBB910CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$9E9BD5A3-4D7F-4377-882B-933C09269590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d304034f629f11f3294833969376df4356277a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1427854,"id":"Q1427854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500487$537F73E3-2E10-43AB-9E78-E451386C12C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f13eedb9361585a1d76b6a1489a13e8384f68f6","datavalue":{"value":"10.1016/J.TCS.2006.03.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500487$F46B2503-13DB-4006-AB62-60B0D988D7A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b884a2808af6016251c395ab044a85303d4e63","datavalue":{"value":{"entity-type":"item","numeric-id":3146272,"id":"Q3146272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ff9c76f0068cf1808698024a9a6529f973fba4","datavalue":{"value":{"amount":"+0.7976205348968506","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":"Q2500487$F7BA233E-E0CC-4487-A07B-AE96E8B6CB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b936e23f2a8eab116bc96ab52c1b6d4e41ea5c7a","datavalue":{"value":{"entity-type":"item","numeric-id":2510384,"id":"Q2510384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7b801e67b585b2090dc68aca609249445f0fd5","datavalue":{"value":{"amount":"+0.7807769775390625","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":"Q2500487$DD6B4309-1564-4FE4-AE29-71E85DF2268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd27a7ed6bf17e9fb2ec0d7914e816f13a930506","datavalue":{"value":{"entity-type":"item","numeric-id":5395063,"id":"Q5395063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15f31aa3a630fa516b72f512ad93789300d0526","datavalue":{"value":{"amount":"+0.7802248597145081","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":"Q2500487$30970809-BDD6-4AAD-AAE8-6438BAFB52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4fa2b7f0678d45ad1d23f39cb74e0c27da62eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375803,"id":"Q4375803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ba1fec83e5c1c6cbfbc171730db7fc0c9f7866","datavalue":{"value":{"amount":"+0.7799391746520996","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":"Q2500487$B53F0F68-38A5-49F4-AA66-408B98E3A232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3281c8456c844779164c5106b348cd632c0b47ca","datavalue":{"value":{"entity-type":"item","numeric-id":1427854,"id":"Q1427854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ba1fec83e5c1c6cbfbc171730db7fc0c9f7866","datavalue":{"value":{"amount":"+0.7799391746520996","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":"Q2500487$EA05BA87-ECA7-45DD-AB8F-4189B339BEAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500487"}}}}}