{"entities":{"Q4028643":{"pageid":6058397,"ns":120,"title":"Item:Q4028643","lastrevid":55220683,"modified":"2026-02-04T23:46:59Z","type":"item","id":"Q4028643","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 140261"}},"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":"Q4028643$0B13339F-3F3A-4750-91D4-E7220D4A3F04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd545479b01a927f1b5057a50837e55c9f5d760c","datavalue":{"value":"0785.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028643$6B375ABB-9577-49DF-944F-ECCA21ABB03B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b36b6c41e6bbfa421f5d11e35007db858664d88","datavalue":{"value":{"entity-type":"item","numeric-id":3028813,"id":"Q3028813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028643$1FABD206-7C28-4285-9070-7A515A2A68F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"623b63f0be73f65a1042be2ed4d043bed16919c8","datavalue":{"value":{"entity-type":"item","numeric-id":4028642,"id":"Q4028642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028643$EEAFFB6F-9D5B-422D-A199-B26F100189A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028643$3C54AC0B-B013-4EDE-8DB7-F773B1456DDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028643$2AC5E292-FB34-4486-90E7-762ED1A60CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028643$D73E6337-F582-41D5-9904-BB2E430FB25C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e1c505363910319c6d60d8c72df069d6d929512","datavalue":{"value":"140261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028643$E91FDD52-2556-445E-A073-07B1D04D7807","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d01bb8374af879210ed3ee864b7acc0f398618","datavalue":{"value":"partially ordered (multi)sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028643$AD7650F4-11DF-4D00-BB13-B74497BEA915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a622d68eae5501d0cff683a197bd29e93017bb24","datavalue":{"value":"true concurrency semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028643$5C3EEF0F-C6D2-40AA-9DDA-5FE283EEA488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028643$0C88C369-49BC-43FE-B7DF-7AF77AC271ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f34acac5e43166785d6ab1b2c0843eca0935956f","datavalue":{"value":"LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028643$BA38ECD7-DA23-45E4-B053-B99AE8B70861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028643$99A8DDAE-BE3D-474A-A994-E105274140C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d084aa948eeb1b1a22913001127c6f5e6ba5157c","datavalue":{"value":"strong bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028643$29B6B186-6EBB-4EBF-AFF0-B12EE93608AC","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":"Q4028643$794EF110-A94E-439F-9902-7ADC1071B7F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4cd0a14b00f11ab63578238fee8531fed41667d","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f1f8ab71b87dd076e49b65e655eede13dea106","datavalue":{"value":{"amount":"+0.7767989039421082","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":"Q4028643$9F0F8ADF-35C7-4954-AF6C-C51C12E136F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9928b997bb8f42caddb0aa1651c2b1ec82aea9e","datavalue":{"value":{"entity-type":"item","numeric-id":5200808,"id":"Q5200808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad643302fed341d814322abdb0754b0e9d6c9298","datavalue":{"value":{"amount":"+0.7761314511299133","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":"Q4028643$7C78FE6E-E5F8-458A-BB99-6183F8A92838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ee46bb6155734f571e6aaffc2c6e7e9c977bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3975160,"id":"Q3975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c441a0c6b4acdd9b00d9c5fbf4b92d27a30ad93c","datavalue":{"value":{"amount":"+0.765259325504303","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":"Q4028643$B631972A-C4D4-45A9-B147-4EC13FFED84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b32cba882e44977b95273fd5879a277acd12b0","datavalue":{"value":{"entity-type":"item","numeric-id":3725531,"id":"Q3725531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a42e8c0e81c4b9eb19c2af847dd409dc1547d8","datavalue":{"value":{"amount":"+0.7651032209396362","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":"Q4028643$2F42C6C8-BB04-48A0-8E17-AD0FDFB20169","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":"99b831bb7ae3cb3b6c1ab28ab1f83165375a41dd","datavalue":{"value":{"amount":"+0.7611598372459412","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":"Q4028643$5B61A8B8-F451-4A4F-B08E-44448F20AE36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028643"}}}}}