{"entities":{"Q4913767":{"pageid":6943346,"ns":120,"title":"Item:Q4913767","lastrevid":91602005,"modified":"2026-06-04T23:35:35Z","type":"item","id":"Q4913767","labels":{"en":{"language":"en","value":"A rewriting view of simple typing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152234"}},"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":"Q4913767$DC0322A0-6F78-44D1-A171-F3F835963C64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ee935f068d5f5a8c090fe37be838f7a4b80878","datavalue":{"value":{"text":"A Rewriting View of Simple Typing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913767$29086F6F-E275-4ACC-8D96-ACF83A1B7B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60cae2b812380d452849b0449790aee4af83a577","datavalue":{"value":"1272.03142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$96B63FD0-0341-4003-A7C4-DA4BDDD4B2D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"456073f93cf02dbc53b789aa24f433c1dbb02d36","datavalue":{"value":"10.2168/LMCS-9(1:4)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$738C9FF5-4721-4357-ACFC-D1B6FC1B356E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913767$91175580-04F9-4D16-9C4D-7D60785FC7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f08ad76b6d656db642e007219c34e17a048a1491","datavalue":{"value":{"entity-type":"item","numeric-id":608235,"id":"Q608235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913767$99BF77D8-9A9C-43FE-96DE-BD02AD83335C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54004f62969706f740a96657d1c0696029837b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4913766,"id":"Q4913766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913767$26FFDDD7-E27D-469E-83E0-D41AB7A86980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913767$4EF94455-FFF3-4E94-B988-F31DF2F511E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913767$F75085EB-74E8-4ECA-A570-CB3EEDC48372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913767$F530828F-CB94-42E7-BB38-3CA5336D047D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"271cb4c853edb101d712d8a8528aeaa00b96f7c8","datavalue":{"value":"https://arxiv.org/abs/1211.0865","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913767$FBAED27A-7707-4E88-A757-614FD98E84F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$52B98D7B-AA84-4D15-8F9B-00FE904BB2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$B4597AC2-9CDE-4461-8EE1-1684AFA78860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$9D93814D-B07E-4730-B1AB-E78695F5C787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$6B3C3CE7-AD77-4777-9DE1-D8BA9BCF07E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"232207722bb0385dffa897e9d5b4719e4640378f","datavalue":{"value":"6152234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$8A2AC8A7-AF0A-43D7-8458-55D5BDAD2A18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913767$2EC866EC-CAA1-4E5C-AA50-4D84EECF306E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913767$C62DB1ED-1B70-417B-A2E4-3D50A2DD02D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913767$CAE7CBB5-FEF3-480E-9A54-81E812B34A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913767$972BFC05-2825-463C-B242-4CB1DA79CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913767$FBDC7B00-486F-4C3D-B769-C201F3DB5E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e62a60518465f7bb44a163681aecd44c7753e6","datavalue":{"value":"term-rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913767$D29095B0-840D-4D2A-A2B4-DB5501E0D28C","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":"Q4913767$4101C95D-2B7E-46B5-88F5-DEC1ABF3D9FE","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":"Q4913767$B2D1EF7C-0AEC-48A9-9596-F2D31929B73E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"900b2161dcf56fa2ad92fa5a3466c36a88623775","datavalue":{"value":"W3102394861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913767$1C237850-BD7A-47BA-AA73-8DC49F9728AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ac706391279225e81770873b926e13e28c5669","datavalue":{"value":{"entity-type":"item","numeric-id":2703689,"id":"Q2703689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9a7cdc4619ee71fcb8768fd94248ab994b08d2","datavalue":{"value":{"amount":"+0.7661780118942261","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":"Q4913767$A1F36606-3D75-485B-9F6C-B365669BED72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa694853817545dee15f2096bd9dffe286d84e1f","datavalue":{"value":{"entity-type":"item","numeric-id":672060,"id":"Q672060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a13875956d8514312fe10e5f2e7c0f2e97f438","datavalue":{"value":{"amount":"+0.7607796788215637","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":"Q4913767$100B87DF-0F54-45A7-88C1-7687418B45C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465d234ddbb1a67978c0a33312d4f5f9763829f5","datavalue":{"value":{"entity-type":"item","numeric-id":5389092,"id":"Q5389092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a846691d4fe63eece0157edae438110638831e","datavalue":{"value":{"amount":"+0.744620680809021","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":"Q4913767$C04DB362-6675-4692-BE7C-D11E6AE7D327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a455f70c60abd453570ac0eef01d50921f1456","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db07843d99dd9e1424003f087a2404d70093b07e","datavalue":{"value":{"amount":"+0.7222532033920288","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":"Q4913767$F9ED7D81-35D0-4110-90D1-9B9EBA3E7ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e895053976f5f33a85cdb118f485bdac6ddbf456","datavalue":{"value":{"entity-type":"item","numeric-id":2763648,"id":"Q2763648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0297ebf2c06239737aec7d771694d49d87659edb","datavalue":{"value":{"amount":"+0.7209635376930237","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":"Q4913767$18CEA7E8-2A7C-4C8B-9795-DBB1066B5BCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rewriting view of simple typing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_rewriting_view_of_simple_typing"}}}}}