{"entities":{"Q3527272":{"pageid":5557176,"ns":120,"title":"Item:Q3527272","lastrevid":50463860,"modified":"2026-01-14T03:01:00Z","type":"item","id":"Q3527272","labels":{"en":{"language":"en","value":"MASL: A Logic for the Specification of Multiagent Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347516"}},"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":"Q3527272$C930DCC6-C938-42E6-B04E-E72C4F7C293B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d412540ef0e67099255d92bceb5ecfc8465372","datavalue":{"value":{"text":"MASL: A Logic for the Specification of Multiagent Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527272$32009222-68FE-417A-A7DF-61A556E2E1D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d6e7f19b011a96f1f9723ddfecd8b890b53b887","datavalue":{"value":"1151.68648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527272$3750334A-426F-47E6-8207-C77EFA453B0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07b9e8746a3869ecadc50d4d516b3af14e55bb9c","datavalue":{"value":"10.1007/978-3-540-75254-7_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527272$95B6AC0B-F270-4EEA-B614-E15CE1762E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"233ce026d2c7fcfbb877e2266be60c8e7cd02222","datavalue":{"value":{"entity-type":"item","numeric-id":2891404,"id":"Q2891404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527272$28D0D8E5-348B-4ABB-9F4B-33FD7924453F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e39d82c494a3542f40bedc7bd8b06b1f76895d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3121583,"id":"Q3121583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527272$1035AD2C-4BE3-4B0B-810E-8A9F68DF357F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dd942b390ec66fc22032d39ec6c6fc9f4bdff038","datavalue":{"value":{"entity-type":"item","numeric-id":3527266,"id":"Q3527266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527272$BECF5765-7325-424F-AB73-09ACF98CC32B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3527272$CD3F7FDC-5B71-4A51-AC6C-02B5CAE00021","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527272$CCA78F94-CAF2-44EE-A676-36F48C82072F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"687a1e14c69282dd621ffb2073c41ad25e6efab7","datavalue":{"value":"5347516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527272$C6B33FE9-30AD-45F3-8C02-A4732C285564","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527272$19CB35F8-0C49-4018-B4B7-FF5F7C511E6F","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":"Q3527272$605C0F6B-442C-44B4-8731-7B7B1F562025","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33de54ffa4dd5b6898482ef87b191a168eed870c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75254-7_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527272$807880A5-D79B-4C84-BD0F-51B870A6FCC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c8a0c08c8112c7a118a96cca3303aa981ccd67b","datavalue":{"value":"W1496336181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527272$8D532438-11BF-4B6C-8F33-CFFC513AF162","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04250c54b09fa4e58a5cb9d529b7cc3f1d15229","datavalue":{"value":{"entity-type":"item","numeric-id":945994,"id":"Q945994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ca3e1c871edba34828715d2fb68232d31cc158","datavalue":{"value":{"amount":"+0.9014917016029358","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":"Q3527272$C3441762-A62B-4D98-AF2D-52439379C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f22e98f2f4f096549d36c0650d94609cceb494b","datavalue":{"value":{"amount":"+0.780254065990448","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":"Q3527272$A618B210-FA87-404F-9C23-CE51120EEBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426b482f7ccd1a328e951ae54d31b89f26e49d9f","datavalue":{"value":{"entity-type":"item","numeric-id":946007,"id":"Q946007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27414a6320832a0d11036c982d9820d5a24e1b9","datavalue":{"value":{"amount":"+0.7765529155731201","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":"Q3527272$1B9AACA4-2B50-468B-A4D6-3DAD08E46FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f329389ee32ffc79357fc0ee526606e63e226442","datavalue":{"value":{"entity-type":"item","numeric-id":2757802,"id":"Q2757802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd9c0644f6efb6a52a8566c70a7932977370b885","datavalue":{"value":{"amount":"+0.7610152959823608","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":"Q3527272$398A1780-0F22-4DDC-945E-B2D91087BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8993d1dea7ab26647a6d2ea889d22d831beba35","datavalue":{"value":{"amount":"+0.7560304403305054","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":"Q3527272$EFE1EE87-55E7-4D25-85B1-43D76C1E27E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3527272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3527272"}}}}}