{"entities":{"Q5173658":{"pageid":7203230,"ns":120,"title":"Item:Q5173658","lastrevid":41570377,"modified":"2025-05-05T23:50:58Z","type":"item","id":"Q5173658","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6403889"}},"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":"Q5173658$ED4126B1-70CB-4926-BD38-8E0F5C396E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d4ab9a9a603d45c6d9d9572f59a94a2bb5e2bd0","datavalue":{"value":"1321.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5173658$9F31B81C-3A42-4548-A323-FEB117B7E04F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2c2cb9d869c3340ff6d8f0adbff1886a0085463","datavalue":{"value":{"entity-type":"item","numeric-id":1697097,"id":"Q1697097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5173658$CAA5D73E-4F7C-4E0B-BB81-F4F8889514F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef48fbaa514da0f0adc26213d7a57ae77db7e353","datavalue":{"value":{"entity-type":"item","numeric-id":1697089,"id":"Q1697089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5173658$54ED6982-A0D2-454C-B35E-27474AE15488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed08a608b0cad7875b65422876c04080feb987fe","datavalue":{"value":{"entity-type":"item","numeric-id":1697085,"id":"Q1697085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5173658$05303B97-6392-4DF3-AAD1-DF0E766D5430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfd315c8fd55105150165a60ee6861e151348366","datavalue":{"value":{"entity-type":"item","numeric-id":2938117,"id":"Q2938117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5173658$569EB4A5-F5FA-43BA-88BE-04B734B12ED9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecc27258639d45dae539eccbaf17a967d9ab5eb6","datavalue":{"value":{"time":"+2015-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5173658$1154EAEB-595B-46D8-BDBE-9D3002F848CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5173658$F2E270A5-7B5A-42D4-98B3-147A065D8427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5173658$E099D6F5-4308-42EF-916A-FE7D0D97A767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a99aaf8efc37776a902d03070e05f15f6aa1626","datavalue":{"value":"6403889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5173658$F584C9BA-2BB6-41F6-89F2-E9F56985FF22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$91843BAF-6BEC-4153-B95D-40C107A18707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cdc50f9ca57759a689d99741fec6e06b3926c2f","datavalue":{"value":"JML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$1CD4DF3A-33DC-4BA0-BEC4-DDE1AFAA819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076383373d48469adfa9226f1a2d9d1b270b0e7","datavalue":{"value":"observational transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$D84B3E4B-726F-403E-943D-C9AA4FEA4639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbb25dd1a234db43cc9aa51b496d6421ffc2d9b","datavalue":{"value":"design by contract","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$67D28FFE-C14F-4370-856F-9D5B6371299E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f508c60def27dbe34a17e9a5b53499e38c877776","datavalue":{"value":"behavioral specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$4A63852A-1258-444A-ABFE-A6A1913E60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc7f3425c767fb96addc936173e1bb45d1b5886","datavalue":{"value":"hidden algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$7A074127-CB3F-4D20-9E70-FB0F215F921E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90ba581de713a3df5c41b7c4f044c0002164b31","datavalue":{"value":"proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5173658$CDF0B18C-F7A4-4E5D-A876-E4B6656BFA67","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":"Q5173658$0D395D19-F455-42CB-925B-29CB8EB39B27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a896ab333265f2126138ebc1b41d3a616b3d53d","datavalue":{"value":{"amount":"+0.8965621","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":"Q5173658$109C0080-A6A1-4E7C-B108-CB0E019F1CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660b3719580fbe63dc866cdcce498cd70b924723","datavalue":{"value":{"entity-type":"item","numeric-id":1199928,"id":"Q1199928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3486bf40fb37d9497d810c4cd5283eda0d663efc","datavalue":{"value":{"amount":"+0.8902136","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":"Q5173658$5BCEAF4B-826E-4C74-B13E-0E83BC570390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1276a19f929fef625a6357eb7645ca73a35a33b","datavalue":{"value":{"amount":"+0.88976824","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":"Q5173658$372D26A1-0050-4968-B038-2400D879DC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24695374181717ad1bed4a90e0740942008205a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78434d659d7f45867775418dca4b8a1aafb6a771","datavalue":{"value":{"amount":"+0.8895021","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":"Q5173658$A68B9F52-9370-4C31-9D4F-346E2E4F0D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7581e57bf5e5caa49d7ff5d29d502974c9796eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055918,"id":"Q5055918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d23deec03d3675ce2a9af471c16a6d6247839a6","datavalue":{"value":{"amount":"+0.8892866","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":"Q5173658$39A40834-169E-458A-9385-95E1DEDF280B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50eb74b0862de0f1e9c5ba1735f417e3d691dca3","datavalue":{"value":{"entity-type":"item","numeric-id":4332859,"id":"Q4332859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5acc54b4f95a823395bfbcc08fd843010d08a1d5","datavalue":{"value":{"amount":"+0.8874315","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":"Q5173658$06322762-7471-4D07-A5EB-8E26D27F52AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512d491a59303eb691c1e53a236614dc37d12526","datavalue":{"value":{"amount":"+0.8812535","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":"Q5173658$C3BD082E-B978-4719-BE5E-B6DE121F0678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64db27ccc05961eb838b11cba1db6aca180aa97","datavalue":{"value":{"amount":"+0.8812114","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":"Q5173658$6F4F28FE-488D-4952-8B93-59B427016727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abcbcdee9044a65cc01e5e2c0b31274872ad02c","datavalue":{"value":{"entity-type":"item","numeric-id":5055758,"id":"Q5055758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fc67345c94725dbb8a1d8e08b5f009bd4dc0ad","datavalue":{"value":{"amount":"+0.8802494","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":"Q5173658$607223D7-B1A1-4056-BD4F-A28305B36400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b3359fda4d7d2097381f52637d9f89cce10596","datavalue":{"value":{"entity-type":"item","numeric-id":1121033,"id":"Q1121033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437f8b6f9f5d89910e275db426165d3ba052f714","datavalue":{"value":{"amount":"+0.8785825","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":"Q5173658$9144FF09-8250-48EA-91C7-D6544B822105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5173658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5173658"}}}}}