{"entities":{"Q3210192":{"pageid":3220900,"ns":120,"title":"Item:Q3210192","lastrevid":45698188,"modified":"2025-12-16T13:32:08Z","type":"item","id":"Q3210192","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4191139"}},"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":"Q3210192$54C39D25-B8F3-488A-A60F-C75E6387C916","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32fb81a3bfe5c88bc3e3a1134fa4be8282882fc0","datavalue":{"value":"0722.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210192$6998B024-DEC2-4E90-91F3-2B38A4896EC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cde96b44d9cad9ac40bb3f7dd714b330c99ed5d","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3210192$286B154C-262D-49D2-A4D9-8310E405C8DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3210192$7B8695EC-0ADE-4E6E-A285-7D8EAC17D1BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210192$7A3AE23A-4E6A-4932-8F9D-5D758644F78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210192$27E5624A-13FC-4DB0-8E57-EBD100AB8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210192$EE2F2CD7-5AA1-4AFF-BC3B-1C04B11FBD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210192$91601B18-22B0-4C99-B3BE-8671E493EBC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cec7a4b632f51c60e25d0c1b988e85c362228f7c","datavalue":{"value":"4191139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3210192$942DEA4F-2D96-4CAE-BF57-2A14D4C1A1E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$C7E69CDE-D2DC-44CA-BB81-8C4ADAD7A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39e390c8167924c5ccf1aa37db607f24ee3dbb2","datavalue":{"value":"bisimulation relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$E3298460-143A-4E33-AF41-1C96E6E359E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e921a05fe5ed817a303deaafb0bd25308bfb39b7","datavalue":{"value":"behaviour expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$62B384C1-DA2B-4C5A-BD8A-9CB1AC2B8D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18dedf63cc6788cf9a45af12da7fa0b4985c2fc","datavalue":{"value":"non- sequential systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$DFEC447D-E74E-446E-B68F-2B1AA1F98512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$0BDB17D3-6528-437F-A60D-861AF42CDA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c53a04cb49b2b787ad3d375813f7bea4e28016d","datavalue":{"value":"\\(CTL^ *\\) branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$DF619341-0099-4DB8-AEA3-DE8833D1A167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3210192$CC9B2DE5-6560-4B7D-9178-5979E29BA8D4","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":"Q3210192$00FC4F5F-E531-4F62-835B-9A5A414BCBF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127dff620d3da7cecf0861c40a8f674af02ec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871096cebcf126d8b44313ffec2727abf08e8c1a","datavalue":{"value":{"amount":"+0.89414805","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":"Q3210192$F5B34B7F-A736-4B73-8397-D8B6E9E3C10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97448b44d6e44cc3bfc4715ed2e898076fd306bb","datavalue":{"value":{"entity-type":"item","numeric-id":4007158,"id":"Q4007158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c51177ac5ccdf83b8922b981a31c8c87a0bacd","datavalue":{"value":{"amount":"+0.8907152","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":"Q3210192$D68E4342-8204-439F-AD43-46810205D3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e990e3a46aceafc0d0375548a6a73dcd43a40975","datavalue":{"value":{"entity-type":"item","numeric-id":5567845,"id":"Q5567845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9398716fe3f09f5ea09103bab87baf17f7f7906e","datavalue":{"value":{"amount":"+0.88931835","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":"Q3210192$E7186A6E-C2D6-4BBD-A1CE-57AFC8B7D82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b531c3034b1b9d2802c2c93a1364c959e1e20094","datavalue":{"value":{"entity-type":"item","numeric-id":2964465,"id":"Q2964465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f397d94e76e312294a5b2a4fd0e6fb3b0f77ab27","datavalue":{"value":{"amount":"+0.88079995","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":"Q3210192$2FB77B7F-4864-4A15-9B49-34C5BA76E820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e227575590b60e4bc268b67cecf58dde0eb6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":5809943,"id":"Q5809943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"192876bb3dc6c79449c519494b0f7feb96b9a142","datavalue":{"value":{"amount":"+0.8777191","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":"Q3210192$ABDBB700-BA7A-4B71-800B-4994A1810FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a637999b132d561731e438d9c302ae373ac21d36","datavalue":{"value":{"entity-type":"item","numeric-id":1190508,"id":"Q1190508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5ba7c34da629670b7224b78c3e8a1eb522228a","datavalue":{"value":{"amount":"+0.8745954","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":"Q3210192$1224CFF2-1D6E-4117-B2C7-2352A499A54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c1d8ca4353a1bc152e57fb0fc519a94f58366e","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc72286b0eba0219a7e0a833463df6a2ea2a88b5","datavalue":{"value":{"amount":"+0.8697864","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":"Q3210192$3495F2A6-D910-4BF6-9B80-EB00A3DEB02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a38e076abb596274a667870fa2e2ce89d226d25e","datavalue":{"value":{"entity-type":"item","numeric-id":4276180,"id":"Q4276180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f0d5633c722d4314239188508f169bf6186b4e","datavalue":{"value":{"amount":"+0.8691808","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":"Q3210192$748E2A99-326F-4AFE-8475-702046463316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4bd063345fb4a33e51cc534c9c83293f893191","datavalue":{"value":{"entity-type":"item","numeric-id":2128791,"id":"Q2128791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb75cae54519ce047d529e5b08078fe6837ef43","datavalue":{"value":{"amount":"+0.86912024","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":"Q3210192$E68BD3A0-9C5C-4338-9CAE-4CE857169E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deaf6ef3685b9d9e23c0bda0d37b90e7de818728","datavalue":{"value":{"entity-type":"item","numeric-id":5212091,"id":"Q5212091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62be3905814b28cd21c9ef4c397dc2ac81ad2fd7","datavalue":{"value":{"amount":"+0.8683769","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":"Q3210192$BBC9F559-CF65-44DF-A687-E5646A404AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3210192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3210192"}}}}}