{"entities":{"Q4453363":{"pageid":6482962,"ns":120,"title":"Item:Q4453363","lastrevid":48245536,"modified":"2026-01-04T02:34:46Z","type":"item","id":"Q4453363","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2051083"}},"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":"Q4453363$61422DB4-C09A-43E4-B193-56680F6E6E93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"554804393479362eb3fc42a830fb0d3d559a3506","datavalue":{"value":"1040.68539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453363$83B85543-C952-4563-A92F-1CB8512556F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74d8c01361739833aaca1c61b3762d3c41a800fb","datavalue":{"value":{"entity-type":"item","numeric-id":3145301,"id":"Q3145301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453363$61F028EA-9F73-4D64-8A27-52A7B348F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c9b7362ce09a38237eb414aaab94fe637bc21f","datavalue":{"value":{"entity-type":"item","numeric-id":2655495,"id":"Q2655495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453363$7FF7981F-A47E-49C3-B282-12E8641B950F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4453363$62B9BA87-CBB8-4780-B56D-69E1ADF09436","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453363$BE381E62-C55A-40DA-8C7B-7B66E7833490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b88b078423a60887389387c4ac12d8f33e485641","datavalue":{"value":"2051083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453363$B1C6021D-9C3F-49A7-92BD-1D0B7D529050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7613b1a7a18f24e272d19e26322701ead42138b6","datavalue":{"value":"computer science curriculum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453363$8E89ACAA-4522-4C40-9A36-39229E558825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453363$DCC8A0C7-8F07-448E-AAAF-541F1E1EE94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453363$AFCCFF67-A03E-4546-87FD-96B95E1FAB90","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":"Q4453363$C77229F1-E40E-4EA6-B1C4-68831F8F34A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb1f1d7396339fada2dfa0171e7a8df2df09a2e","datavalue":{"value":{"entity-type":"item","numeric-id":2767157,"id":"Q2767157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e25aa4c40809de1649b81f836affbfd305102b","datavalue":{"value":{"amount":"+0.8054037094116211","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":"Q4453363$2D572F06-7D66-4EC5-B110-FD7B6615549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968d76a4a8e1983a760948eb5212f583e57b5594","datavalue":{"value":{"entity-type":"item","numeric-id":4902249,"id":"Q4902249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5672b9daa449f037185c297877d961485487db32","datavalue":{"value":{"amount":"+0.7755298018455505","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":"Q4453363$BFA484FC-68EC-4D41-AFE9-E9654435AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef891d76cbb7169709430ec1404ebbc685c89d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2077760,"id":"Q2077760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2cc57bdf9e532018b18822cd4326a3fd8c13d89","datavalue":{"value":{"amount":"+0.7674204111099243","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":"Q4453363$4C4C8634-9A5B-4497-959B-BCFCD91D3D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096fe8341700847e10b04857b15ccdee655ad3da","datavalue":{"value":{"entity-type":"item","numeric-id":3998261,"id":"Q3998261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a68738c02745cb7f67bb96ad23460f6002fa71","datavalue":{"value":{"amount":"+0.7379545569419861","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":"Q4453363$A65FECC9-94CA-46ED-8532-34170EF559FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9cf26616ec71c3ac535804dd89c30dd46fd4de","datavalue":{"value":{"entity-type":"item","numeric-id":5498750,"id":"Q5498750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62ea2b9a9e0f3d2def132e8fda49f6eaec31278c","datavalue":{"value":{"amount":"+0.7325741052627563","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":"Q4453363$E743C3EA-8EBD-43F9-869A-18DEA67A5006","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4453363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4453363"}}}}}