{"entities":{"Q4037400":{"pageid":6067118,"ns":120,"title":"Item:Q4037400","lastrevid":55250122,"modified":"2026-02-05T07:59:41Z","type":"item","id":"Q4037400","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177531"}},"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":"Q4037400$9FAA9696-F783-4D45-829D-57744B072B00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"092dee3f1b36a61a0ebaa1cd2c741d69c7901467","datavalue":{"value":"0765.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037400$E3ABC468-921F-428F-8D9F-AF9E67FE5C91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ce00722fe98937952294ecf94d9205a9897ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1633066,"id":"Q1633066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037400$26A8971F-399B-464F-AD50-C433CC4F76FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a38b83b0ff75d93e4b735dfc5a3c473864bdd3de","datavalue":{"value":{"entity-type":"item","numeric-id":4037105,"id":"Q4037105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037400$10C5C89D-03AD-4A9A-9D9A-68949C1228D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037400$3360DB06-EC46-492C-A67D-C853820A69DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037400$9B86C387-6541-4D1C-92F9-035F9BEA6469","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2381f6116894ff14e53c5291147cf5c63d5b0151","datavalue":{"value":"177531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037400$17A402C6-867B-4E54-8E67-49D37EC70FC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037400$F97F9173-3C5E-469A-AB48-645ACFCBA7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef174125ead77f8735178013c4ea682f37438b3","datavalue":{"value":"verification methods for concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037400$C410215F-9500-4B02-8357-8C6661C38EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9b8763265948caee3aa2acf4f5a0376c9a5ae38","datavalue":{"value":"verification by reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037400$F026ADD2-3D59-4EE5-BC8A-8BAACB5DB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037400$364BF4E6-B815-4A15-B32B-8B7939A900B6","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":"Q4037400$D8FCE6E3-D3B5-4CB2-B417-F8FCCB7E5AB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d541e4054f6ef0003fab8900ecba58d6ecbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q4037400$103F3030-5BAC-4815-876F-E55BC9B13D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db73f1ba8993a6cc5ecac7fae3b171ea9c84346a","datavalue":{"value":{"entity-type":"item","numeric-id":4493213,"id":"Q4493213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a57b8d1da89d49a603b835dfdebdeeab9ac7c3","datavalue":{"value":{"amount":"+0.88487047","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":"Q4037400$F1FDA51A-84B8-46F0-A707-966AD02FAE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccc3afae3b541db37a532c0b6b844402689c29b","datavalue":{"value":{"entity-type":"item","numeric-id":2898048,"id":"Q2898048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b04a1b1b4cc40b4ae744826c20b17bd25b0fb3","datavalue":{"value":{"amount":"+0.8833232","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":"Q4037400$816B24BF-87AD-4EE1-9AC7-0ED54A043F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740939a69142f3dd56cd1aab7deac21d0a6d039e","datavalue":{"value":{"entity-type":"item","numeric-id":4817543,"id":"Q4817543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1035140e9d71139c10a3b1ef65ae082f81f61a79","datavalue":{"value":{"amount":"+0.87966","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":"Q4037400$FDCC5D0C-E604-482C-A06F-EB4ABFD9EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e449589744384fcd9bdad300997fb82f084e970","datavalue":{"value":{"entity-type":"item","numeric-id":5897487,"id":"Q5897487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e69d4d8d14a28666a3e2166a363c424ea2e98024","datavalue":{"value":{"amount":"+0.8761589","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":"Q4037400$3CD2B184-7BDD-467E-A3F1-FBFE661EEAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162f07d4535056e6c750c3c4a4e683215c87761b","datavalue":{"value":{"entity-type":"item","numeric-id":3545273,"id":"Q3545273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5629e47d87ee732960ddf84f0ce92f3de3b12a57","datavalue":{"value":{"amount":"+0.87432677","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":"Q4037400$05A54B91-89E3-4D0F-945C-68A33F768AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b9acf72ed5bc0d44c4dbb198fe26a78fa58108","datavalue":{"value":{"entity-type":"item","numeric-id":969643,"id":"Q969643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3e7ccc9c875231052a48e567408098357745c3","datavalue":{"value":{"amount":"+0.8726541","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":"Q4037400$D0FB8A41-A1F1-4CD4-BDEB-0C82878859C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3107c659e2820d8c2d42dcb66f475d82d3f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":2830202,"id":"Q2830202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59578ffc82adcd92646b578b2a6ab35f131c01ab","datavalue":{"value":{"amount":"+0.8716066","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":"Q4037400$A7CA6D7E-F740-4E59-8606-1D32432B02DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71aa7a3965352b88e20b0b0ebe83810d0b442df","datavalue":{"value":{"entity-type":"item","numeric-id":418779,"id":"Q418779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86793fe61c72c4cf9fbf2ce9b2fd759ed1b0327b","datavalue":{"value":{"amount":"+0.86970115","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":"Q4037400$04F5B45A-A23C-40B8-8788-605781D46E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8bdff533de3ede8d938491db073818da3e9c07","datavalue":{"value":{"entity-type":"item","numeric-id":5172164,"id":"Q5172164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af101ae9725ded4f8a44e337fc571072d70ad7","datavalue":{"value":{"amount":"+0.8673091","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":"Q4037400$E148F72B-1811-4307-8367-3043FBC04BF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037400","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037400"}}}}}