{"entities":{"Q5486049":{"pageid":7515609,"ns":120,"title":"Item:Q5486049","lastrevid":49909381,"modified":"2026-01-11T23:02:54Z","type":"item","id":"Q5486049","labels":{"en":{"language":"en","value":"Expressing and verifying temporal and structural properties of mobile agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5051641"}},"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":"Q5486049$79CC2474-045E-4F2E-ACD7-C5A742187A3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4d3060544bb9a1a4c1c04a3ac0e5f6134b10249","datavalue":{"value":"1097.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486049$56AE8D3B-E03A-4F8C-8437-B02485052D34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4d197b4fdb0e2bea73325927642730843ba1577","datavalue":{"value":{"entity-type":"item","numeric-id":2465423,"id":"Q2465423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486049$9DFB63FF-F6CF-4C32-A68C-9553237A9B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486049$D07982A9-E6DD-420E-B670-294EBFE71E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac39d54a58862f460f98e4b417487807a7e715b5","datavalue":{"value":{"entity-type":"item","numeric-id":2784629,"id":"Q2784629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5486049$E723E74D-3E40-417A-AB33-A35E64798480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7939b34d547994f9e0d859014ca3dd3153b5173f","datavalue":{"value":{"time":"+2006-09-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":"Q5486049$036A8B78-9F74-4AF3-AB0F-4AD11B6172E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486049$A44FE81C-9220-41F3-B3B6-A76861C9B63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486049$B80E4599-C1B1-41FC-BFEE-CF8C713DFA3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de453016901f4e488d3a65a101032d03503839ba","datavalue":{"value":"5051641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5486049$82C316CA-4926-49C5-992A-48A5F48E3A8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"202ec0cce08c3f56a859c4354d29b0773ae04fef","datavalue":{"value":"dynamic mobile agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486049$9D23712D-E96E-4AA4-B5A8-D5326DF5BBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3566f13eb6a57156f3a956eb57ea9151c3936dfd","datavalue":{"value":"Petri hypernets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486049$B3B97CBD-8C7C-4BC4-A666-9D8F05512333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486049$3EDB9EAA-78E1-43FB-9A4D-397D4E76AF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5486049$23BDFF9E-C22C-401D-AF61-B9966D24D5F1","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":"Q5486049$300FD481-3794-41BC-846B-B3ADFFCB5211","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"800f937291b6729bfd28f088517eb1a644473e6f","datavalue":{"value":{"entity-type":"item","numeric-id":5703993,"id":"Q5703993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8263565d06ef5b7a0333cefa20219c35e44f10a","datavalue":{"value":{"amount":"+0.7824115753173828","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":"Q5486049$416C2E9B-8621-4F02-AF2A-C8CBEAB02BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62b59294aad1c9c6f6822a771a956d4abc203753","datavalue":{"value":{"entity-type":"item","numeric-id":866088,"id":"Q866088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580f374ab1993ff4368ff64e5d11a40d61f00706","datavalue":{"value":{"amount":"+0.740852952003479","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":"Q5486049$EBAD1BB4-90B7-48C3-A782-2DB1EE45D7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15da2b04d2f3b2272e9a4022da8cfa9d5aff953","datavalue":{"value":{"entity-type":"item","numeric-id":4738174,"id":"Q4738174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cdc07c9ba01a656635688dcead2510c394db522","datavalue":{"value":{"amount":"+0.7405654191970825","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":"Q5486049$17318F72-DA3D-46ED-9049-423E206CBD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc25126f251f4b6a84501aa4f19ab7fcd0bb4eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2426108,"id":"Q2426108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631302e5bf97ccbebec9236e4138541465671664","datavalue":{"value":{"amount":"+0.7313109636306763","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":"Q5486049$79559914-C973-48B9-ACDE-A54F387D8562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea7ffdc85ecefa05a7baacca30052c1827d6f54","datavalue":{"value":{"entity-type":"item","numeric-id":2498917,"id":"Q2498917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa989ed8e960e88e34356e57ac0b60f8c3e3fe9","datavalue":{"value":{"amount":"+0.7190628051757812","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":"Q5486049$40A13172-D9C2-4E3B-A470-BDCE7A03C9D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5486049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5486049"}}}}}