{"entities":{"Q2763979":{"pageid":2774718,"ns":120,"title":"Item:Q2763979","lastrevid":44683398,"modified":"2025-11-25T01:25:31Z","type":"item","id":"Q2763979","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1693437"}},"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":"Q2763979$108DB6EC-DF1B-4DF1-AE9B-EFE3264C214E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dd227911a4bdaf08ee121a09efcf6be24cda956","datavalue":{"value":"0977.68677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763979$3DCB3588-23B6-4B26-AD99-001B5B86F193","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4125ba106c69323576edaf1300fa9e74bc379cdb","datavalue":{"value":{"entity-type":"item","numeric-id":930432,"id":"Q930432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763979$F770DA95-D83D-44DD-AF71-83A32FD3825A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e204a4d23e0af36d5fce5daa28f0962661f55a","datavalue":{"value":{"time":"+2002-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763979$1ECA904E-0A46-4D7B-8F96-D0B779CBA3C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b23f6e502c9969b53850efe3493e57f1092ab99a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2021/20210318","type":"string"},"datatype":"url"},"type":"statement","id":"Q2763979$CBDBB624-9BD6-49CD-9FC3-6613EC11F26B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763979$D1E97335-6C1E-4B9E-A2AD-E33FA29CA1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763979$AF249F84-A504-480B-A8B0-2CAF1EDFF181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763979$80EA9524-4A8E-4E61-A9A1-B8F1875DCCA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c9b8ae3be11fd0957a1729ad52979a6eaa33550","datavalue":{"value":"1693437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763979$E1374590-6B75-4070-A164-2254F60C424D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763979$7ECAD967-9941-4430-8A44-A39FEBA70D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a1864ca0d237847813dca5b1f5ea470fc8b5a0","datavalue":{"value":"discretization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763979$8C2443AD-EFA7-4C70-92B6-A781BF1DBE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f376b4cab41b5aaffe2e0559d180ac7d09f1764","datavalue":{"value":"BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763979$BD2EF571-256B-46C7-A9B3-AC2CDBFA568C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763979$32AA5672-FCD6-4FB0-98F1-E7558ED75935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763979$F6266041-A3D9-4E62-9A11-790B100C915A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763979$09FE68C4-0BDE-4F22-85B6-6D6FD772C735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763979$7E4D9AF0-1A9D-4E74-9127-534266AE12A8","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":"Q2763979$5F3392ED-972B-43F0-9FA5-E618BDA33703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd691951a15260430e2afb9101ed58f05c7e423","datavalue":{"value":{"entity-type":"item","numeric-id":4787215,"id":"Q4787215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f37ef66fe765236e95ec2ddf1a575e8153802b","datavalue":{"value":{"amount":"+0.9636223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$4641C240-B079-4EA6-8E04-080A9BA06C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e71129dc6a8c9ae366192aeda7c835f7ff18f8","datavalue":{"value":{"entity-type":"item","numeric-id":4647854,"id":"Q4647854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b796959196f3df7fc59d0e0f6f3f9c4ff43a414a","datavalue":{"value":{"amount":"+0.9427325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$A96FD7A9-AAE3-4B3C-B53C-C085AB1681C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cb91bc238bbdcc6684bf1464f7199647115521","datavalue":{"value":{"entity-type":"item","numeric-id":4818755,"id":"Q4818755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000ca04766bce5ef0cdd7dd455108595a059a492","datavalue":{"value":{"amount":"+0.9319359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$E4B5E0C0-4ECD-47E8-B8D1-AC98BD840175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded305ec011f37a054374169bff44564373fcab8","datavalue":{"value":{"entity-type":"item","numeric-id":5144644,"id":"Q5144644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb5f7c769ae349ca5612cbe7a2b4ddb20fde3ff","datavalue":{"value":{"amount":"+0.9083035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$F6C1EBD2-33F1-4009-886F-A791199A4500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f08ab68240d883d6e630aa32a59921a9a050bf","datavalue":{"value":{"entity-type":"item","numeric-id":4414389,"id":"Q4414389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba7be7bdc52fa9836ac475d9fcc500734de1c53a","datavalue":{"value":{"amount":"+0.907779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$E91FFF14-CD13-4910-8BB1-F6BA25A57588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba7b13c3622cc6c7ff0fa6779909c79e5ffa820","datavalue":{"value":{"entity-type":"item","numeric-id":3614852,"id":"Q3614852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0389a0b8ccb2db07a65dcaacd2414223eb971016","datavalue":{"value":{"amount":"+0.8968214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$D02FF1F4-0040-467B-9912-2BFD921FA71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b24b9a757d82923f7e4e8223d5783ecafbc057","datavalue":{"value":{"entity-type":"item","numeric-id":2754074,"id":"Q2754074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25ef190520e15b86135b20ac8b6fddff9a8dbbf","datavalue":{"value":{"amount":"+0.89107484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$A78A893F-7C51-448C-8788-E999FC90B903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dfa99efc7fb0510f5b42f6585c6da00f79da4b","datavalue":{"value":{"amount":"+0.89035624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$A07C1977-B2FB-4FB7-AE26-A718A84717E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab60d8f1c2327a0a601beb4c0f0f3bb107e2af63","datavalue":{"value":{"amount":"+0.89033496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763979$31D89F19-3573-495D-8B75-9DC87CCE8243","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2763979","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2763979"}}}}}