{"entities":{"Q4571143":{"pageid":6600732,"ns":120,"title":"Item:Q4571143","lastrevid":53135222,"modified":"2026-01-24T07:06:22Z","type":"item","id":"Q4571143","labels":{"en":{"language":"en","value":"Verifying real-time properties of multi-agent systems via SMT-based bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899235"}},"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":"Q4571143$7BAC228B-E957-4395-BF13-FDB5C52DFD85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6949dedf24076d1aa2cd6d18e939f5739694ac3","datavalue":{"value":{"text":"Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571143$E3F011D9-1AFD-4E78-8269-2F7AA948A6C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08d6944624d09fadafeb0a714adfd7e770894dec","datavalue":{"value":"1392.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571143$F04E4B81-E913-44CC-9359-29361C503080","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a78c8818c2e9ade8838728b4d04858a8e96f4de0","datavalue":{"value":"10.1007/978-3-319-44832-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571143$0C812B9C-815B-4958-8E6A-D846433E7763","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97331fe5274ffe610c5d211285234c35758021e0","datavalue":{"value":{"entity-type":"item","numeric-id":4571142,"id":"Q4571142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$33B7866C-717B-481E-B952-8588BA5561D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$51CE11A8-2125-4847-AA85-1FEBD710042B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f16af589fa9753ecd6a7e5d34f9195699896fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4571137,"id":"Q4571137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$ECE8CDFE-6BDB-4476-9A59-C02DAA9142C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae26ae56b498965815874334fe53b327884c287b","datavalue":{"value":{"time":"+2018-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571143$67994A96-D8A3-4398-8A10-FE43C91A8103","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571143$12894556-AF4D-4A4B-AAFB-2D6F6EBEB5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571143$5F53109F-CD0D-4410-B870-76918D4C1733","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c9783f144dfb74bdaa6254bdf998a880e98492f","datavalue":{"value":"6899235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571143$9325A07F-3593-4F71-A34C-1704B3762CCB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$17019DA1-CF65-443C-8951-435D3E180F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$DA03A4FA-F581-4A2B-B379-AB9F680C9B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$2B50B23F-D5E6-4BDC-BF70-D2BD2F109B4A","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":"Q4571143$DC85D627-ED87-4CF6-B923-B0306BB83A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9b30a61ca4fd8257edf76da4ef447d8f6e80142","datavalue":{"value":"https://doi.org/10.1007/978-3-319-44832-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571143$BE972D8C-E68F-4B58-AE87-366D7721B483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"200716f009e106df0e77ce83936d04d716ebc698","datavalue":{"value":"W2527706068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571143$A38AC3E5-A696-410E-8959-1DCB9813BE64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$C42C5E62-D475-4608-B115-F8651AD2A508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$2C2B7FBB-CDE3-4FD5-B4A0-34542B90450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$CD37153F-D80C-494F-AC5B-0C32CC626C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$D618FBB5-E5FE-4DF1-90D7-6ACFCB0E0143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$BB314F09-B3DC-4569-9246-D8DB80D156FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$5DF325BE-0447-4DE4-BB33-DE301A6015E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$FA9A74D9-0DA1-4073-9D11-684CEBA8349A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b502cd2fe09ee2d9cf3529d4e50b8fc507e7d","datavalue":{"value":{"entity-type":"item","numeric-id":1420804,"id":"Q1420804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$E011BCF4-8BCC-431C-A301-EDD2B606216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64518fcc65551beddd4b9bec8720e5ef2c67af6","datavalue":{"value":{"entity-type":"item","numeric-id":4461756,"id":"Q4461756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$CF610BCB-791A-4578-A35D-4A1037FF862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f2985b0437a22e1f2621886dc9589a6e500ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5506390,"id":"Q5506390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571143$454D35E9-A51B-40F5-8F95-08E5494A2889","rank":"normal"}],"P1643":[{"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":"78ed3617e4c415052d6a95c5f21fe2436d9cb063","datavalue":{"value":{"amount":"+0.8723429441452026","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":"Q4571143$A460E6C0-5452-4CDB-82DB-4571B8AE056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09de60e215b0f38338637cf6b31df0531d0893e","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa2cb131e09556830ba939fd355c622e64012fb","datavalue":{"value":{"amount":"+0.8315712213516235","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":"Q4571143$4C2492CF-2F0D-4466-AD32-3BA472A11862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5feb7bc1bd66bebd05e3a72de886d6c1e358690c","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcde20260bdd93398e01170c0a29cbbaf1b0d33","datavalue":{"value":{"amount":"+0.8245861530303955","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":"Q4571143$4FA00E72-4C81-4559-93D5-2E09E03E8382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fae3d14af3526cabf01c3ee75f249097333568e","datavalue":{"value":{"entity-type":"item","numeric-id":5082182,"id":"Q5082182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfae1ee853938b341c0b47ca9e852b41ef7a894","datavalue":{"value":{"amount":"+0.8183822631835938","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":"Q4571143$B742CDDF-57DA-40B2-9213-2A6AFF67E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e126c0ae099844b0e94b0f3d610664a8799d94","datavalue":{"value":{"entity-type":"item","numeric-id":5040685,"id":"Q5040685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c64a48ae511d4575abade41cb428f031bb91825","datavalue":{"value":{"amount":"+0.8165025115013123","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":"Q4571143$3731EBFE-69A9-4940-BDC2-287F1E5CB274","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571143"}}}}}