{"entities":{"Q4783310":{"pageid":6812890,"ns":120,"title":"Item:Q4783310","lastrevid":74713500,"modified":"2026-04-15T00:00:31Z","type":"item","id":"Q4783310","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1841822"}},"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":"Q4783310$96CEA694-E490-44A3-897D-F80766582356","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80db332daabb8e2570989f13f005d647e34c8235","datavalue":{"value":"0999.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783310$DD122890-A5ED-42F0-A794-936B92CABF4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783310$8702B401-A342-42C2-9C87-56E2CD4FDD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5411044d36bcde2420bde4ec317c0d34d7d5007","datavalue":{"value":{"entity-type":"item","numeric-id":555786,"id":"Q555786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783310$255E4B5B-CA94-4778-BA8B-65C9916C1BB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cf73c80cb926fe51132043358b392232a3f30b","datavalue":{"value":{"time":"+2002-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4783310$6EEA65E1-DFAC-4492-A007-F068945E5F4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9abfd8769181dff44dba48751950f2ac167ff37d","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2142/21420217","type":"string"},"datatype":"url"},"type":"statement","id":"Q4783310$AC131919-DA36-4F9D-87B6-5DE5F2EA7654","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783310$20142D7B-E796-4275-AA05-1FA3A3A7774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783310$2E375D85-7876-4E52-A2B3-D257FCEC51A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783310$81A1116F-E7D1-48C0-B6F0-178282537C0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8cd24357cb24cf2bd0c7a9858f41ec96551c9e","datavalue":{"value":"1841822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783310$39FFCAEB-0AA0-4814-BFE4-D61D2944C500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783310$D48CD085-308F-442A-A530-DCADB779DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783310$B24B7686-5596-4EFB-B3AC-6FCBDF5266D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783310$FD2E8504-5FC1-4E3E-B18A-1C92BBC23B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98fbc4cbf3375b90e0cdb0cb6794e56bce856621","datavalue":{"value":"logical foundations of specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783310$D3FCDD2C-A18D-426C-AF6F-3FAE96C1ACB1","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":"Q4783310$282EBF21-A76F-4F66-8F92-6E53717B4C57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2addf2c549e2be3d0ff0dc1266e55247aaf31f6","datavalue":{"value":{"entity-type":"item","numeric-id":5445311,"id":"Q5445311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d873d79ffed006b7532066a0485caa9bd4698059","datavalue":{"value":{"amount":"+0.92204475","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":"Q4783310$F3AD44D7-C2DA-4006-A64F-30B6FA1756F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c1f1226cf144a61ee70d2f9cd978b3ce98cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2753699,"id":"Q2753699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0732d22ec581d3a1b680557b5475846e237915","datavalue":{"value":{"amount":"+0.91413134","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":"Q4783310$2F2825F2-CA51-4184-AB86-C3EA00156314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14027c8da4021e8f1223e4509afd0d3c9a6cbf04","datavalue":{"value":{"entity-type":"item","numeric-id":5881450,"id":"Q5881450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a493517e8274d3e517a53d2cb5dbe7bb3656ed9","datavalue":{"value":{"amount":"+0.9119315","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":"Q4783310$B2C3B9B3-8D71-4A81-BE03-80EE40BEF93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3beb50c84c9889cfc98314786e87098ead01f895","datavalue":{"value":{"entity-type":"item","numeric-id":4680195,"id":"Q4680195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f9dbb31ed24b45de25a2eb0e5f2fa47da9a3a7","datavalue":{"value":{"amount":"+0.9026573","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":"Q4783310$2009C9D2-30E9-4696-A987-2E40A557ADEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e8954347c9083d8dd4c7dc6dc6c0242ebe711c","datavalue":{"value":{"entity-type":"item","numeric-id":5095627,"id":"Q5095627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bdd46518bd53692d266f3e6246f911baac363fc","datavalue":{"value":{"amount":"+0.90189826","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":"Q4783310$03FE2992-FD2E-4847-967E-303177E0E46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4f4724c212deb23b412acd9223fc776b10322f7","datavalue":{"value":{"entity-type":"item","numeric-id":3698303,"id":"Q3698303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81747f9f3b9f02a6bd3f7f9d142b13bf449b3e68","datavalue":{"value":{"amount":"+0.89579284","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":"Q4783310$06810084-83EF-4107-951B-ED6A6A76DB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92480180b20204b980d74677954617388b1fb25c","datavalue":{"value":{"entity-type":"item","numeric-id":959826,"id":"Q959826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a4fd7c9d9e30975c29360a8e42e8ee87d6c0e4","datavalue":{"value":{"amount":"+0.8897928","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":"Q4783310$3099DC82-6785-453F-AD8E-C86E4B7C44AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1841822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1841822"}}}}}