{"entities":{"Q6061676":{"pageid":13195831,"ns":120,"title":"Item:Q6061676","lastrevid":58646424,"modified":"2026-04-06T04:09:57Z","type":"item","id":"Q6061676","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774242"}},"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":"Q6061676$9F1FED73-57F3-41F2-8DA9-B97FAE1FC6CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6061676$F550D17B-34A8-460D-93B4-D68B2A60505B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6061676$E973D1DD-E06F-4DF4-AB64-35E6D22C7E53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23155f026ff5cfff1684b9979b3b3259bf19c9dd","datavalue":{"value":"https://arxiv.org/abs/2108.13104","type":"string"},"datatype":"url"},"type":"statement","id":"Q6061676$4779B376-78D1-448D-85FE-2F05474A7814","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061676$609938AB-039D-4A85-8E89-BF46CFF78762","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9eecdae1f484b913b9605f49ce5d212c9b8ac94","datavalue":{"value":"7774242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061676$D43DC63A-61E9-46C3-9683-81CBF7373025","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061676$A0332BFD-F266-4B5E-9B9E-5CCB448D33B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b696f33e9131e163b4602eb024ad9d5cdf0b2d","datavalue":{"value":"process theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061676$4F51D6C3-AEB1-444E-9C43-FE304E55A2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061676$232D3A33-8947-41DC-BD94-3B65A8D6272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061676$E391F354-1200-43C7-AAF5-2DAD5B95A87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6061676$DA4DF756-ECCB-4458-91B8-A71DEE72491B","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":"Q6061676$232D61D4-A24B-4F15-A388-DB08184B58E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1be4d45fdcb1db6660532f9a865f764d7db1356","datavalue":{"value":"10.4230/LIPICS.CALCO.2021.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6061676$F74431D0-2061-4F50-B127-0A6F131C7F27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6061676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6061676"}}}}}