{"entities":{"Q2147686":{"pageid":2158429,"ns":120,"title":"Item:Q2147686","lastrevid":54345200,"modified":"2026-01-26T16:28:36Z","type":"item","id":"Q2147686","labels":{"en":{"language":"en","value":"Formal methods: practical applications and foundations. Editorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544939"}},"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":"Q2147686$3AADAF25-4011-43FF-81FC-69DF940D1E53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f4d590656b178f51cf58339ab6acc390e3b4b1b","datavalue":{"value":{"text":"Formal methods: practical applications and foundations. Editorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147686$E7FFFCD7-AE8E-497B-8858-72492B917EFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6adbce599d654ac468f00ed63e1860eb5bf31de3","datavalue":{"value":"1489.00048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147686$EE96505F-11FE-4409-B830-1C8D39D8CC7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147686$3D871D6D-8E4F-4B9E-A4EE-ABD4EE8787AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147686$C068FADD-763A-443D-98DD-9B39C46C7A37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147686$819FF2A3-B824-41D9-A197-E0C3E8D93CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147686$C72DE8D8-5B4C-49FA-8A1D-20D8BE6EA1A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ba9f1df7cae81f4d2ab6bea198c5670443af7d8","datavalue":{"value":"7544939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147686$34B587A8-08D1-4FA5-8B59-DF68FB674D78","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":"Q2147686$E88933D9-D90C-4BF1-ABDB-FFAA34389958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d655f3b29c28c0ce4781d32d495bf1b33933a93","datavalue":{"value":"https://doi.org/10.1007/s10703-021-00380-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147686$1A1B4758-6F79-44D0-9E5C-7C28BB11F292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"186439142f74db294acf2e23ac669e51a64dfc06","datavalue":{"value":"W3178413057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147686$B2AB5700-E476-4A52-B47A-B56558869BC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1ecb59adedcd28897e591757ac69aca9352a4b5","datavalue":{"value":"10.1007/S10703-021-00380-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147686$0E285974-C396-41AB-A73D-7FC3CD4315C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15fc8fcd7b4462ceb078d6a68c992c5fd1b6074c","datavalue":{"value":{"entity-type":"item","numeric-id":5918094,"id":"Q5918094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b0f1d0a9cddafada1fa5ea354a78def00a4572","datavalue":{"value":{"amount":"+0.9261870384216307","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":"Q2147686$63B15333-B68F-4296-BDAE-E59E8AB9491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b63261fffc40c0d91109a0c4d575c91a489860","datavalue":{"value":{"entity-type":"item","numeric-id":2325847,"id":"Q2325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769341330d228ac3802cee0f7efcfcece15208be","datavalue":{"value":{"amount":"+0.889225423336029","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":"Q2147686$06795698-3037-4B24-B5FB-795AA122EDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7efcddd8b94a3654dc3596fc652f69e5204cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5970677,"id":"Q5970677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6517107c92456ebd352f1d97923e947389592bb9","datavalue":{"value":{"amount":"+0.8592733144760132","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":"Q2147686$BA337280-6FF8-409A-B261-7B62348F7424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"500f796212e6ae7821802b43c19cfcee48664e64","datavalue":{"value":{"entity-type":"item","numeric-id":2662243,"id":"Q2662243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8631613edc5287b7e5ad17f88dea3d44afcafdf","datavalue":{"value":{"amount":"+0.8520989418029785","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":"Q2147686$B2440A2A-0CE6-45A4-A7BF-E3BFFC6B51C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f51939e0af4183f42558a7ce5a4907380f9807b","datavalue":{"value":{"entity-type":"item","numeric-id":2662242,"id":"Q2662242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8a27fe18dd9008c734867847fe77277e594a77","datavalue":{"value":{"amount":"+0.8506544828414917","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":"Q2147686$1E46B495-E1BA-4564-9820-3FD47FE0652B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2147686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2147686"}}}}}