{"entities":{"Q4362909":{"pageid":6392508,"ns":120,"title":"Item:Q4362909","lastrevid":41254009,"modified":"2025-04-25T02:01:14Z","type":"item","id":"Q4362909","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086659"}},"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":"Q4362909$E33485F6-24FD-4DB1-A89E-31F78F71FE38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21d7d0340bcf9dd0456b27e8cd3f8bfb887c2be9","datavalue":{"value":"0882.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362909$253428E8-6BCD-4953-B6CF-7E4B6BA2F0F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362909$DBE7CCF1-B156-49A0-B460-E19F7AA50731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362909$FEB48A0E-6D59-4D1E-A144-E10D84AB2F38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362909$0558938C-86E0-492C-B3EA-FDFFDBF6A633","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362909$FC10CBCE-A6D9-497F-B89A-55D8DB707AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362909$5B615B27-EAC2-4461-AD89-96B636861A4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"404c9f0f024909049856a586f6e44cf5dc40c380","datavalue":{"value":"1086659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362909$EA8967D5-F33A-415A-8B3C-775BD42AADB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73f13d0e22d874e1a91438c7c0ab64019ee104c7","datavalue":{"value":"typed \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$C621E8B1-E49A-4ECE-9179-CA513D9514BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8043c52a822807c5d5a0fb77c12f5da22929431","datavalue":{"value":"typed rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$9EDF388D-A722-4642-840D-47849BE650BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa97878cea68f1bfb5d07958709818e5faa2c0d","datavalue":{"value":"algebraic type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$12BC7E10-F8FD-4A3A-BB16-7785DC629952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c71468e30bfb9474fe2236d85f20945cf91543e8","datavalue":{"value":"Subject Reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$A796792E-645E-4315-90CF-69D2F16A9383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c733bd1e87f6373de6ca168040bc319c54f8efb","datavalue":{"value":"labelled syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$21C537C6-E09F-46E5-AA6D-62B114B806BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$D6968B79-9C2E-43F6-B91A-6CE557CBE51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362909$08C580FF-78E1-48DC-9E82-E9FC4300BD44","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":"Q4362909$32A74446-BC65-4AC6-B901-B9077E523008","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":"Q4362909$4AE6DBD9-CBE3-4C78-B622-4BC9120B1EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca4074521f3827a20d8788fc24c14cddcddf22d","datavalue":{"value":{"entity-type":"item","numeric-id":3216641,"id":"Q3216641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2388d666d67c2df4170bdccf2a4bd60c9ecb6a42","datavalue":{"value":{"amount":"+0.92482215","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":"Q4362909$AADE35F8-2723-48FA-99BC-29B46E72C7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5ba892fb50d0b2422e83b3c16041977fa38eb1","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97615144bbfe74258bc3408ec3543cb5aa38fec7","datavalue":{"value":{"amount":"+0.9093548","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":"Q4362909$E9B7E2D5-5143-4A50-BA6F-01F348973A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b82fdd68ff5e1081cdbdc1ff2b8e0cc9e827e4","datavalue":{"value":{"entity-type":"item","numeric-id":4405688,"id":"Q4405688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97615144bbfe74258bc3408ec3543cb5aa38fec7","datavalue":{"value":{"amount":"+0.9093548","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":"Q4362909$BBD6A3EE-943B-42D4-A42F-B1A50EDDFBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da6873d290eb87a3111f9aae504e1a935cb6b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66063153674ff8155bc1e25f8f41a91518f116b1","datavalue":{"value":{"amount":"+0.9068521","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":"Q4362909$4FEC21B3-BB1E-42E7-8FD6-09CC24C8F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424262529f81eeb155bdc89bc6d20c7b54b2fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4645803,"id":"Q4645803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da06cf98e79f34aa83b594e4c64d31e10b5e711","datavalue":{"value":{"amount":"+0.888021","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":"Q4362909$4D9BFF0B-5EAF-4D8C-8EE5-943669B59FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05151f8a50288256d476f6eeeef08cb5d1080c0a","datavalue":{"value":{"entity-type":"item","numeric-id":5935790,"id":"Q5935790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663468a62b990604b221b74239a0bee13f5b99c7","datavalue":{"value":{"amount":"+0.8877727","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":"Q4362909$36004067-3761-4AA4-A936-4B82947146D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3544f126f3acb0ddff92d948e9a57d81389ad6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1104311,"id":"Q1104311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c08a42e2e90024980d8513002c7bb8eb3c6088","datavalue":{"value":{"amount":"+0.88750714","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":"Q4362909$B815EBF5-2CEC-4E12-89C8-99CDF5942C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ded6dc1c98bf86743d12afb475edc0ef078641","datavalue":{"value":{"entity-type":"item","numeric-id":1340967,"id":"Q1340967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d907f786311a46bd4f2dcc5cf578b999cbb34fbb","datavalue":{"value":{"amount":"+0.88597214","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":"Q4362909$3C797089-4D2F-453F-8934-6B3304A920B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dced8c87cc932bc56d55b026c9ad533474e7999","datavalue":{"value":{"entity-type":"item","numeric-id":2842839,"id":"Q2842839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d048953d89dd7c2e912dd381c910ead24e9285","datavalue":{"value":{"amount":"+0.88208055","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":"Q4362909$EB8821BC-D282-42B7-B0EF-49C4DEBBBD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5cd6c45482e4c8f334acf0e31b18fae74a4a74","datavalue":{"value":{"entity-type":"item","numeric-id":1323318,"id":"Q1323318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef96a6ff56b93d07300a134a87ecc70e583cb95","datavalue":{"value":{"amount":"+0.88018733","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":"Q4362909$C7977CA9-5E43-4457-AB76-E6B198E17BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362909"}}}}}