{"entities":{"Q4037401":{"pageid":6067119,"ns":120,"title":"Item:Q4037401","lastrevid":55250125,"modified":"2026-02-05T07:59:43Z","type":"item","id":"Q4037401","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177532"}},"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":"Q4037401$442140D5-C280-454D-8FBB-6F23CC9F3A10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61664294a1ba0422395c0f440d6cb767181be753","datavalue":{"value":"0765.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037401$D6D03D0B-87DD-4531-9A3D-C70051F7191E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68f16bc588a14cf8a1841c177a5c562620a294","datavalue":{"value":{"entity-type":"item","numeric-id":234678,"id":"Q234678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037401$0B18E58D-ECCC-4771-BA6C-A308093A81CB","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":"Q4037401$17FDF2F7-C661-46FE-A1F7-FB2DFAEEFED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037401$C47E027D-5737-44BB-B82A-DDC4F184A888","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eb7aea2b6feceff09fdab49fd2dc3ea1e1b3794","datavalue":{"value":"177532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037401$1C561DDE-BFF0-4A59-AC86-640C93A8553B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df6d2b1e185bdfb019158c76c3f0434fda0fa1a9","datavalue":{"value":"verifying finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037401$A137F1C8-ACC5-4638-97A3-6EA79B476506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dd3a332401580f842749049d84797eb1b33c3e","datavalue":{"value":"Hennessy-Milner logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037401$0D2220C3-FD3E-4834-825C-9A5D5B6239BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c37fe0c2e572b1aa3f4c18a57dd84538903ced","datavalue":{"value":"Kanellakis-Smolka bisimulation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037401$E69103E9-438B-4948-8AAD-37644D264D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037401$0C02ABEA-D67A-4ED6-9D3D-DBF682E57708","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":"Q4037401$0BFBE988-2BDA-474D-8E6A-FF13FED5C97E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb4cec045972da0de9f48742121bb34be5ab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":922711,"id":"Q922711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34231addfc29f7fb3b95c5168fb01b4634093f6e","datavalue":{"value":{"amount":"+0.88511527","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":"Q4037401$9FA042E7-5A89-4096-8C75-7B66D073E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277dad969b10bf2e20a0cd1e2b00e0876a0cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":4440830,"id":"Q4440830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e251ad4b59f8b2d4ca81e100e63dea2a450be8f","datavalue":{"value":{"amount":"+0.88264644","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":"Q4037401$6E4DD803-B93C-4F94-82EE-8B41FB75F4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e504b0a4c3171e53ee52b3bc4222f5fcf3052d","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb40511faea5fb3b7b485a4b9ea8ab1cc7c8d4c","datavalue":{"value":{"amount":"+0.88222647","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":"Q4037401$1E64C01C-62CF-4359-8E75-4A04B5369BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64ac996d8d977e7dbcfea0ab46e62705d873142","datavalue":{"value":{"entity-type":"item","numeric-id":5096175,"id":"Q5096175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb40511faea5fb3b7b485a4b9ea8ab1cc7c8d4c","datavalue":{"value":{"amount":"+0.88222647","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":"Q4037401$7B111E46-A4D9-4A96-A8AF-EB45820322E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faabfcd39ce4f55f60697320dd706bf6f4824916","datavalue":{"value":{"entity-type":"item","numeric-id":3569037,"id":"Q3569037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fd2d6ecf9c2de94cecb7b37af961431390e76b","datavalue":{"value":{"amount":"+0.88050604","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":"Q4037401$1A4F516D-0A8A-47C2-90AE-848612152B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5f4cbd97862ca5f37ef706a41e107826b33ea4","datavalue":{"value":{"amount":"+0.87986046","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":"Q4037401$79B6B7F9-62C8-4167-AC0B-ABBECE8C2631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf5386af5c77ae129861b417cd884e0275d27cb","datavalue":{"value":{"entity-type":"item","numeric-id":5703795,"id":"Q5703795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d961cd09305e9c5bf8e2c1d35e49cf8d74826b05","datavalue":{"value":{"amount":"+0.87715256","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":"Q4037401$00160E41-3222-48FB-9535-48C65E2D0DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5af508f53d0599ac2c25d74917c10e869786980","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534ba03648c6adddd5319916465560dafb44979f","datavalue":{"value":{"amount":"+0.87478894","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":"Q4037401$D68804A3-0E66-4390-ADAB-E3BD9C9AA46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5fbb1fd25e226c553ee7bc1f1b5135ee1baef9f","datavalue":{"value":{"entity-type":"item","numeric-id":520250,"id":"Q520250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ba8e0eff68badb4cb0a94fa17c07185657d78e","datavalue":{"value":{"amount":"+0.8744762","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":"Q4037401$A3A391FF-113C-4153-9B24-AEE1CD26F04E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037401"}}}}}