{"entities":{"Q2720293":{"pageid":2731032,"ns":120,"title":"Item:Q2720293","lastrevid":47628778,"modified":"2026-01-02T06:29:02Z","type":"item","id":"Q2720293","labels":{"en":{"language":"en","value":"The rewriting calculus. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1610935"}},"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":"Q2720293$36DD3EBE-BA4E-4246-B80B-75964438FBE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee8b1be3d53a446dff175b856de53629722399f","datavalue":{"value":"0986.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$3697A318-7CB7-40BF-938D-EA2EEE6ECC61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9298254f76a7358264f9011f9bda765fe2714a","datavalue":{"value":{"entity-type":"item","numeric-id":857911,"id":"Q857911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720293$08892FEF-841A-48D2-B16E-C8E8D8E68F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720293$066D73D4-170C-4DCF-927E-3EEBCFB3277E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"699252fe7d0c2555c03ae79bf201a68b560e82c1","datavalue":{"value":{"time":"+2002-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2720293$EB5A1C2F-6145-4E4A-9BCF-46C350C2E7D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$D879156D-0977-47FD-8030-66D46F61C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$3344FD3C-C857-4171-8EAE-7DC89863BFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$0B1B88EF-6273-4BC0-ADD5-7DA4B6E47B82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc4426473cc051b1153724ec2272a84f69cd54a3","datavalue":{"value":"1610935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$4F1A9519-23AB-49B5-95E2-AF53C0EC1368","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720293$84A1906F-458A-4C1F-B046-49F84C1D85CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3608a4c9241142ea5784191718d4ba6db3f9c28e","datavalue":{"value":"rewriting-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720293$B3E67CAB-7251-4B74-98DF-A7C3D2756CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720293$992810AD-CF1F-40FB-A9DF-282180422FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c501eb9e00aa1b8ae9c73cefade111d8ace91b2d","datavalue":{"value":"rule based language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720293$F3F7D8BA-0C67-41DA-A606-B6E6B80D6679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095f04d3f6d91506e7aaa1be43875f726059845a","datavalue":{"value":"rho-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720293$851D5C84-0533-409C-B0A4-199FFC781C4C","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":"Q2720293$A2217C36-B0D9-4D3A-AE20-8C4F67D07A99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21af5304557cf28827b02d197c5a597980ad6814","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.3.339","type":"string"},"datatype":"url"},"type":"statement","id":"Q2720293$98C70B3E-EAC8-4972-8849-EA202BCF2880","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b63e7079035d9f6a102e52c780d56d3bf77a34c","datavalue":{"value":"W4214577271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$C26DE19F-6588-4011-869D-5A857DA46C53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bc123372adc9cccf35074feace0f7152874e7e7","datavalue":{"value":"10.1093/JIGPAL/9.3.339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720293$12493A68-F74D-484A-B993-5A99917EB73E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720293$4B95803E-8D1F-4C77-877E-8C58F00ACDDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"742f2f74ce8eea4f6ef5b9435443f27cf3620629","datavalue":{"value":{"text":"The rewriting calculus. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2720293$4020770C-C819-41AE-B40E-F863E19756A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec2c13e9c234a418ffdeed164482ae9c6b3a8a8","datavalue":{"value":{"entity-type":"item","numeric-id":2873778,"id":"Q2873778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63888608fb7204507aefff89db5da05d9e1f375c","datavalue":{"value":{"amount":"+0.8734912872314453","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":"Q2720293$019211D6-C93E-44A2-9402-C46EFEB7234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dae14d1f98a742f9c607eaff2cba9a0d69e3844","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab05ba87b4d7a6729410076dd38c71b8545b64b","datavalue":{"value":{"amount":"+0.872218132019043","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":"Q2720293$9324B73B-F0C9-49D1-8E7D-5C5FF83CBACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60a609f8f045d8527c3d504018e5821d3568dce","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab05ba87b4d7a6729410076dd38c71b8545b64b","datavalue":{"value":{"amount":"+0.872218132019043","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":"Q2720293$F418FBC7-2504-46CF-BBA5-E6F0E2FA6A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2f17e7b41024f72a0383c39ae3e08e9cbe0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5758041,"id":"Q5758041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5a19db2aec59a27ca25d266e0fe5f02772e39b","datavalue":{"value":{"amount":"+0.8578776717185974","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":"Q2720293$B787E7BD-BB50-423B-A4FC-54325DC7DAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99071566482c9a8189f2aaf80ea309e832520c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2720294,"id":"Q2720294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5673c80c0a1521d966edba86b37b589dd39bce","datavalue":{"value":{"amount":"+0.8575930595397949","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":"Q2720293$5ACB23A1-DF75-4BC3-82B5-3F1F97B48C4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2720293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2720293"}}}}}