{"entities":{"Q4412499":{"pageid":6442098,"ns":120,"title":"Item:Q4412499","lastrevid":48134680,"modified":"2026-01-03T18:10:05Z","type":"item","id":"Q4412499","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1949601"}},"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":"Q4412499$B2924150-6DDE-4381-B658-607AD6AA03D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77e44879f03d4daebb84db2cf327ac120c7af861","datavalue":{"value":"1015.68594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412499$78CA0FA6-8E50-4CE1-B67E-B7860FE59439","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8726efaf89b49fea1b82d790aee523f4d839d6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4412496,"id":"Q4412496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412499$794AD61E-7AC4-4A3D-AAFB-8E9FFE7C9FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f429a53f0ec7a3bf03b692645cf23336aa0797f","datavalue":{"value":{"entity-type":"item","numeric-id":4412497,"id":"Q4412497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412499$8DC40138-03B4-4C3F-BF6C-3BDA4712D3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5287469a66c2cfd33d1038eb73805ab5a0e6599","datavalue":{"value":{"entity-type":"item","numeric-id":4412498,"id":"Q4412498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412499$6D174F4D-8526-4803-9E65-4D45F8CC422F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bdf04c57472fa927e3e93fd3d09a4810d9a592","datavalue":{"value":{"entity-type":"item","numeric-id":4195914,"id":"Q4195914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412499$86D211F1-4220-4375-B89D-047848DB7F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5585f205f9b913b1f534c487b1267bbc187aedee","datavalue":{"value":{"time":"+2003-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4412499$D593C39F-9BAF-4103-9096-1ED5634FD581","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b64d9f440fdc9dd8556fc77864bc083c616c554","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2495/24950216.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4412499$2FAC92A6-311D-4BC4-B96A-0A08DA519D05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412499$E6A73131-A200-436B-BF23-3260858D2D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412499$C03339F1-E8DB-42F5-B2E6-C468DB282972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412499$2C1E1EA8-EF75-4DA0-BA3C-A40B641EF148","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b153911aacc1fef836a75517960e8b152c02460b","datavalue":{"value":"1949601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412499$F63DE0A4-E3B8-41B0-B726-59036279FF4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3f210910becb27540644b96d59bca7cba92a01","datavalue":{"value":"Formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$6E854579-43C7-4954-B484-F081FBE19263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca87dbfb9b344dc8a51652b2169dd433abb388c6","datavalue":{"value":"Integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$C36B3929-2D23-49F7-90E8-5C14A7A25E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4bda4625df1755258ceffd9bec9155762f78a67","datavalue":{"value":"Real-time Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$C8B63285-FCC5-4E68-AB5B-2EA8523CB78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b83dbed88a5414325dbca137b7b3c35e80ab8f65","datavalue":{"value":"Semi-formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$7F52C3B5-4CE5-454A-909B-5319808B6FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d2343a5a8ef11df42c57193030af17e94e3f8b7","datavalue":{"value":"Specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$B7BEC9DB-094D-4467-8BFC-C5446E0E1EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$DA5625E5-C8D0-45D8-988F-B56B52E56DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702d7c9ecd37f43737bc5ed9c2a7e8b8c382f84c","datavalue":{"value":"Validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$F7594CC6-F316-458F-ACB4-E910A3B64ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4412499$06E330B6-E36F-4C6A-A966-5FC8798C5804","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":"Q4412499$04B4DA05-11D5-4635-9049-70A994C7A64B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c55f85f53393bee55e959bd25fa8ad7bd3f4cce","datavalue":{"value":{"entity-type":"item","numeric-id":4518411,"id":"Q4518411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973f3818bba5600e1a8cb2f550511b873458a119","datavalue":{"value":{"amount":"+0.7544047236442566","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":"Q4412499$D0EC6B3B-B486-41CB-9110-4F3F74D32F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ac331d4c42fed1202fac7a8c1d5b77b0444a17","datavalue":{"value":{"entity-type":"item","numeric-id":2764145,"id":"Q2764145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1491562290dd2bda1f40eafadf66c846e1bd25","datavalue":{"value":{"amount":"+0.7080643773078918","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":"Q4412499$BFEF7D80-4F10-42CE-9C48-85D589196360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985e3c64a250e4f84eff4f4e881a0c6cdcc1902b","datavalue":{"value":{"entity-type":"item","numeric-id":2842863,"id":"Q2842863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e59e405b2a7c7bb2e59fb5215129259e90e5d80","datavalue":{"value":{"amount":"+0.6960140466690063","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":"Q4412499$829B8119-1418-47E1-AAD8-BCED0E93179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faa6d6eea27ec58f8766b8e18a4f531a1ddaca15","datavalue":{"value":{"entity-type":"item","numeric-id":1601243,"id":"Q1601243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeb973d0113d1907038397fbec16bba1bd73ca5","datavalue":{"value":{"amount":"+0.69185870885849","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":"Q4412499$2E22A51F-82C0-4C04-9297-1786D948F6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcfdbe3db5da68370cc143bbb23037f14d154c7","datavalue":{"value":{"entity-type":"item","numeric-id":1601245,"id":"Q1601245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6fd1a67688dd61d851de19274ed239b907059e","datavalue":{"value":{"amount":"+0.6892691254615784","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":"Q4412499$44D19671-7811-4D35-9E04-8EB4CEF5860E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4412499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4412499"}}}}}