{"entities":{"Q3066099":{"pageid":3076815,"ns":120,"title":"Item:Q3066099","lastrevid":79961846,"modified":"2026-05-06T15:07:06Z","type":"item","id":"Q3066099","labels":{"en":{"language":"en","value":"Logic and computation in a lambda calculus with intersection and union types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834039"}},"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":"Q3066099$4D7AF082-57C1-4515-9AB3-8ED08ECABDBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3718a33eeb477833a7d6c7a6320e89f1d0000c88","datavalue":{"value":{"text":"Logic and Computation in a Lambda Calculus with Intersection and Union Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066099$540E3649-B531-4C56-AA93-15B32B8895F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7a3d47366f9e9878f7f679b978f32d313a09c59","datavalue":{"value":"1253.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066099$E0389EB4-F421-4864-AD7F-2C9C5AC85AF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d79dad50c839453d1b69d18a8049f519a435f40f","datavalue":{"value":"10.1007/978-3-642-17511-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066099$40B0DEAD-E613-43D9-B7BB-FA1969478E71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066099$7BF4A8EE-2D89-4563-A953-28742FD04E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066099$79E2A0CB-5479-4DBB-AFB0-0FFBE4F879F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066099$8C3CB412-8E05-4B32-844B-C5A4550737CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066099$17484C5A-9F33-446A-BFDD-4737CB5E7716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066099$90592083-2B89-42D1-AB6D-37ACB3A5C586","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e026d6414517edcf243dcd85b44cbbd264b618","datavalue":{"value":"5834039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066099$6C7AAC19-C515-4F8A-8498-602380F7A3BA","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":"Q3066099$EEE4CF8B-E528-4C10-A553-B5C162C17FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45f449e6f327911485676cdea37a95166d565244","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17511-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066099$51CE342D-B3C0-476F-AE7B-A4D14BB3E82E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"617d356d250e1e73560292dc0e329ac611eb477d","datavalue":{"value":"W1594451895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066099$6F47E4A0-28E2-4311-93E2-58B6C29DE676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9000f9454df226e319233e7758a1ac6d8731b395","datavalue":{"value":{"amount":"+0.8540290594100952","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":"Q3066099$EE713E34-5C11-47AD-BE8D-C4C66C2F433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75775e895d2970575daab34c06f5c12812be9493","datavalue":{"value":{"entity-type":"item","numeric-id":1698759,"id":"Q1698759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2a9c0fba14fb983ff3c1befb79095ff83d907d","datavalue":{"value":{"amount":"+0.8268710374832153","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":"Q3066099$A438FC82-BDB7-411A-B43F-15A29D24B215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc2bbab4e7fdf5f8cb8a8286bc4183e487b255c7","datavalue":{"value":{"amount":"+0.8250373601913452","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":"Q3066099$3577F6E7-D6F4-4499-949C-9D62198615FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58e657fa108ec92890277c2cfa9da6365ccd0e","datavalue":{"value":{"entity-type":"item","numeric-id":2851086,"id":"Q2851086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936e3e1d81af02beaa80151836a794f041491295","datavalue":{"value":{"amount":"+0.813393235206604","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":"Q3066099$E72C9A33-B86D-4776-AC87-76F3D170D96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acb101caf711151f31c2701eee28a11adec539e","datavalue":{"value":{"entity-type":"item","numeric-id":2851091,"id":"Q2851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fbc8fa528573f744aa250663526a3e6174162b8","datavalue":{"value":{"amount":"+0.8103796243667603","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":"Q3066099$4D69F4B7-29AA-437F-A0C5-6C9185CAB348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic and computation in a lambda calculus with intersection and union types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_and_computation_in_a_lambda_calculus_with_intersection_and_union_types"}}}}}