{"entities":{"Q3637189":{"pageid":5667095,"ns":120,"title":"Item:Q3637189","lastrevid":50704223,"modified":"2026-01-14T21:02:06Z","type":"item","id":"Q3637189","labels":{"en":{"language":"en","value":"Existential Type Systems with No Types in Terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576323"}},"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":"Q3637189$833C4CBA-6AE4-4B1E-86B8-CF7DF097AAC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a43e48b65a39f5e8f55b17eab5c0ceafaf11319e","datavalue":{"value":{"text":"Existential Type Systems with No Types in Terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637189$D73425A2-4029-4359-9ECC-4B93EC359CBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"837d9c642b9ac983e8a36cd9191bb40c46880564","datavalue":{"value":"1246.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$F358EE6B-31D5-4A96-B1E2-1AC481167B67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"937bde7677dd74a110b10aa5bf192d98016296ad","datavalue":{"value":"10.1007/978-3-642-02273-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$D677B5DD-85DA-4173-B061-BE85416D7786","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$71EA2302-AE99-42B0-A120-19F0D35F5DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c4126f41aa55f809ebb637deb5d362ebeeebb7","datavalue":{"value":{"entity-type":"item","numeric-id":276262,"id":"Q276262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$26C07171-B15A-42B7-94F3-234FA2A6F620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$BF099B0D-8418-415B-BF56-0F4C778A6607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-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":"Q3637189$DD14AA9A-99B4-4995-8B51-23046F9B0BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$1F1D53FC-F176-49A6-A1F9-12808D903DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$B63C2D7E-EE3F-40B3-9BF2-A69483683641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$64D147E6-A9EA-4063-99B2-97A84FCD1D2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1492ce9d5073392098d62c9060ab9266908951dd","datavalue":{"value":"5576323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$8C7E4698-053C-4234-8747-BA887C7E7882","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$E794F424-90A8-4C37-AFD4-405B2928D2BF","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":"Q3637189$66418FD6-3E14-4F14-8A86-4C855BBD0CAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf770ca3dcd6101474c7e111367633fd41af7bf1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637189$A39E2589-1382-48E9-B2CF-28F1391631F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"324f7ba0280efb569145a9085eec64895912de70","datavalue":{"value":"W1576139432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637189$9BBB9B8D-949E-4537-BC22-3664C6835546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cadbbe9dbc04b1a29d3c16afd66252c0bbc9e6","datavalue":{"value":{"entity-type":"item","numeric-id":1904467,"id":"Q1904467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$8CD0E339-1E22-4B6D-8636-C16FBF6BCA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61a9ba173f39666dd2c8b876ad083be94132fd","datavalue":{"value":{"entity-type":"item","numeric-id":1314345,"id":"Q1314345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$DCB4FB2D-ECAB-4A4C-8513-FF1A77987FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed5b14a086787bebc35634de251ea7dadb5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4762953,"id":"Q4762953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$E8079466-E08F-4FD2-AD4A-2DDB98C83998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3a32c7af6cf72d9672a4ac24b0520c7f871f3d","datavalue":{"value":{"entity-type":"item","numeric-id":4536445,"id":"Q4536445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$344C1060-8107-4B43-9B20-272C7AC99C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f2a66a7c28c8bfc2ba1899bdedb7af80cb4db2","datavalue":{"value":{"entity-type":"item","numeric-id":1044830,"id":"Q1044830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$C6474FFE-3802-4F4C-945C-6A46BE8EE046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52237542f76dae60353f25dab21f407ab4b0b2d2","datavalue":{"value":{"entity-type":"item","numeric-id":5704009,"id":"Q5704009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$F18D66A4-E99F-4D28-9C16-7EAEB63C00F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a9018b8dde4d7aab80b00d69a59b94f16c384b","datavalue":{"value":{"entity-type":"item","numeric-id":1207950,"id":"Q1207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$FEAF97E5-FE70-40E3-B532-DAC9582845E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5584693b565a61f331fe670971b2a9e8c0689c28","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$8BAB898C-CC08-43AE-BE9C-35CD8D188145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e52b34e7a0a27283722efee4ee82ccc7985125","datavalue":{"value":{"entity-type":"item","numeric-id":3142167,"id":"Q3142167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$A4F83307-218A-4A74-BBFB-AD5486F76407","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":"Q3637189$4A1469B5-0E5A-497E-B271-78288EDDF786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$0AE73C30-8057-461D-8618-D09AD1D1CC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac0238542245b8dba16f4222440bcd83dd0e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":1302292,"id":"Q1302292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637189$863E5102-5D8B-493E-955C-04F950BC2487","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a1602d54b760ceb3439a83153ad1f749ed4ee","datavalue":{"value":{"entity-type":"item","numeric-id":402117,"id":"Q402117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed29de51cf6a83535b2977b2cc18905429f5a85","datavalue":{"value":{"amount":"+0.942666471004486","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":"Q3637189$219DBB6A-81A4-4101-8474-C4D99A64A0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff30d0d30f9664fc19a9db65fe235c61fdd7274d","datavalue":{"value":{"entity-type":"item","numeric-id":5389138,"id":"Q5389138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e176bf5c42d6192458aa83bdc2666e89fa49a5","datavalue":{"value":{"amount":"+0.8167502284049988","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":"Q3637189$0E3CD1E4-FF51-457C-915F-2448FF58378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9440e44c0bc991151a1ad77ef1bfcfc962a16bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3540198,"id":"Q3540198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7689c802975418227d1acd6ff66c95c845ac62a4","datavalue":{"value":{"amount":"+0.7847913503646851","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":"Q3637189$FDB3EFCE-E79F-4933-96EC-2C4978D3D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3092969ca9643ca76d6fb233e82cb29400a6fd8c","datavalue":{"value":{"entity-type":"item","numeric-id":690505,"id":"Q690505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed959425beac320394019d05a129f9fb9ab4afe","datavalue":{"value":{"amount":"+0.7763454914093018","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":"Q3637189$D09361F7-C046-4DFF-9E05-40955A3D6173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e739a838466c2468995d01697add42a1281f992","datavalue":{"value":{"entity-type":"item","numeric-id":4536445,"id":"Q4536445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"857904acec9f7ece07e5ed8677cfd0ae89af9cac","datavalue":{"value":{"amount":"+0.775824248790741","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":"Q3637189$7C60002C-37EE-494F-9188-ACDDC333AC82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637189"}}}}}