{"entities":{"Q4422084":{"pageid":6451683,"ns":120,"title":"Item:Q4422084","lastrevid":48165985,"modified":"2026-01-03T20:29:29Z","type":"item","id":"Q4422084","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973988"}},"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":"Q4422084$99332994-5E0A-49C9-BFBC-8B43C37C1287","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"991f50a02820c1def900db72d268972b325594e8","datavalue":{"value":"1037.68521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422084$2803E415-1DC0-4AEB-A6D7-929762C16B50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79c1e51a1a7f7bea4a8d396c2277fa9872415bce","datavalue":{"value":{"entity-type":"item","numeric-id":4422083,"id":"Q4422083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422084$F11DB9DD-636E-4BAA-8F97-377603637639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63b65f806ae62e66bb9ee5d42df731ee9e52a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1126265,"id":"Q1126265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422084$2717B30F-C285-4E87-896D-FF03A817166C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e863ff2f022b2d4779275312d03e0f0794a537b","datavalue":{"value":{"time":"+2003-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4422084$7FB798C0-E5B3-4F1D-89DC-E98A507050F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ea1734e0851cf9d0b7f291ffafd2a2d5c59474","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2529/25290260.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4422084$F2A87014-000F-4C03-B2F9-645590F9DE31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422084$2D3D870A-B2F1-420A-96CF-A0FBE4018BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec52d2f6b20d455fe988ec7acddb2223b195a437","datavalue":{"value":"1973988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4422084$7F061B60-BA3E-4ABE-8FB6-A65E8327F740","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd49149ebcf8f53022f73d440da54a3898b77d6","datavalue":{"value":"Abstract Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422084$050FFC15-1757-4FC8-9BD2-0D49428A227C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb70f0f81ad39110e954f6619f42f341f9b14e1","datavalue":{"value":"C programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422084$787C63A3-B4D2-4DC2-88E1-F52F77DF384B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e602d8a4175758ef59e5c92655851435d99120","datavalue":{"value":"Concurrency Workbench","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422084$61BD37C4-02B0-4ADE-835E-1C2EAA74DD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec04c6222b77f6d14617ef1a9b18c4dff7ab4a48","datavalue":{"value":"FDT for network protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422084$D2419FF6-D109-4BEE-A80B-0DAD20AAC2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5036264fa6beabed8385cb1d07cd53970d5908fe","datavalue":{"value":"Verification and validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422084$AFAF4947-0962-4D5B-94B2-171DF859ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a05a6045d2da28cedd3b65baabb8d64232a89c","datavalue":{"value":"Software tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4422084$FE3267F6-9737-4157-86DB-AA0BAD10E754","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422084$371AEF72-F910-46FF-86B6-292BF7E3C633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4422084$E6915D0D-6753-46D9-B5EC-7A97F571E05A","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":"Q4422084$486DF635-093A-447E-9490-0373C494EAF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0078ce3dd80f1b0aabea2f05ff758948765f7cbb","datavalue":{"value":{"entity-type":"item","numeric-id":5716549,"id":"Q5716549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b46e8330a35bdae272d645b1832a79c2c21a5b7","datavalue":{"value":{"amount":"+0.7968105673789978","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":"Q4422084$5BA9F4FF-134E-4FBC-9817-4720543B7F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07129180316f45b82d2ad623d574e3651fa0253e","datavalue":{"value":{"entity-type":"item","numeric-id":4804921,"id":"Q4804921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2ad7ae1eaa80c76716ca5756b29d4db91de83a","datavalue":{"value":{"amount":"+0.7093216180801392","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":"Q4422084$12455D48-E875-4DAF-8768-707CB713522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05919493e21e0b9c2cb7108ec3bab0771605b1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5448824,"id":"Q5448824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abe01cc52611dae988e7b701792675bd1d9a988","datavalue":{"value":{"amount":"+0.7052390575408936","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":"Q4422084$EF6F83DD-397C-43CF-AD7E-1E1A437B843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247cb8a6990a2242ef1a2522ddb119e587c248b7","datavalue":{"value":{"entity-type":"item","numeric-id":4426387,"id":"Q4426387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48045846f89bd39aa7bfe63bd5f9313d5a4a8388","datavalue":{"value":{"amount":"+0.6863040328025818","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":"Q4422084$725CF768-A7EB-4DCD-81D9-D3F3715C69D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af49d45164edc09f259c4b413693465371a5b8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2753757,"id":"Q2753757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48045846f89bd39aa7bfe63bd5f9313d5a4a8388","datavalue":{"value":{"amount":"+0.6863040328025818","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":"Q4422084$48138B8A-85E5-4B12-9B8A-CAF04A1D32B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4422084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4422084"}}}}}