{"entities":{"Q3761683":{"pageid":5791589,"ns":120,"title":"Item:Q3761683","lastrevid":51786848,"modified":"2026-01-20T01:05:33Z","type":"item","id":"Q3761683","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011916"}},"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":"Q3761683$67FF81E3-8572-4372-B86E-96886DE0D3DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fcbdab423068750d69c7b550d4543d3dcd5a788","datavalue":{"value":"0623.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761683$8C7A488F-3F82-40A9-95A4-9B5EB326EA85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e320793387d7fd048a536c34f57808848c59ab9c","datavalue":{"value":{"entity-type":"item","numeric-id":1276518,"id":"Q1276518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761683$DFE1EAE2-B09E-4058-962C-3F36E63B6FFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3761683$1292D8EE-FBE1-46D6-ADB7-F6CAF9F88D38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761683$123048AB-AFA7-458D-8773-42CCF401B5BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75cbf67157c3651e345967f48fba551dac23f95d","datavalue":{"value":"4011916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761683$DA7DC5F1-929D-4014-B914-CFD24A93B85F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34354f697473e1146afc2f1dfff02b6c38b325d0","datavalue":{"value":"finite-state theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761683$D1C1F58E-8B19-40F9-A6DB-EE21C2BD0245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761683$8FD1CDB9-F106-4941-9CB7-BA9AD9300378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761683$BF8CA312-ED6E-478C-B4E4-C6E240F778BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82fe7cf67ffc6972040c29ebdc64dff8e79bd8e5","datavalue":{"value":"calculus of communication systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761683$059ADB18-FF15-4B77-BF5C-396131B56BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"200788939d920614477f104f5184a89b69c7e09b","datavalue":{"value":"specification and verification of systems of parallel processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761683$AAB9C9A2-0E73-436B-9ED8-2D3ADD0C66D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16dd9188b46d05a935e81797f9ab77b29863e929","datavalue":{"value":"finite state validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761683$0C9E53F6-4BA6-4051-93B6-2D8D7218B8F9","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":"Q3761683$3284923A-D43A-4104-BFBE-A49528FB4E96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1ac547cd4db3d00a1ad3508cae86c83c87e44","datavalue":{"value":{"entity-type":"item","numeric-id":3985381,"id":"Q3985381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b8dcb8e95094c5631734cdd15fb6d4473387e3","datavalue":{"value":{"amount":"+0.8111724257469177","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":"Q3761683$0B176832-AC2A-4212-9A68-87EC86F135EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3518961eacd1dd62db3b9b3f1205b3bdf43a3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bbf936c883598f5fce3472f5e7be649d6ca76a","datavalue":{"value":{"amount":"+0.7935368418693542","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":"Q3761683$B5849903-AFCE-448B-AEF3-5188CEFD0BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3896a606240e5b7456567ccc058db1d5d8b5c922","datavalue":{"value":{"amount":"+0.7917437553405762","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":"Q3761683$58376239-ECAC-4EF0-B061-4DC944BCA4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b91555d931a1e0cbed1618dc3deeef971dd648","datavalue":{"value":{"entity-type":"item","numeric-id":1857269,"id":"Q1857269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47fb943b5a1e9c6fa8eec4577f0e0b89958a235","datavalue":{"value":{"amount":"+0.776315450668335","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":"Q3761683$EBD2604A-1316-45B7-A852-4D905C8CD874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011da9fe8e28030487f6e928b5cacd8552997d43","datavalue":{"value":{"entity-type":"item","numeric-id":4473980,"id":"Q4473980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b44a1f6549b8273ebe85125e203f044f68a01ba","datavalue":{"value":{"amount":"+0.7758304476737976","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":"Q3761683$3EFAA761-04E6-497E-AB86-5D56A3853293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3761683","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3761683"}}}}}