{"entities":{"Q4733383":{"pageid":6762960,"ns":120,"title":"Item:Q4733383","lastrevid":49318750,"modified":"2026-01-06T23:09:56Z","type":"item","id":"Q4733383","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119599"}},"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":"Q4733383$1535F038-C06E-4EE9-A2E7-AA0D0BACF410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a07d7a357a3aa357689f265ec552c7cb9ad11c3f","datavalue":{"value":"0683.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$0C7020A1-4B1B-4427-98E6-12E2D84FA8CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733383$C8C6B633-5BDA-4DF2-BFA3-2374AD6F5BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733383$849FBC3A-1F82-4066-8D51-4F8326B6100E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea980c68d76a92381c25f50172b527467c109edd","datavalue":{"value":{"entity-type":"item","numeric-id":4733382,"id":"Q4733382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733383$EC157DBB-C9B6-4869-8B06-886174479B40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4733383$EA7423B8-E17C-4082-8E70-A8E2E2B1674E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$75277E0C-1792-464F-9463-FE15D32720DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$D7BF7058-336B-4F84-ADDA-46C5DC35C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$07E784F9-3667-4B15-8142-85EA1E00309D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$BD588A8B-DC52-47BD-9736-3F597E25AC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$6208E170-6A83-48DD-B592-BB2D62E02A68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"643d74633aa99cecf681793ba8c71ba1d9dc05a5","datavalue":{"value":"4119599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733383$560E9F71-14E7-4878-A13F-7A8588DCE6D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733383$B2C3A563-0B41-4867-B68A-51C4F4695670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9c78c783988f4b69310a53cdf7216dd0822fda8","datavalue":{"value":"compositional proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733383$87021438-DC61-4A73-8A5E-412D89C3A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733383$110C976F-C9E1-46A9-AA97-89E7A8CE07BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733383$EDF368D1-DECF-454F-8EBE-48295C758903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733383$2C408FAF-5CFD-4853-AA56-A34061F4204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733383$EFC7EA13-6F63-4140-B63C-BE3C5F1A8F0E","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":"Q4733383$79AA34E6-14AF-428B-BA15-66A39BD266AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ebf1162628847a9e9a369c486109ec95a1eb1f5","datavalue":{"value":{"amount":"+0.8099805116653442","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":"Q4733383$966D1192-85B2-4C59-B3B2-1F4322400FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73deb6edc1747f5fb84f12770917470a23283ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3790632,"id":"Q3790632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c289b47c51fd63b3502965741a1c4ec7141f9f0","datavalue":{"value":{"amount":"+0.7940764427185059","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":"Q4733383$6CD854CD-5F7F-4C29-AADE-F06B0342229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e61f137b884636122b6267a32eb10aa8003c82","datavalue":{"value":{"amount":"+0.7859775424003601","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":"Q4733383$542098B3-633A-48EA-952D-8DB3191F2DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b817a2eed72390eb554ea359de283e2154f858","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f208a85419b84177f5c500e1a064b9a09f978530","datavalue":{"value":{"amount":"+0.78078293800354","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":"Q4733383$4E6BAE77-8BE1-4343-A0A6-155AA51AD792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4423e52504676f2d9bf4ca9891774bae9807242","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaa29cb236b8ba8b82fd67b60d2ae64d46f2130","datavalue":{"value":{"amount":"+0.7791783213615417","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":"Q4733383$3365D758-E897-4014-A041-65C54451D130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733383"}}}}}