{"entities":{"Q3657409":{"pageid":5687315,"ns":120,"title":"Item:Q3657409","lastrevid":49845166,"modified":"2026-01-11T06:14:03Z","type":"item","id":"Q3657409","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3808928"}},"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":"Q3657409$80A24456-C48A-4B1E-95FB-3D98372B5B3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b4ecb1dd0281603083093abb88062b6ce6af4c3","datavalue":{"value":"0512.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657409$5C4F7A5F-0452-4BC2-85E8-2F4FA097BE29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3657409$B89D3785-F1F4-4380-BC84-6F880077F290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657409$D182E9F2-21F9-4966-9918-6DB2B61A385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657409$76EF66DA-683A-43CF-A9A8-A1448DFBAF50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"611d561d7c3fc1cacce19d26d4d584b2c44dd5ce","datavalue":{"value":"3808928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657409$B1CE3B35-36DF-41CF-8301-1973B163EF7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657409$BA52161C-9FD0-4E73-A96C-13B9C7B12760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657409$71D85E0F-1B36-4B64-87BD-14D95E2D02D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657409$7620653D-C478-40CF-B58F-1B3E0B279B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aafafd2055e39e2a9f412eb1a63959babbcdf734","datavalue":{"value":"structural induction on abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657409$1800A818-C179-447A-ADA4-51A6EC1E574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa5f2e9087ce4d3dadfb379eacc6d94d55b105a","datavalue":{"value":"nesting of parallel commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657409$97296B5C-42DC-4603-BA29-348A211BA87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657409$E2ACE3EB-CAFC-4F6D-B71A-EC0D01EA01DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3657409$1818BBB6-2B08-4A3D-A79E-A1B22D4BDFD1","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":"Q3657409$693CA619-A5D7-48D2-83B9-7F430DC68819","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3657409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3657409"}}}}}