{"entities":{"Q4440828":{"pageid":6470427,"ns":120,"title":"Item:Q4440828","lastrevid":48214432,"modified":"2026-01-03T23:48:39Z","type":"item","id":"Q4440828","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2020179"}},"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":"Q4440828$B8D5921B-93AB-4774-9775-788ACA062ABA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75ef55ee88530002dd0742bda98548c07d33fb08","datavalue":{"value":"1036.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440828$51B128AA-D585-46D1-9297-06D367029CCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440828$F1E7CECB-54CE-42F1-B196-8068303A5C3F","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":"Q4440828$DE396EE5-D883-4983-A8CC-5FF951AF4485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440828$0162D569-48A0-4C87-9F70-EA7093A0BDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440828$27F1BB2C-3D9D-454F-A52C-84A441E2A94F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ba3f229d99ffa1ff202a1bfb5f2e9230f5ee8b3","datavalue":{"value":"2020179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440828$350885C2-8BD2-43EC-BC2E-E7FB3988F031","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440828$58BD4747-01A2-4DEC-9E16-5CE8BB4C1084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440828$B3640200-7059-42A6-9527-57005363F930","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":"Q4440828$C5FAFA00-FCE4-4B0E-882D-EC74AABEBAFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a332cc1d91fca55b17188e0854a958f69f303f6b","datavalue":{"value":{"entity-type":"item","numeric-id":4530804,"id":"Q4530804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e2f163079252769f28bb286e00db1229389081","datavalue":{"value":{"amount":"+0.8610360026359558","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":"Q4440828$1ED32FCC-E6AC-4E1F-8034-CD1D15A9D798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1b0e214e45cb607f43a7e2191bfb627079572c","datavalue":{"value":{"amount":"+0.8569880127906799","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":"Q4440828$6D19F0A1-FFAB-4FE1-B560-13AC6F6064AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6b0b98a527570fd821f557bb820259def2ead6","datavalue":{"value":{"amount":"+0.8563898801803589","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":"Q4440828$3D682E2D-03A1-422C-988D-82936C893DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a35f226178ff43a5cd09ef6a3b24d7c39987a0","datavalue":{"value":{"amount":"+0.8559997081756592","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":"Q4440828$E8BF69DA-380B-4325-B039-61D3127123CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a35f226178ff43a5cd09ef6a3b24d7c39987a0","datavalue":{"value":{"amount":"+0.8559997081756592","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":"Q4440828$81E28771-ACEE-4826-8773-5071CC93F7C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4440828"}}}}}