{"entities":{"Q945994":{"pageid":947842,"ns":120,"title":"Item:Q945994","lastrevid":65543196,"modified":"2026-04-12T03:19:38Z","type":"item","id":"Q945994","labels":{"en":{"language":"en","value":"Logical formalism for specification of real-time multiagent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5345527"}},"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":"Q945994$2C996375-4796-4246-A571-8D9FBE8897BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"081a2ddad5074e631542ea6273025b7dcf0f56b5","datavalue":{"value":{"text":"Logical formalism for specification of real-time multiagent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q945994$89D0CEF5-6C30-4F68-96E0-2F82777E4CDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"290fd8bb70c47f4e182555321842f9ae0c2804b1","datavalue":{"value":"1153.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945994$4A9A5C2B-ED03-4B8F-9BA6-039880A22B4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86d19469dcf3f3ff6f62252b6946212ee6f22557","datavalue":{"value":"10.3103/S1063454107020082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945994$205F448F-3F3B-4E7A-A5E6-995B3AA4A337","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac61124c130a309ba22dd6de30ccf8073e5ac16","datavalue":{"value":{"entity-type":"item","numeric-id":931578,"id":"Q931578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$F005B58F-9D36-46B6-8EA0-4F77E2B2E838","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea601235ca9729b561915b44763b732239cbe6f1","datavalue":{"value":{"entity-type":"item","numeric-id":276877,"id":"Q276877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$5A959D12-C976-492A-A2FE-364664D3B6F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8003791cbe1fbc8534b176620a1611c50cccbae","datavalue":{"value":{"time":"+2008-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q945994$946D91CD-B6A9-4506-8532-D2ED9E8A4046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945994$D2BEEA54-1712-4455-8A74-E91BA71D4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945994$DE96DBAC-91B3-4534-B529-9404FF7A350F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"872c6644df321e4d0d0b31d05918b9cbd045b44e","datavalue":{"value":"5345527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945994$EC11220E-562A-4F32-979D-E091F71E9296","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q945994$6DE30D24-2E56-42D9-90D1-E8F662B242F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$8A8218B7-0707-4513-93F8-AC628F353115","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":"Q945994$84270A86-612F-4A1D-99A9-03B67B54B1A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$B602B84A-159F-4E5E-AA1A-541BA57D6540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$3DA0780D-0961-4978-8D6E-697A48F80D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$5973EF46-C1F2-4CA8-AEE9-AE66E63393D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$0FB1A233-1F7C-4918-9612-8F984CB7108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4050105be14c099d806cd9f7ef5c41f12faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1401306,"id":"Q1401306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945994$95C77C3A-DE90-42AA-B9D4-ECE1FAABF372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da435dc50ce6f3dbacfec41305a56ec9af788f5c","datavalue":{"value":"https://doi.org/10.3103/s1063454107020082","type":"string"},"datatype":"url"},"type":"statement","id":"Q945994$6D6FA0CF-26B7-4E0A-83A5-120A9733F3A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f048c4767c4c8cc53fc88985280230b91239b0","datavalue":{"value":"W2081199381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945994$F5FB7E00-55CF-4A34-83EB-4C27EC00A5B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62dbed1eda232bf1325b7c5749bd75a66a400f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3527272,"id":"Q3527272"},"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":"Q945994$AE057F58-23AE-49B7-855B-3C7C04DCD9E7","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":"374847d0e8c0aa664e0b0706b7a9b4bdc07a99ba","datavalue":{"value":{"amount":"+0.7803478240966797","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":"Q945994$FAAC0DF1-BA7E-40EE-A1BF-082AA1396B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26cda5a036efd0a915f5e2f0749814a456ddcee","datavalue":{"value":{"entity-type":"item","numeric-id":5423885,"id":"Q5423885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261a52b87d3ba36121e35767fc16bfcf66c6d30b","datavalue":{"value":{"amount":"+0.7767972946166992","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":"Q945994$FDB57092-CC5C-474F-8CB6-350ACA8304DE","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":"3accc0e52cbb742ff46e7edf8b3248c5987a1311","datavalue":{"value":{"amount":"+0.7655898928642273","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":"Q945994$75254751-3124-4A02-9B53-D99C22BF7232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39ee7fa3c095f7acdef8418787dc118f7b2ae9c","datavalue":{"value":{"entity-type":"item","numeric-id":4935597,"id":"Q4935597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0455eb7d0926b4e5ba84fa96d6f5084649f658","datavalue":{"value":{"amount":"+0.7640122175216675","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":"Q945994$05DFC444-64D5-4DAB-8BF2-975229794AEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical formalism for specification of real-time multiagent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_formalism_for_specification_of_real-time_multiagent_systems"}}}}}