{"entities":{"Q3056336":{"pageid":3067052,"ns":120,"title":"Item:Q3056336","lastrevid":79995158,"modified":"2026-05-06T15:11:53Z","type":"item","id":"Q3056336","labels":{"en":{"language":"en","value":"A temporal trace language for formal modelling and analysis of agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815356"}},"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":"Q3056336$96D3D8C5-D43C-40EB-9ED4-F1DF78A75BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83762ebcce52643839b1f61beceb257749e884ce","datavalue":{"value":{"text":"A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056336$E045ACA3-516F-4D20-9560-2CF4DBC09AF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bdb66151db5b03548dbe2fba55bba56bc5b8a99","datavalue":{"value":"1201.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$05BBA971-6CC9-41AB-B75F-70AA27D433AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f290e2d0ac64b71c514ac787f6417ce213a3d50","datavalue":{"value":"10.1007/978-1-4419-6984-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$A4C9216E-DFAA-464F-8D58-44E8D9E16CD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e74360b57e95d386d54e9e69b7d189cc2406f8","datavalue":{"value":{"entity-type":"item","numeric-id":3056335,"id":"Q3056335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056336$28AC6317-102A-4EDE-B12B-A3E360CFF15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30cd23dea699838e8e1a8195d9ff152899c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":206623,"id":"Q206623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056336$9B72B380-3085-4CEC-BC9C-9648AF76B16F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b9423b0b2baca2110a761b9b652ec81a9281b75","datavalue":{"value":{"entity-type":"item","numeric-id":3056324,"id":"Q3056324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056336$F19E9138-699F-47CB-8088-14826436F119","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3056336$55CFC9F6-13FB-4FD7-9435-83E98AFC37F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$59A23DDD-4360-4DBF-A83A-7E9E89D56A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$06921EF0-FCA3-4446-BA33-801239C01730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$72BAF7CC-585D-46AC-9AAE-FA1065367483","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c56633eb78ca3a32a3636bc06f98146ff013d1c1","datavalue":{"value":"5815356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$96298FDD-A3DB-4EA3-8985-12375F8A1BE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e4ba4b6af72168fe6b94aa96926b39612983fb6","datavalue":{"value":{"entity-type":"item","numeric-id":13706,"id":"Q13706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056336$305C4CE8-5717-4A11-A392-17CD430AA7C2","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":"Q3056336$AEFE515C-877D-4354-BAA7-7ED777BB8258","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9b092741cbdcfa29cf0a74d6e02eedb53590303","datavalue":{"value":"https://doi.org/10.1007/978-1-4419-6984-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056336$91DFD610-3822-43F5-9FC4-09FB62E5BB03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a246e436f47f4d388d8d0ded004b0f7e31668625","datavalue":{"value":"W1506846451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056336$683C03B2-071F-4447-B8C0-CC2A55EF7F89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad08123c21b78735218d9a46b6d85db7f54cdded","datavalue":{"value":{"entity-type":"item","numeric-id":3056334,"id":"Q3056334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58270ac71dff4155526c5604aad9ea816953836f","datavalue":{"value":{"amount":"+0.7477724552154541","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":"Q3056336$D62F7ED5-2106-4D24-8362-C7DA9EA8C1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9415fd8b75c02b5261a872f2395919da07421c65","datavalue":{"value":{"entity-type":"item","numeric-id":4738134,"id":"Q4738134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044f3a0380f0c51107cd77e254c974bdfba2934c","datavalue":{"value":{"amount":"+0.7239528298377991","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":"Q3056336$B8215EEB-47FE-419E-ABD2-E301A40EAEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2902fb657c9a9d9dca899388e5732b2b742bc3","datavalue":{"value":{"entity-type":"item","numeric-id":4819010,"id":"Q4819010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb951d655141302ed3953ee475e682fd0126bd43","datavalue":{"value":{"amount":"+0.7207205295562744","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":"Q3056336$BD419FA1-0D69-4D38-B223-5CCF9C322FB8","rank":"normal"},{"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":"e26e8b07b2db79c5a07e093dc71ecc9b2efbefe1","datavalue":{"value":{"amount":"+0.7196643948554993","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":"Q3056336$1A82E0CE-C72C-46AE-9257-546B1E9EA629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da6476aca178a69c18bae926569f54cc57cf0a27","datavalue":{"value":{"entity-type":"item","numeric-id":5316674,"id":"Q5316674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1eedb36f5dc4a6614cbda2ce98befd7c3575265","datavalue":{"value":{"amount":"+0.7146521806716919","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":"Q3056336$D679BACF-EA59-4BAE-B6E2-61211630FD7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A temporal trace language for formal modelling and analysis of agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_temporal_trace_language_for_formal_modelling_and_analysis_of_agent_systems"}}}}}