{"entities":{"Q1996426":{"pageid":2007168,"ns":120,"title":"Item:Q1996426","lastrevid":53946104,"modified":"2026-01-25T23:35:55Z","type":"item","id":"Q1996426","labels":{"en":{"language":"en","value":"Formal analysis of the compact position reporting algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317637"}},"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":"Q1996426$2079BE2C-8F1B-4D10-81F1-CB534440564C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b3f324120668088150f39d547fdba08c787f86a","datavalue":{"value":{"text":"Formal analysis of the compact position reporting algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996426$F6087421-BED3-4ED0-B73A-A77564EB83C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25107a44ed5afc3b66b688736cc563a12b9a3f9b","datavalue":{"value":"1458.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$3461EAA1-3544-48E9-9DF8-EB2B26926CD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$C390AB11-46D6-4E9D-9531-749A2228B236","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":"Q1996426$B3C7F58B-59D3-4680-8FB3-807F848387B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abf8c791dda646fcab93c7619a351c524ac0efaf","datavalue":{"value":{"time":"+2021-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996426$4408C9E3-ACE5-4738-8C65-179ACBF5E30B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$5E05E275-794F-476A-8716-902B0FB84FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a61c1214f17b12b67364674d8143dbdd872c34c1","datavalue":{"value":"65Y04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$460769F9-6985-48B7-9357-B2D0B1865255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$86CC85B6-04FC-4005-B599-40894FBBE19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$372BAF78-0636-4660-B933-4C13A9E86223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$DDA99788-18B1-4E84-BB03-788810BBDCA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83b2afe2080d0724c86b1581d77c670b1bf59e95","datavalue":{"value":"7317637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$2F8ED7C6-728B-454C-B5D5-F26B72927374","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996426$C5ED1909-7656-4A42-8AE9-CF75CD14AEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c222887752c440e5f0d998ec6cca7c1e59999ef","datavalue":{"value":"finite precision computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996426$364020DC-640C-42FB-AD1E-EE7210F391E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3293558830d33a7b6875e71e542dcfde689a7121","datavalue":{"value":"compact position reporting algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996426$B616ADC4-9E0C-47F2-8C0A-23504FF78CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59b6fbd93e932ad270b3f0bab8c6d74c6d46279","datavalue":{"value":"Frama-C","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996426$AF3AF5B3-0CE0-4068-A454-0CCB9F935C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996426$73F53FFB-0CF1-43EA-8912-BCE7DC70B802","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$870B0975-A5E5-420F-B2AA-5EBC6A32F6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$FBC79B43-5CAE-4AED-9701-CE7E3B13619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$0075962B-DA4E-4863-9BB7-83EE951BD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bac85f5f92b393f33b3a7d62467a1410e107d8be","datavalue":{"value":{"entity-type":"item","numeric-id":53741,"id":"Q53741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$F2A55999-4D3E-4268-9FE4-A04BB5350FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f3dd89cea99e36ca0370b5d16e0fd864711e2c","datavalue":{"value":{"entity-type":"item","numeric-id":17037,"id":"Q17037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$577CFE94-37A0-4C1E-B40B-B9B9FC9BD45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$DEE6338C-F29C-4C13-9B0E-C17E25589907","rank":"normal"},{"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":"Q1996426$30C1D0D7-E140-44E4-9274-CE253EBB95C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$CE0E3C9F-B9E4-449F-9468-5B584E156AE2","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":"Q1996426$FFCC63DF-EEDF-4AEC-AF20-7B525E195635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dbf510a7577e0bf8e9616a238bd4669f16f026d","datavalue":{"value":"https://doi.org/10.1007/s00165-019-00504-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996426$1A407EFA-7C9C-4010-A3F3-E5F7E042DB2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1f8aed55560282ae7ab964cb35e1f220d5702c2","datavalue":{"value":"W3005752483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$A3F47D15-96F0-47B6-840A-4D5FD985FD94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f49ba8e90a8c0c9af094f27d35976bf29d0fe8e","datavalue":{"value":{"entity-type":"item","numeric-id":2382030,"id":"Q2382030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$FAA8A38F-7A3D-4BBE-BDCA-A80DF15CDA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ecc4a9847b1757b816a66a2c8d99f5449bc756","datavalue":{"value":{"entity-type":"item","numeric-id":352952,"id":"Q352952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$3E5601FC-F42A-4FB4-95A1-A97D737F30C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b482c6db8c5f464e19abc785decdb94a930d517","datavalue":{"value":{"entity-type":"item","numeric-id":1949765,"id":"Q1949765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$A9502C54-1AEA-488C-879C-A6ACCE6D6889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$4203CEB8-B150-4050-A951-5D17DA7A9703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda516360752f06de61020226a14fa7cfc2fbf83","datavalue":{"value":{"entity-type":"item","numeric-id":2864404,"id":"Q2864404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$784587E0-FE0B-4CEF-BE82-E87B8FDE8358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380326a520504848d8aba3ecf7b841c3b2e637da","datavalue":{"value":{"entity-type":"item","numeric-id":5280635,"id":"Q5280635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$FAFB3172-1C13-4150-8AA0-FEAD63842AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0410914bfe194e14ab162760d09e45b8722d5b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1630022,"id":"Q1630022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$B4812893-FB2D-4F17-8AC6-BFB2E7B4C4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abe25c23c7294b52af126350df03ffdf3e84ea2","datavalue":{"value":{"entity-type":"item","numeric-id":3613375,"id":"Q3613375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$1B63C689-0C31-4434-904D-9288F671BF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79f794cb0b04265fbc6f7edbeaedf1dc142dec9","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$6D2362E8-440E-4FB6-9CB7-092CB6B8F4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6eb40f53a6a840ff4c22ca7d5bbe012d2de958","datavalue":{"value":{"entity-type":"item","numeric-id":3296349,"id":"Q3296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$6605B3AB-3209-4CC5-8749-BCD8CF0F0126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5027111ffe25ab3a84f70e5ff6eb2c97955d3fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2024357,"id":"Q2024357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996426$C48AD318-BB33-4561-A2CA-AEA174EBC556","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f60b45f6b24682605613893bd634191fc5688d9","datavalue":{"value":"10.1007/S00165-019-00504-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996426$6F5A7078-79C6-4902-A0C1-708A0495BB66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3f1dc43d4b2e6e8e589ac8ccc98047a760521f","datavalue":{"value":{"entity-type":"item","numeric-id":1630022,"id":"Q1630022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdc7d5db1e80c761fedaed9ac7a8dadb7f3018b","datavalue":{"value":{"amount":"+0.93883615732193","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":"Q1996426$4003BCB3-2BA7-4287-BA20-CD23CD1F8FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b2258eddbc375e026a0e0d2c626363b780469f","datavalue":{"value":{"entity-type":"item","numeric-id":2024357,"id":"Q2024357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2422977d53d093b80449b10a4f313cb3c070b3b9","datavalue":{"value":{"amount":"+0.9283738136291504","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":"Q1996426$BB122226-70F0-4EDC-8EA3-914A5F0FA4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da8f7325a563d20583682c539f6621514e7f598","datavalue":{"value":{"entity-type":"item","numeric-id":3612661,"id":"Q3612661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9815a16030b7cec7b2b4b92db9d7d08b75be4fe","datavalue":{"value":{"amount":"+0.7679390907287598","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":"Q1996426$62A7506A-C6CF-4226-96E5-3357D62556D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21a6cf38ead5bd319ef94545b4a6d35e78e43cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787249,"id":"Q4787249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c4d3a3589845ffcfc368ee4e9ef45dd44ef80ca","datavalue":{"value":{"amount":"+0.6900379061698914","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":"Q1996426$9AAF3273-3E4D-4B20-A767-F8966D0C9DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7d72f90a2952f969f6d6d19f61fbb49044bc49","datavalue":{"value":{"entity-type":"item","numeric-id":2754035,"id":"Q2754035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cbc88ebaeabbe384c0b0f8110d23cb7f1b758f","datavalue":{"value":{"amount":"+0.6788904666900635","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":"Q1996426$75F62EDB-A5EC-40D2-B776-F94D9B33FBE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996426"}}}}}