{"entities":{"Q6134265":{"pageid":13268572,"ns":120,"title":"Item:Q6134265","lastrevid":58707015,"modified":"2026-04-06T10:08:10Z","type":"item","id":"Q6134265","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730622"}},"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":"Q6134265$7DC185C3-0DAD-4A19-9DF1-84BEF557CBFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6134265$18456DB4-B3AA-4A4D-A98A-93053D0D2A8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5a6727108bdbbf40b074d899f1af9bd86e892af","datavalue":{"value":"https://arxiv.org/abs/2105.05133","type":"string"},"datatype":"url"},"type":"statement","id":"Q6134265$27C10365-81EE-4597-B0B5-A58E4FDFC20F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134265$763B188A-95D9-4DEF-AB93-2C0976364061","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44ec200ad3cf8fa02383902290858b4a5fe6b059","datavalue":{"value":"7730622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134265$13D11646-72AE-48B6-923E-82CE6F318464","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134265$D8E5676E-7604-4089-AF2B-054A330233C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134265$10080E8E-70FB-429D-ADCE-535CAD3FDECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134265$89026897-3D60-448D-A503-A4385B971E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6134265$E7B78EE6-0A7D-4F90-AC65-A500B1D87749","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":"Q6134265$4ECE77E4-C363-461A-A9F0-79992F5E0231","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d3705ef74cbbe7c0fa61b03776a77a963bea63f","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6134265$437CB9D7-F94C-4F11-81B2-7216F47B3A50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6134265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6134265"}}}}}