{"entities":{"Q2763546":{"pageid":2774285,"ns":120,"title":"Item:Q2763546","lastrevid":47725519,"modified":"2026-01-02T13:16:16Z","type":"item","id":"Q2763546","labels":{"en":{"language":"en","value":"Reasoning about reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692401"}},"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":"Q2763546$DEA635EA-D9BE-4127-849F-ADD8C1FABD66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6dcb8654c7cf3a3272827e2734a687cbe774dfd","datavalue":{"value":"0982.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763546$E3EF9217-3405-4CE1-8BCC-B96F1ED825E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10f99066612be850a6fb8a8ed7a3ba8a115166f9","datavalue":{"value":{"entity-type":"item","numeric-id":2763545,"id":"Q2763545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2763546$0FD6567A-0A42-426C-97FE-8271BD66E6F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"080c83eba9d0aaada8ba639fd9ece6b56cd533cc","datavalue":{"value":{"time":"+2002-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2763546$0ECF94AC-AD0F-49C7-BCFA-3E8892F47DEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763546$815D54BB-4521-42E9-A6EF-E771C990EBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763546$1AE232D9-F108-4074-A525-A05DF458A134","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bcbc0f7865071411ba6bf6130f9939eb70957e9","datavalue":{"value":"1692401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2763546$8C167F02-0568-4BD5-A5F7-796F9AD3DC61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2763546$DEAA5099-910A-4EEC-A528-82584D8F2EED","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":"Q2763546$2670EDD8-584F-47B2-AA66-7788892DBE83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"097e240bb2995bb9b01111328fa321379b65e21b","datavalue":{"value":{"text":"Reasoning about reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2763546$2853B8A4-D9C5-410B-847F-7D8E327FC85D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd1db6bf9d29ced1df203e61bc5c4c06eda2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":4490357,"id":"Q4490357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7d08bc0a9af04a3a98e8ee2dbca48618de86b5","datavalue":{"value":{"amount":"+0.7597766518592834","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763546$DB1C8A88-853E-489B-8D89-CAAE1F00E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335ce4120acb89ad553b2c62a31aaad78103fb01","datavalue":{"value":{"entity-type":"item","numeric-id":5902422,"id":"Q5902422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80700c313aad2bba7d4a5291af789af700fc2091","datavalue":{"value":{"amount":"+0.7360241413116455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763546$1DAC3EB5-76BA-414B-8FE5-FC440B19EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaa1006ca66b4af1f9679dbd184fb02d859c2f1","datavalue":{"value":{"amount":"+0.7334144711494446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763546$5E084FBF-E816-4235-A6DC-8B16825FF053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568aec00cbdb9e427cd19c38108b4c0dfa1a18be","datavalue":{"value":{"entity-type":"item","numeric-id":1770845,"id":"Q1770845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9bb1dba41a4e49ab7d265026641d8047dc6022","datavalue":{"value":{"amount":"+0.7277079224586487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763546$0F24B5D4-428A-48A2-84F8-E657D45F352C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b164d3be6f2b3a74db4136f223dbc5f7a9eed67f","datavalue":{"value":{"entity-type":"item","numeric-id":2763538,"id":"Q2763538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4890de55754bda2dc9a0476b6f551e738b895fd2","datavalue":{"value":{"amount":"+0.722428560256958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2763546$8E01221B-E47D-4912-A14C-51D44E5DC8CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2763546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2763546"}}}}}