{"entities":{"Q4415087":{"pageid":6444686,"ns":120,"title":"Item:Q4415087","lastrevid":48139561,"modified":"2026-01-03T18:29:29Z","type":"item","id":"Q4415087","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1953901"}},"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":"Q4415087$82B431B4-2762-4DDE-80A2-F2A9BBF9085F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edfc94831b0d2ca69b0da61d7fd8ff8cb64e9d83","datavalue":{"value":"1027.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415087$B6E309B1-3F9B-4EA3-877F-2E04FE02BF09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4415087$741A8590-0902-4868-AD39-B7EE1439599E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fce6970c24c0c55b82513b9985a67a6b65dfce22","datavalue":{"value":{"time":"+2003-07-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":"Q4415087$820A7AD7-D84E-433C-8DCB-0AE3421FA0FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"278b730717445db5965e72d703156503019a0e55","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2561/25610276.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4415087$448CF3D0-CE62-42E1-A04B-058608F78722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415087$B7E0B8B9-5F71-4648-8C0C-A12462796FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415087$D02319A7-845E-4812-ADB9-D42FF43C91B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415087$9929021A-AEBA-418B-A65C-95AA88AF6427","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64a9aefb8e9c54c133201129804ec18205dd0665","datavalue":{"value":"1953901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4415087$F51F1AF6-02B5-43C0-816D-F14083BF5A3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415087$4312E34C-B289-4BB4-8332-BC1E1ED74ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415087$DEBD2624-5FCE-4DD0-A343-3F84F57CDE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415087$E2A118E6-6384-4116-8F04-C6C78BE29BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415087$2A623900-EEDF-4AEA-AA04-30B28A5623F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc238ea6cb52c715bab39832f2cd5b4837c9294f","datavalue":{"value":"formal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4415087$6A577214-5745-4FE6-BAA2-7DBC5DA8C529","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":"Q4415087$5CC20F46-130B-4724-BD25-0EB297DD0EEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011d788b4dbeac7a2d504c243c7191193b7fbec3","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3de1284a70f79fc19f33b94926716c70a7d483e","datavalue":{"value":{"amount":"+0.8232901692390442","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":"Q4415087$B3151C79-D470-4C60-A784-5F308EEFD848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc20c0392397f580a2d4ce740056210eca74cccf","datavalue":{"value":{"entity-type":"item","numeric-id":3000279,"id":"Q3000279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc98884057b6c7f7c221b50c65f57da2f62abdf","datavalue":{"value":{"amount":"+0.8018778562545776","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":"Q4415087$9C631F67-48F4-47B1-8ECF-12FCADAEB3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81bce5a2e732ce4597f77ee4cd8a8ee5be58f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03164a0d2bd9580566b95d8b61bb7b1ff45a9ae6","datavalue":{"value":{"amount":"+0.7966535687446594","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":"Q4415087$6B844D55-97B1-4319-A976-943594357BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005232520771134680058c7ddbb399f79fb1a12f","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b1063c249b1a34b9547be750dd6a3dd3dee14a","datavalue":{"value":{"amount":"+0.7942602634429932","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":"Q4415087$96F47336-2D55-4696-A2CF-75990A40BB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b6c84a206840a1fdaf076f6a3452df9c6fce3b","datavalue":{"value":{"entity-type":"item","numeric-id":3801105,"id":"Q3801105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de909e8d4dd673f886c999aaa72dd51c81fd24b2","datavalue":{"value":{"amount":"+0.7712133526802063","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":"Q4415087$9C7FC4AD-836D-41C8-862D-25777B305486","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4415087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4415087"}}}}}