{"entities":{"Q3358239":{"pageid":3368944,"ns":120,"title":"Item:Q3358239","lastrevid":49532647,"modified":"2026-01-07T13:25:29Z","type":"item","id":"Q3358239","labels":{"en":{"language":"en","value":"COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211513"}},"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":"Q3358239$DCC9491F-F0EF-422F-A93E-A59B31761976","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a4f3ef462f4a841edc440147ce622892c49ff5f","datavalue":{"value":{"text":"COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3358239$B5ABC452-10FD-4330-9799-548588AF5035","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a9938303f9764ffba2ab200313e81e1c866143c","datavalue":{"value":"0732.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$18150C19-F54C-4956-8759-9547B1159D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e7300e04195f39d0232450923457331bff70ac1","datavalue":{"value":"10.1142/S0129054190000138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$92FC1A57-5714-4A57-918A-A599CB115095","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc9ea3edf0950b7709b905c390f4109373f089e","datavalue":{"value":{"entity-type":"item","numeric-id":235594,"id":"Q235594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358239$B18DACB5-D493-4911-8C92-2CDC3F1D2AC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358239$C1654940-74D7-4764-9A45-0B6514C976BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3358239$7394D41E-2042-4CF9-A233-134906C23BAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$EF45AA6C-62A9-4E25-BEB4-CAB76A2A5FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$8A672E78-40D5-4973-9FF4-692748DE797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$C2CC696B-4BDA-44D8-99F3-935615018213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$9C21B0E4-16A1-4B28-A96D-DC0ADE1DA1E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01226465bd8f72cd9dc277e569567878d722cfd0","datavalue":{"value":"4211513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$F9AF5209-5289-4F48-BA74-127F2334BABA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358239$88A12C46-6522-428E-BF3B-B82C6E1A944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358239$B15E6DF6-1A2A-473A-BE77-68B2BC00D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358239$ED5C905F-F8F2-4E37-9EA5-BBAF8E0E54FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d8633eefac0e992a83a3d60f5f139b26934b15","datavalue":{"value":"\\(\\lambda \\) - calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358239$20753F42-ADE0-4E6E-8264-D11E42669448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3331c0a132bfd37d6f9e57f6e98852b395ff88b7","datavalue":{"value":"Strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358239$17883429-B87D-416E-988B-4EEB38246A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358239$62F86B0D-524A-453E-9386-221AA428B2E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358239$000F8CB9-ACD6-4AC7-845D-BCD418CE960B","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":"Q3358239$07046D17-DF2A-44F4-AB31-05F19C7FCAAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bff039ffba6fc912fd5e5ad3fc42d7d3f934241d","datavalue":{"value":"https://doi.org/10.1142/s0129054190000138","type":"string"},"datatype":"url"},"type":"statement","id":"Q3358239$3D8EE921-D3BF-4B91-AD4D-00EDF9F2C87B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56329f7170beee36d6d7f7f8bce93d726f3a310c","datavalue":{"value":"W1979913153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358239$FEF06321-B9A1-4FAF-8291-5EB877F91068","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc59e8d4e22d494359429c8be6dbbd3897119e92","datavalue":{"value":{"entity-type":"item","numeric-id":4281465,"id":"Q4281465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1910be2947efad2971a6df29627886cc93ce4310","datavalue":{"value":{"amount":"+0.8950307965278625","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":"Q3358239$06D3AF40-38C7-40D5-A6C4-6723E19537DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ad3551fb745cf52b15d1a7a6bcc7a82129a4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0788e37ab19757f7d2ce4960d6374352e1f70601","datavalue":{"value":{"amount":"+0.8380928635597229","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":"Q3358239$288F727A-97C3-4CFB-9F2F-622B8FC3E0C1","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":"b7db109afee11c8504a3906bf43161f45fcfb435","datavalue":{"value":{"amount":"+0.8325806260108948","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":"Q3358239$BCC16016-5E24-4391-9ECE-AA2191F042EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692fce0a8752d40a3a1d33c7db98775f0cfa6240","datavalue":{"value":{"entity-type":"item","numeric-id":5881181,"id":"Q5881181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf874372edcc8e5e68541a3cc56693ca723eb959","datavalue":{"value":{"amount":"+0.8270267844200134","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":"Q3358239$CDFB8886-B430-4C47-97D6-E7909C289F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a4caaf00cd52deb91b3fb4131965c7f878a563","datavalue":{"value":{"entity-type":"item","numeric-id":672048,"id":"Q672048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec850436eb702ab7e77f638880091d093f80c9e","datavalue":{"value":{"amount":"+0.8173894882202148","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":"Q3358239$6CAC0FA6-C24B-4273-AEB8-73E53A00CC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358239"}}}}}