{"entities":{"Q1205185":{"pageid":1215934,"ns":120,"title":"Item:Q1205185","lastrevid":66475815,"modified":"2026-04-12T10:19:30Z","type":"item","id":"Q1205185","labels":{"en":{"language":"en","value":"An algebraic verification of a mobile network"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 146990"}},"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":"Q1205185$B490123C-5F20-406A-9197-301F73D6FA39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d350aa1b6003e7099bc353039c45a5155eafc0fc","datavalue":{"value":{"text":"An algebraic verification of a mobile network","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1205185$F67BD597-748E-43CD-9C95-1CB8FC4CDF6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd80f26c710ff8938b3972ec560dc34f48d70e82","datavalue":{"value":"0782.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205185$AA9674E2-5D71-40D7-92F4-1CEC6FFDA9E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42ab8d9a4bd73d66cc30a6df0a1d8712b4b658ce","datavalue":{"value":"10.1007/BF01211473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205185$B658DA15-B5CA-4257-9F3C-52EB1D798A30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"766c4fc60e499a4fad430f278f67a65e53848b07","datavalue":{"value":{"entity-type":"item","numeric-id":1205184,"id":"Q1205184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$CA95B25F-0882-4191-AE66-CD5AD8642C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$CCC70C1B-6363-47F2-935E-BCE50212A069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$EA78DEAD-C29C-4C72-A515-1F81E02A1AD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1205185$92FEE954-9E5D-4A4E-9DEA-3D79ED17C015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205185$6FE09625-76FF-4A8A-8665-B2886358EE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205185$817288C4-3BDF-4282-912F-FBD05A890583","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f713e079d8276032cb637db6ff67e5d24707dd40","datavalue":{"value":"146990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205185$EF6AE8AD-9BD8-42FD-A81D-03818EAEB126","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e110c8f2c909e1c81159d88d32ebdd025c548f5","datavalue":{"value":"mobile networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205185$866511D9-1FC9-476F-B0AA-40E9A90F32BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aef837255fda4bb8d745fd16b6c6689f92f821c","datavalue":{"value":"algebraic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205185$DB42475B-8EB6-46ED-A319-FFAFA43180AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205185$3D8F1887-5E96-4818-A3A4-237312FAF829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205185$C464328F-98F1-4214-A2C7-7C04A7C783D7","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":"Q1205185$E5D7ED33-DB12-403D-8C35-CF40F6B58E87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15024ffffc09145a7c76b637f653895eb7568695","datavalue":{"value":{"entity-type":"item","numeric-id":1318284,"id":"Q1318284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$B6C5D2C4-4174-4231-AD76-DA255C3FC450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df9e0175ef496e5ebd6df7b84e14f26ed96e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999165,"id":"Q3999165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$4B019998-8001-4D09-A7C4-C4BC67ECDEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8636ac1d2a9f37f15d6d5d220d6ac5ccfb68c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3727367,"id":"Q3727367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$AB6322D1-BA74-4A38-97DE-D194EF0D5984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7b9ba8ecebb08b8938828cf64be549901cbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4028636,"id":"Q4028636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$0EA835A4-A170-4AE5-B914-C89075D5E73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$97AA1FCF-A4EE-4BBD-B240-FC6EED396C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6488fb725862b4c2b24eb655ee32753a59a64851","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$4BF74B7C-71D2-4B0D-ACB9-E0B28F7D3CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e8e338d9ed33100c62e1ce875a7d62929baa8b","datavalue":{"value":{"entity-type":"item","numeric-id":3765231,"id":"Q3765231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$D99D38F2-7C3F-404A-9762-6A8EC7F5D41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$6433F671-1DB3-4E34-A5D8-820DAC324C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$01144B53-12DC-4E56-904A-E1186C4A4765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$14C9339A-D437-4D41-A00D-3E64844EDD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205185$3E90A353-2E15-46F3-97BD-63EDA4B651F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6288ffd7bf90e9e73d11d5048a25635bc3a95e","datavalue":{"value":{"entity-type":"item","numeric-id":4412501,"id":"Q4412501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"739afa1aeb08f3a800a89802aef2276c5bf4852c","datavalue":{"value":{"amount":"+0.7942199110984802","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":"Q1205185$1688F2E7-0694-475E-9B94-511570ED8549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b60d701da8fc2d2b5b2c77022e991337043520a","datavalue":{"value":{"amount":"+0.7810171246528625","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":"Q1205185$C9BD5BA9-0881-468C-93A7-2D5B3AAD5508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30eddc05724919502240c671db713732fbdbaa12","datavalue":{"value":{"entity-type":"item","numeric-id":3634642,"id":"Q3634642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46a62c1a4cbd6163081d48ce681b21422dad396","datavalue":{"value":{"amount":"+0.7792811989784241","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":"Q1205185$C99352F4-583B-4621-88E4-51022EC8C755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3518961eacd1dd62db3b9b3f1205b3bdf43a3f3","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cedc18d89a6659e74c810572be71abb61eded9","datavalue":{"value":{"amount":"+0.7756033539772034","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":"Q1205185$1F9D44AF-ED07-46E1-8EE5-B0A85E34A4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9d4cd12326fce69266466ee5f9c48a8c3e7485","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a957178caea0d77598d5a8ff6be46c591210ad13","datavalue":{"value":{"amount":"+0.7710403203964233","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":"Q1205185$A6235187-711D-418E-8E7C-B59512020F42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic verification of a mobile network","badges":[]}}}}}