{"entities":{"Q1327718":{"pageid":1338468,"ns":120,"title":"Item:Q1327718","lastrevid":68840925,"modified":"2026-04-13T02:25:07Z","type":"item","id":"Q1327718","labels":{"en":{"language":"en","value":"TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 596682"}},"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":"Q1327718$48031284-6E62-43BB-B945-CD414A1429BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e3bca5205ad8527a1acd3e0b5b7549dc5c65420","datavalue":{"value":{"text":"TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327718$8B424914-DACB-4DCC-9FF1-5DDCB61CAB97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f3752d9022df3b55ba8105708814d6d032c0d7","datavalue":{"value":"0825.00120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327718$288A95FF-44FC-4687-840A-9561F0C441FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87e45b30c361999894dc148ad35c93ff5b33d69d","datavalue":{"value":"10.1007/3-540-58085-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327718$9B66BCB7-C3E8-4BB1-8453-5FAB379A237F","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":"Q1327718$360331B0-E39E-49CC-A0A8-4C743A5A9244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd7f48b759dfd821149e625b4185349d418788b","datavalue":{"value":{"time":"+1994-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1327718$C28E31D6-ED45-4DCD-B951-CCC8F8E4C725","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e02c189e69c84cbb890fd761ba8c167516a4e6df","datavalue":{"value":"The articles of this volume will not be indexed individually.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327718$906204D9-DADE-4621-968E-E5B1EC8D5367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327718$F1FA4997-6787-481C-8A2C-2B6B9AE15A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327718$B9F04332-CFC5-4ED0-BDAA-22FBE231999C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be5a48a6b8b85efafc6c30e16f932cb1c58bb7b2","datavalue":{"value":"596682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327718$0C45D0AD-177F-4186-A7C0-A3B780BE3700","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5c292389ed65d653036cdc86aa940318684af2","datavalue":{"value":"Nijmegen (NL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327718$5DF3E7E9-BFB5-461F-AB6A-71A61736FD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327718$5E4BB9EF-0076-4CA4-8481-062DFD1229FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ea16e41bae8f741926fca06e925267f29711ff","datavalue":{"value":"TYPES '93","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327718$91B32DBE-B3A4-4A82-A755-FAEFE02C74CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161d98c417bbbc2882b8a58082e1ac667bc8c41c","datavalue":{"value":"Types for proofs and programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327718$6EB63EA2-4760-4E6C-9F7C-B2E204996BB6","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":"Q1327718$0BC804FE-A3A1-4362-80EE-C60B6852E7DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03d97432fa8ab64d64716571b46cd3a76a49a513","datavalue":{"value":"https://doi.org/10.1007/3-540-58085-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1327718$1653EC24-8D0B-4A45-9F63-9971E3158704","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c614fb93a43e5f391e46f6e3670c915ebddbacd3","datavalue":{"value":"W2478893749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327718$1D198563-FD01-45AA-9A5F-F6C666BD272C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e209a0f83950f285c46abc220ba2f72b52f2de7e","datavalue":{"value":{"entity-type":"item","numeric-id":1819249,"id":"Q1819249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a954e2473256e30df457c0aca903a159b0a77c","datavalue":{"value":{"amount":"+0.94719166","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":"Q1327718$28A9BA38-0011-4056-B37E-CC2DFD4B7AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de75facb3029f1cfee4176b76e6600b834d3821f","datavalue":{"value":{"entity-type":"item","numeric-id":1408067,"id":"Q1408067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5cf88c36d3880a981af07f83f76bcfc75e86c7","datavalue":{"value":{"amount":"+0.94635355","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":"Q1327718$F55A3AB6-49BB-45EA-9FA1-4A6CE0DA47ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255c4335d7ae748fda7a144d35b64f163efbb67a","datavalue":{"value":{"entity-type":"item","numeric-id":1591869,"id":"Q1591869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd80b8bcb564d75b5f0150c164c4a44b32c04a8e","datavalue":{"value":{"amount":"+0.9436514","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":"Q1327718$B33AA94F-9BEC-4D6B-BA1B-AD218E1D87FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023d74d238dd375a42f166b8afafc31e923be664","datavalue":{"value":{"entity-type":"item","numeric-id":1815797,"id":"Q1815797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a5d08febeb993357d8f1c2441876d605761163","datavalue":{"value":{"amount":"+0.9397315","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":"Q1327718$38B9FFB8-E6C0-4812-A1EF-2B034EBF36CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ac21b2203220885a2e45c32f822be994ed3adf","datavalue":{"value":{"entity-type":"item","numeric-id":704168,"id":"Q704168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10136808b247d34903ef231b399bd9e77d2895f4","datavalue":{"value":{"amount":"+0.935393","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":"Q1327718$718CEBAA-BE2E-4666-9BAC-959FA1ADD7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474198bd04cd80531599dd5b1a860ffc59e990a4","datavalue":{"value":{"entity-type":"item","numeric-id":1902697,"id":"Q1902697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae985df71d36dccbfd0a7fef78631c53e2431dc3","datavalue":{"value":{"amount":"+0.9319761","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":"Q1327718$3EEC3BD6-A91D-4B6E-B8A0-06FEF0DEC16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bb23c45bf236fb85e8cd9fb0ac84a4ca66cab2","datavalue":{"value":{"entity-type":"item","numeric-id":1270497,"id":"Q1270497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95e501d1f35b473467f4eaa45a7a0a0004b26dd","datavalue":{"value":{"amount":"+0.93025017","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":"Q1327718$1982B9AA-4B7D-4E01-9167-2AC960916889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"654a6e3796f9ced1249d7c480e29845f34cb0cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1601174,"id":"Q1601174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7688b2315398ed2de8002b2f8f101aa0ff501f1","datavalue":{"value":{"amount":"+0.92299753","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":"Q1327718$C2D31EA8-1C3F-4CB6-BA98-B45B771CB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aea714bb906004b24b9fe6018bbf269d2c8b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5495620,"id":"Q5495620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3706e6a1ece115379460ef91dafcde25eb709278","datavalue":{"value":{"amount":"+0.9170308","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":"Q1327718$E227CBBA-C2EA-4BE4-A77F-C141A6AE49B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0eddb819bf62c0b111b3b94a54aea50b3a6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":2508309,"id":"Q2508309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7c95ca92539198eb2328e2fa31f8f999a9ab82","datavalue":{"value":{"amount":"+0.9167846","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":"Q1327718$83CDA2EF-C894-4EF9-9293-2D9F1AD53566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TYPES '93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TYPES_%2793,_Types_for_proofs_and_programs._International_Workshop,_Nijmegen,_the_Netherlands,_May_24-28,_1993._Selected_papers"}}}}}