{"entities":{"Q4018071":{"pageid":6047852,"ns":120,"title":"Item:Q4018071","lastrevid":55192504,"modified":"2026-02-04T15:39:24Z","type":"item","id":"Q4018071","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92605"}},"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":"Q4018071$6A7BA6A1-296B-4677-93BD-ACF4142DD601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a221bdf17b6a975918d7526d4497f75a6cbdb622","datavalue":{"value":"0762.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018071$F7ADF0C5-5C89-4B59-9EA0-FA8D0CE997B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eec51c07710be78560907d5497cf10b0b2c10907","datavalue":{"value":{"entity-type":"item","numeric-id":199202,"id":"Q199202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4018071$35070BF3-CADC-43EC-BE17-82B6438CF87A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-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":"Q4018071$CEC6BBB1-C073-4114-BFC1-56FE6876C9CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018071$D86501BB-2785-4EE2-A695-82309852D54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018071$7C005A8F-64B0-460A-831E-C71AC8197DD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20b837b9c4ac875b4c8d7d49f5ac68133eeadfaa","datavalue":{"value":"92605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4018071$DB8896AD-F61E-43B8-BFEA-A60A235AD542","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aad5d21ac170385baba50d1ad9c269b1ddb15d5","datavalue":{"value":"nondeterministic concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$EA9E226F-4C4B-47F6-BC42-9926B7892FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfeb5be36a9ac8235d8b2099ca60d06a8e2c5c64","datavalue":{"value":"Process Description Languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$6789656F-2BB6-423E-AA0D-CFD8CA20B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6da5ebc8fc8655620f91e101487fe4436f8fa2e","datavalue":{"value":"interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$0493013E-ADB8-422A-B852-20F758C2E5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a165346c69cb55e014764a7085ac548c206581","datavalue":{"value":"atomic linear refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$D549B2B6-60D0-4ED0-805C-F48AD6309D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$6BC199E9-CD8A-45B7-92F7-4C4113AA202C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$2BC982CE-E223-4B2B-B107-CBBC28EA3FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$D7E84246-2D18-4F7C-B979-164F1FED5B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6627238462765c83386ffeec469cfeafb5e9780","datavalue":{"value":"operator of strong","type":"string"},"datatype":"string"},"type":"statement","id":"Q4018071$E764C6DB-D4C1-4978-9AE0-9054B36F36AF","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":"Q4018071$C1E6F39E-4B86-4D82-AF91-991376E09405","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9270b064018680c3d17a3483fc6d113dd130768e","datavalue":{"value":{"entity-type":"item","numeric-id":3358247,"id":"Q3358247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004d3b2d775335ea06a0493d2207c814f622ae06","datavalue":{"value":{"amount":"+0.8383161","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":"Q4018071$868B26F8-307C-40FC-B0F3-49565596D957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1e731b00cfcaadc467c6578b4cd108b945ab1","datavalue":{"value":{"entity-type":"item","numeric-id":5224891,"id":"Q5224891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e08d604216e94390f3d4f48667a49bb00768e76","datavalue":{"value":{"amount":"+0.8363394","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":"Q4018071$D2CED17D-2655-4093-8F72-8877EF3D4828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f220de70fd0983d49b09140e73df70e1ade32f83","datavalue":{"value":{"entity-type":"item","numeric-id":4035233,"id":"Q4035233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8add81177e425c9d67645393a6ee536cfa85a515","datavalue":{"value":{"amount":"+0.8324268","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":"Q4018071$6D92A457-3BBD-4729-B782-B26D081165C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead2318a9609f9f5255fb132c79d731b71edfadf","datavalue":{"value":{"entity-type":"item","numeric-id":1401413,"id":"Q1401413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc5aa2fce5f0bc3cec9f6774ab2d13bdfc50f33","datavalue":{"value":{"amount":"+0.83191025","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":"Q4018071$063A112D-2819-4827-B229-BA7BEA8EB63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9364a974d1eeb48b8c05d1972b2c61821cc5a567","datavalue":{"value":{"entity-type":"item","numeric-id":1786609,"id":"Q1786609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4779d914ca7b9bc04d29ad9e3ba7838e0af11d76","datavalue":{"value":{"amount":"+0.8231925","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":"Q4018071$5629A236-2AC0-4E9E-ABD3-1BC2837DE0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cc4e09a666aa42ff8da2a3e874e1c6495b615","datavalue":{"value":{"entity-type":"item","numeric-id":5747759,"id":"Q5747759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4bbb0c31b66565f03b8a441d0a4436a4b579478","datavalue":{"value":{"amount":"+0.8225549","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":"Q4018071$1C40E239-E133-4C62-8E0D-678E582A0B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392da8d3c52b9e9305a4da7fbb76888d83e42eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d83d4bd6b1054b93c944f18f102186311f8e872","datavalue":{"value":{"amount":"+0.82251","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":"Q4018071$53CE323D-E204-4B7B-B8B8-1E288F90A892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c561460fc6265ca35df67ab65b85df4c53a874fb","datavalue":{"value":{"entity-type":"item","numeric-id":4823806,"id":"Q4823806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c783069ce29419cd6f7bf322ac472b49692c10","datavalue":{"value":{"amount":"+0.8217545","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":"Q4018071$D2A3BA29-FD9A-473E-92F0-4115B65C26F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4661f35b993d6a5ea12f5ae7152b7efeff0978f1","datavalue":{"value":{"entity-type":"item","numeric-id":4320025,"id":"Q4320025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ce8638393d949f2a5d9b41aeee3d30b5ec5b31","datavalue":{"value":{"amount":"+0.82148284","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":"Q4018071$13F093B0-1CC6-4C5C-A913-1C60CDFF8159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4018071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4018071"}}}}}