{"entities":{"Q4733381":{"pageid":6762958,"ns":120,"title":"Item:Q4733381","lastrevid":40952771,"modified":"2025-04-14T23:10:34Z","type":"item","id":"Q4733381","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119598"}},"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":"Q4733381$3A0B0B28-C892-4863-90BB-B3D32CC35BC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67e1e9626e6b5f8cf1c44d935cf10e1305dc5a8b","datavalue":{"value":"0683.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$B88E6F6E-D9DE-4CD1-9A95-5714F5D6FAC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733381$2E5AE5B6-7271-4EA0-A6F3-02E3F8853ADC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4733381$35BDB2A1-C593-4C60-99E2-10750CA05E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$07AB2E4C-C61B-48D1-BA25-B86E8CA39CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$83096E86-EEE7-4B7D-9260-5776037A74F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$9FFC4B82-D1F4-40C9-A85E-EE876A719110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$16AEC951-F356-47A6-AB1D-649ADF776AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$8C13D0F7-A0EB-410A-908A-004CC25A2386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"387d1ce7a7a45a45aeaff472fdd55b364198a40a","datavalue":{"value":"4119598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733381$B1BB0CFA-7914-4294-AEF2-0C8C43A9B411","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7dc9cb8980a3d721ba5fa1d030b7fd93ef18bf3","datavalue":{"value":"concurrency specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733381$E4A598DA-A9F7-4161-BA5B-1C829EA1DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75d11b41aaaceba03c445a4796df396b9e28bea","datavalue":{"value":"parallelism semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733381$AB06EEEA-2509-40C4-939A-BCA4B70E1C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733381$335F8AC4-79D2-4112-B0AC-75E3A929883B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21a84658c7bf7740fa43120704aa0d046c51d1c","datavalue":{"value":"\\(\\omega\\)- regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733381$AEEC14D8-D007-469C-BC49-D918A3401F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733381$8CE8F153-95A1-4284-B755-F1F14EB6720E","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":"Q4733381$6BE88D36-20B2-40E9-B206-FD4089A32369","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q4733381$529A883A-46F6-4865-AB20-A48E45D0807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d89338a7e9ee5e92ddee9404c0165c6477fcd1d0","datavalue":{"value":{"amount":"+0.9631314","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":"Q4733381$4DE51A3C-D69E-4203-95AA-31BE600E8FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471852568d452a58cbcc3aeace16ad32ae01c8b0","datavalue":{"value":{"entity-type":"item","numeric-id":3422662,"id":"Q3422662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a2901b3095a251f086b24f42f6b7acfb7396b1","datavalue":{"value":{"amount":"+0.94047964","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":"Q4733381$8F118DA4-58B3-44E0-BA18-827AFA1943E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f94e490dd73b86830db8632e1c35aaf5deff8ca6","datavalue":{"value":{"amount":"+0.93808126","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":"Q4733381$CFBB7707-1ACE-4466-9995-49C97F1BD7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d63dbd4b815d1985d091a8bc4016d2f77152968","datavalue":{"value":{"entity-type":"item","numeric-id":5712362,"id":"Q5712362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683140364625f023ce7966ad8517ece71eacd3db","datavalue":{"value":{"amount":"+0.92731416","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":"Q4733381$B2199459-A108-4171-9030-D1F38B606E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b188ea34adb33223791f09af8e4603a5711a0b9d","datavalue":{"value":{"entity-type":"item","numeric-id":3972532,"id":"Q3972532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7659f718933f57f8a5f4650938e047051eace76f","datavalue":{"value":{"amount":"+0.92082","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":"Q4733381$8532CE78-C8B9-434D-B3F1-08C370804A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455eff5655d25768f845d720778c71989e77003a","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522bee57d543050c4c8e96a78adc800b6f929e57","datavalue":{"value":{"amount":"+0.913072","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":"Q4733381$79231D2E-7193-49CC-BADD-4F754BE8D487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b5e5bb9a2467f261c749658c5aa1072f20bc7","datavalue":{"value":{"entity-type":"item","numeric-id":472794,"id":"Q472794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ebd6e0a2f093f7477a17958f87fec5b57a45533","datavalue":{"value":{"amount":"+0.91307175","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":"Q4733381$92386766-DA3A-46DF-99EB-4D309D52090C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261a7c5a19ce248947c6c7a687f1aca2bd347362","datavalue":{"value":{"amount":"+0.9115303","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":"Q4733381$4C3117E6-C343-4A2E-82B6-BD631F781B92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733381"}}}}}