{"entities":{"Q4440827":{"pageid":6470426,"ns":120,"title":"Item:Q4440827","lastrevid":48214429,"modified":"2026-01-03T23:48:39Z","type":"item","id":"Q4440827","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2020178"}},"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":"Q4440827$00EC5332-E4A9-4655-AB2C-2A13ABE4CBFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d69642ebde08690ceecccf37342b65d2da92af21","datavalue":{"value":"1038.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$4BB2F4CD-AD02-4860-A89C-5ED90B13ABC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440827$C0DB19AC-312F-4B24-8CDC-51C3B078F901","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16179fdf9dd6b498fad3f9e77d522b325315bc5c","datavalue":{"value":{"time":"+2003-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":"Q4440827$ACEF4523-4365-4C1D-A8F4-150DDEF103B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$D3E0D63E-A14B-485C-ACD7-89DEE04BD073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$CABAC247-F172-4851-B004-F03B0688A1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$5A06A8A9-88F0-4866-B0F0-67649732C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$5091D5EC-0407-4EC9-9B90-36F276F7ED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$686A3EBB-9DC1-43A1-8A57-8DB1DF313F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d2f99b79d4ca028c524b69e7fb96624a9286e1e","datavalue":{"value":"2020178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440827$400FDD65-3F5E-4659-B902-A598233C389F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83cdf5c00580e44873ba58f5378fc46227de6c58","datavalue":{"value":"process networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440827$58B7D328-0612-4C43-B635-EEEABC08C858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440827$051AB78C-B3BB-41D3-8A46-CD990890146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b3b982000c65410c091d3c0b16c89a54718ed7","datavalue":{"value":"\\(\\pi\\)-\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440827$3D952D49-A813-4C11-BAFA-BF4B754B859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440827$65BEB5DA-1282-4787-8FCD-76F8C27CB7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce8456807fee050c0285ed7f96877fcbf74da80","datavalue":{"value":"compositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440827$6C0B1353-D7A7-436E-9104-C59681158DAA","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":"Q4440827$610AB284-97E1-4A03-BE46-6E437D2C91DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2df2fdfe28870f53a9dc2736e16c23fddfe9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1817220,"id":"Q1817220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298b5d176af0e63c02c511d82ad0120a8f0fdc90","datavalue":{"value":{"amount":"+0.8256856799125671","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":"Q4440827$E9E1816B-5919-4E86-8F0E-5572E3694A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f57b854aea5d8ecd364019527d4466271dd3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fa00b5ad83f87d9b42fe0261ce03b0ce01b1b6","datavalue":{"value":{"amount":"+0.8225409388542175","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":"Q4440827$F5EDAA02-C28F-41B5-B8A8-03389B8C5BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b467c8f197ba8c6e05594d5d6af075601f4d57c5","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e13ff6e2db4f76fe711f94692b551baff8d59c4","datavalue":{"value":{"amount":"+0.8052983283996582","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":"Q4440827$E9F97F4C-E227-4B54-8814-8FBBE1B336E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bb0f1bf871f762dc4e7eaf4cc25820a24733f4b","datavalue":{"value":{"amount":"+0.8049758672714233","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":"Q4440827$E391EAD9-6958-4E6C-A3E9-C0296D2C0301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b4742ee993f31b849ab1c160e6fa14e3f1a7ea","datavalue":{"value":{"amount":"+0.8044930100440979","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":"Q4440827$B3EF9D03-2D55-4F00-AD19-15A96CE555AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440827","badges":[]}}}}}