{"entities":{"Q4417843":{"pageid":6447442,"ns":120,"title":"Item:Q4417843","lastrevid":48142177,"modified":"2026-01-03T18:42:06Z","type":"item","id":"Q4417843","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956498"}},"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":"Q4417843$D586AA44-77A7-4F1F-A817-91BDE504A4CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e7f82c2b5e566ea8827d07771515d760e3f7bdd","datavalue":{"value":"1032.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417843$E98B8663-1E15-4FCB-950F-0329CB4D03FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a18ae4aaade126ec636b145b1471bd2a07f1246","datavalue":{"value":{"entity-type":"item","numeric-id":4417842,"id":"Q4417842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$4B02081D-4C3A-49D2-98BA-0CC0FF654AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bff4fc5e74573fec002cbceffb7c2062f536597","datavalue":{"value":{"entity-type":"item","numeric-id":2709214,"id":"Q2709214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$EA2D65C1-F631-4247-952D-8ABC3FE63AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$057896C0-B34F-4AC2-9BA3-BF280D253BC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4417843$D8427339-1345-4403-8E22-4046B6D76826","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f1d7dc42d300548963d5dce6bdca7a26b75c6c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2621/26210341.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4417843$9FB49158-9F02-4786-9A6B-D55265CA1715","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417843$B5C98757-4047-4635-8D8E-977940157970","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2adb0bf1ade81c7678c0968a793dc6192fc73287","datavalue":{"value":"1956498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417843$BDD26EDC-F3BF-47DA-9F47-DDBAA2FA20F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c9b4f4d9fa20df44fe6da21553bc134b1163da","datavalue":{"value":"formal methods integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417843$4CB3D618-5B9A-40D0-9163-626AD191077B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc4ff2e0bc31286f1ea62059db35757d1bc91ef8","datavalue":{"value":"state diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417843$D3C14BA6-3AA6-4C9F-991E-B42A8FDD9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417843$E14AC0F2-E96D-4981-967F-CD9A5D5EC421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417843$ED449932-F4EC-4E87-B1D2-1AE3B21ABDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b64e565bdb5b8972f76e2d48728f295fa97e9f","datavalue":{"value":"B","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417843$BE837AEB-8C67-4AC7-BCD8-90A8C70AA97C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$FC42B9DB-3CFE-440E-A519-BB8F3C3A3327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$3934FEC3-22B2-4655-90BA-E640258D771F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"560fb465472ddc450906ab47cc0fc10e6717af24","datavalue":{"value":{"entity-type":"item","numeric-id":21454,"id":"Q21454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$0CF9E10E-E775-44BF-8B19-1C2DA2F33B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417843$00A1106E-6C4F-460A-A60E-30DC4F5C071E","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":"Q4417843$46E27BF3-6467-41E6-8831-DF5C2607DEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272e1253d110dd3c12620811a9a4af717e3ff473","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e478ed6ea0eb4e4ad54772434be20fd6a70209","datavalue":{"value":{"amount":"+0.7379602789878845","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":"Q4417843$79C87404-2710-4B58-AB22-C58BC8128978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053dc45f873f9053ade989140bcd27a423371c74","datavalue":{"value":{"entity-type":"item","numeric-id":4921549,"id":"Q4921549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845ada8abdfc8aa7ed0fbe5d07b7ace57bad044f","datavalue":{"value":{"amount":"+0.7374266982078552","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":"Q4417843$6D30AD7D-26C2-4352-A215-E04A5F8B90AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ce88c12c7e8cd2da4e9a6d851463499e91d283","datavalue":{"value":{"entity-type":"item","numeric-id":4737316,"id":"Q4737316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c69919d43185d43b808f24888abb7eec46f6855","datavalue":{"value":{"amount":"+0.7239000201225281","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":"Q4417843$8673E4DF-1003-4C0E-847A-658A92CCED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57cf02dc25346fd9a86d7ccd3348a7b5d3c7565","datavalue":{"value":{"entity-type":"item","numeric-id":4790390,"id":"Q4790390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4456aa5d0cbc0c7e0da68434e62e10b94c4934a","datavalue":{"value":{"amount":"+0.7200522422790527","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":"Q4417843$F7B2DE93-95B4-4985-9870-CC942E814F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8ea8b736c5df04df681bed204acbcf65c118ce","datavalue":{"value":{"entity-type":"item","numeric-id":4413681,"id":"Q4413681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acac1e77ffefbb2ed12b9ad435f36650f6ce051d","datavalue":{"value":{"amount":"+0.7123816609382629","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":"Q4417843$500C4288-AF46-4156-9D24-DE5D7870E0FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4417843","badges":[]}}}}}