{"entities":{"Q3805920":{"pageid":5835826,"ns":120,"title":"Item:Q3805920","lastrevid":53489330,"modified":"2026-01-25T01:13:12Z","type":"item","id":"Q3805920","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074504"}},"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":"Q3805920$D7F989B9-F595-4EA7-A022-5831D6FEA3C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"864287b474f93dddfc88f90d0ae96d03f3a87ac3","datavalue":{"value":"0657.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805920$C4575EFD-5568-4FF2-849B-576E8E5DA0EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd217ce1412a85115d044de2c17df9698399a47","datavalue":{"value":{"entity-type":"item","numeric-id":685357,"id":"Q685357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805920$E4BA1AED-AD5B-42B6-93F1-32C03FB7E5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95f1f23f51d4a1ac9b264ee3b0678f8bce0c8fd1","datavalue":{"value":{"entity-type":"item","numeric-id":315295,"id":"Q315295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3805920$9C36D705-86A3-434F-B6AF-735C9500E535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3805920$C29228BD-180B-4EA0-B2A0-7AE2EEAE832A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805920$E8770A95-FF5C-4079-AAB8-0BB6BF44F002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805920$9C73BD70-27AB-410B-B672-47C38011BCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805920$5B027D2C-07F5-400B-86BC-BEC771BB72BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805920$A098E346-AD01-45CF-B3FF-AD83F447AF1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8becfe6be5e3c0ee867c7e2404a844c78a6f4c9","datavalue":{"value":"4074504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3805920$2097A0BF-572B-4847-8574-69A30B06C07B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805920$C3EF8751-3AB4-4E1C-8F50-CDFC48781A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805920$C978750D-2F9C-4B30-9E57-546A712965A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805920$70A2C5BB-013F-4151-9AC8-66D9077F4421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805920$93ACC66E-99E7-40D5-8A54-74FF18E057BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b15dfbe96a3ca4296848dbe5b48445c04999f2f6","datavalue":{"value":"partial order semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3805920$5540989E-5879-4EF2-885A-9C71AE04C8C5","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":"Q3805920$02BD5514-5B24-4AC4-AFEB-36C33B766F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c68899be7ae5643fa2b1c7377a46c13c91a93","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592ad8af148da47b43d4c68ac5bf0049b1e95c95","datavalue":{"value":{"amount":"+0.8065958619117737","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":"Q3805920$43AE74A8-C9EB-4DEC-8520-8595C1368661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20597bc25a4e7ac134b63bb5b95e64d22f6e4ca6","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1584a374e814f8c982f5fe70a0a8505a77fe5352","datavalue":{"value":{"amount":"+0.800021767616272","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":"Q3805920$F3448BD1-93E0-4436-A104-C8E8A9915651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51501e62123a0067007c2fa613788d700436d55","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"392970696905f9ab84114618f7b14d209b8f5623","datavalue":{"value":{"amount":"+0.782486081123352","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":"Q3805920$52A48AC2-4AF1-4F7D-BCA2-E6C422AD600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8165f80eca07dbc4123c2e66fa8da864c16e061a","datavalue":{"value":{"entity-type":"item","numeric-id":3796726,"id":"Q3796726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c69a65d04cf688089cc43d9dc4f32480137463","datavalue":{"value":{"amount":"+0.7802203893661499","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":"Q3805920$A05720C7-8682-4838-940F-314F82A1559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"752296d1c19d63607b853da947841f93d4bd1956","datavalue":{"value":{"entity-type":"item","numeric-id":3687696,"id":"Q3687696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7b18d95f84db66b40eaad98dfe10cd7074b831","datavalue":{"value":{"amount":"+0.7760781049728394","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":"Q3805920$9E40534C-C8E1-4C1A-8A6E-7A32D981EABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3805920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3805920"}}}}}