{"entities":{"Q1895974":{"pageid":1906716,"ns":120,"title":"Item:Q1895974","lastrevid":71093268,"modified":"2026-04-13T19:26:00Z","type":"item","id":"Q1895974","labels":{"en":{"language":"en","value":"Logic of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 784603"}},"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":"Q1895974$6E4423EE-E2D0-4717-9BDF-A5CCCEBDC96F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47272c309bf6e561e1d87e3767549c3fba789a50","datavalue":{"value":{"text":"Logic of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895974$7A9EC970-DD83-4BFC-9AAE-58DB56196A76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00b19422833f668c85756a526b3f297dcd4fe167","datavalue":{"value":"0827.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$8F31DC8D-BA9D-415C-9676-55C72105EBD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"257a6f61f17b9d249a63b65df21d8649b9a916eb","datavalue":{"value":"10.1007/BF01160018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$12A29278-976E-4458-ACE7-57D286191F1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$72D71869-C345-4068-A3BE-CDB1EE431251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$4461A562-E8DB-4076-97D8-4DE3762D348D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$C0CFA3E7-8F2D-4B20-AB5A-8C6162315AB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deead79924b69b6828fa3774ba1ae29a5806ece3","datavalue":{"value":{"time":"+1995-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895974$EC282984-5F27-4E56-9DB6-414C50871B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$919FAC58-6598-437A-B246-4B352BEABDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$E9E26702-8C57-43E9-8C1A-73F8191193CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$FAE142BA-EB44-4461-BC19-4E4B862F2521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$15F5DF42-FC98-4929-8469-30E3A013545A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a14c68712491787d519e714805ff6cff04e162f4","datavalue":{"value":"784603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895974$6833EA3C-D1F9-4D38-8FF0-9FAD62EFA2A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$71EE310D-B830-4128-9D77-86F452A4722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$AAB69A35-63F9-4A4F-B16F-6C012C8434DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$2221787D-BF28-4894-BD09-86EBEBFD00F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$7843390A-3B1C-449B-A2E0-08F659A693AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$7F87669B-9895-45E8-AEF1-298C0B7B05A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$89F7715A-4F0D-4FEE-B38D-6E25BD2667D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f2c0c86ce83f10b82db6dab9a2f4cec046b2e8b","datavalue":{"value":"first-order model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895974$6CF6ECF2-AE0B-4CA8-A95A-2386247F9DE2","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":"Q1895974$0990EE91-D3BD-4E38-AEA2-BD4B87538201","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57bc035b899f3ad938b63ea4494e767e7b7ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1333405,"id":"Q1333405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$56B0962C-C67F-4888-8F9A-0A9B25B72175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$40395988-6346-47B6-8BCE-3DD4381B2AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"697b932bff0b79fd91bb393dff8d0ad161e0b8fa","datavalue":{"value":{"entity-type":"item","numeric-id":3792231,"id":"Q3792231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$6E261EC9-6807-47F0-A706-64D12CE9FD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e02197a1430e09eb6e4954a3307176638f7614","datavalue":{"value":{"entity-type":"item","numeric-id":5509710,"id":"Q5509710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$43BA6F1B-11EF-4D6C-97EE-9EE7D0932068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$8365F2CB-21D6-4ADC-B6C8-FFE7CF0B44D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$2F6D14F4-510F-4E72-9E5B-B023313D3488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$E67D71E9-C940-44F4-AE2A-B75026310057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$2624F56A-2D0B-435C-852F-83CD06C6548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$E9D8287F-AC02-4020-B6EC-113B4869C9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$6F299F84-E6A9-478E-8B7C-79D428D004DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$C6834558-C926-401E-A05C-85671959F203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1078de0dacc7640af35258a090cc299186d8f008","datavalue":{"value":{"entity-type":"item","numeric-id":1188935,"id":"Q1188935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895974$ABFEC170-F808-4514-AF50-3DDE9AEB2CB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653f7087a47b8179f70e2086d5862158b755ec1a","datavalue":{"value":{"entity-type":"item","numeric-id":4955331,"id":"Q4955331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45615eff9e6fd739ecd162e402d824f4741c8a66","datavalue":{"value":{"amount":"+0.9440782","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":"Q1895974$AF143F50-7DA3-4509-9935-8B667F053E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06b8c9620904c1bb0d28e09be24842657f0b311","datavalue":{"value":{"entity-type":"item","numeric-id":3535602,"id":"Q3535602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74edefcbf4d6a27385d52c05ccd910c3adfbbcf8","datavalue":{"value":{"amount":"+0.9351758","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":"Q1895974$00DD330E-B763-4963-B8A3-39329F85890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d516365ad3d2c93845becc1ef3955718e52ba42","datavalue":{"value":{"entity-type":"item","numeric-id":4316304,"id":"Q4316304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e53e2cc05bbc270b1175c3ba03f43a6e39b134","datavalue":{"value":{"amount":"+0.9274414","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":"Q1895974$A00FD65A-ED09-4A8E-9707-47C45D5CF36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eadd43e0d7e7a2f4ef6dd9f72eb3efbb978353f","datavalue":{"value":{"entity-type":"item","numeric-id":5705904,"id":"Q5705904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baad7b44d662ff47101c90d6fd403f2d8ee210ec","datavalue":{"value":{"amount":"+0.91695106","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":"Q1895974$AEDCFD09-C551-4607-BFE1-3F3C1E6D0625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bcede28f3de2392fef72fd70708ba205a6e44fd","datavalue":{"value":{"entity-type":"item","numeric-id":4244302,"id":"Q4244302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a4e77c6f087bfaf2b5124d4038376923420385","datavalue":{"value":{"amount":"+0.9133274","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":"Q1895974$C86A9DD6-98AF-4B2A-BA0D-D0656A0DD9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6741560beaef6e724b73d390215ff33cff9cda78","datavalue":{"value":{"entity-type":"item","numeric-id":1199528,"id":"Q1199528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44f79a04249f90043869e9b78dd141a30bc218f","datavalue":{"value":{"amount":"+0.90476274","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":"Q1895974$C2B0EF98-2C74-45FF-9CF4-B339723D143A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbb8cd863147beb295c3db490fd27853febeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1cd56dc6a07c87e0cb8022b9558dd3393ab6a6","datavalue":{"value":{"amount":"+0.9010248","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":"Q1895974$081D5279-3913-4746-B286-9B195D29CFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"519ae044153ad81fc9c919a7d3cbd148a7473fd0","datavalue":{"value":{"entity-type":"item","numeric-id":4649559,"id":"Q4649559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd125b6a608a72b6ab9dd3527c0763589b4dd31","datavalue":{"value":{"amount":"+0.9008899","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":"Q1895974$C9F5425D-298E-4A0A-A4D4-BF9C8B3FF22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a0b97e69de2a5f53580f26387080a49c6dc7d16","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fcd6211bcdf36da03ba279861c682b56553c086","datavalue":{"value":{"amount":"+0.898294","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":"Q1895974$52E51A01-6F03-41FE-972D-EBF47CCEFE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9434da99b7121f7205e1324c9100529e6aa17b53","datavalue":{"value":{"entity-type":"item","numeric-id":1666122,"id":"Q1666122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7c5b5072e808b2aed1d452284bce27de1ed1ef","datavalue":{"value":{"amount":"+0.8966522","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":"Q1895974$3CFFD57C-3024-413C-9360-BE7656EA6CFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic of transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_of_transition_systems"}}}}}