{"entities":{"Q5060193":{"pageid":7089769,"ns":120,"title":"Item:Q5060193","lastrevid":91240646,"modified":"2026-06-04T22:38:08Z","type":"item","id":"Q5060193","labels":{"en":{"language":"en","value":"Geometric Model Checking of Continuous Space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7639915"}},"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":"Q5060193$6C7B43CC-1F08-4B78-B4D4-E247B88FFCEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03d62a4581b82e5d0405ae870e57546320c9c4aa","datavalue":{"value":{"text":"Geometric Model Checking of Continuous Space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5060193$2E754847-EDEB-47BD-8E51-BC182EBDD34D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$08CACC69-7D88-4BAE-84BD-A6A62B3D95C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c719f266f63852b3636f681da867f560f1d4b7f9","datavalue":{"value":{"entity-type":"item","numeric-id":618164,"id":"Q618164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$6D8F1BE6-BBDF-4303-BFC3-A1B9A20016F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$357070D0-0A75-4326-B3EE-C2A09AD84AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760e71b9c0e5ffad7dc066e767536a990b111cd","datavalue":{"value":{"entity-type":"item","numeric-id":1679790,"id":"Q1679790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$6783B1D3-FEA5-4250-AD4D-7C12F00E3E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$5EA5452B-CBED-429B-A641-199422CD92C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$E6EB6694-2B06-4626-92AC-AC892B050A79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$F67D20BE-4CC7-4574-92DA-94AA3664EB3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"338fb346cc2827bbd9b83792488672b42660d568","datavalue":{"value":{"time":"+2023-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5060193$5DD56609-88E1-468A-BC2A-002678E5775B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11e6e6b77912bbd6a4e6a1a4d3341e19f6c08671","datavalue":{"value":"https://arxiv.org/abs/2105.06194v5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5060193$06A2A8E5-439D-48EC-9206-09259718A14C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060193$FBD4FE57-98D7-4ECD-BB21-4D2294C621BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060193$2C0778FB-5FBF-4BEE-8B15-147D01B696AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c2d9dd49c532cb6a3c0bfd6bae732f45f1167a","datavalue":{"value":"7639915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060193$BD266D6D-ECD9-424D-825B-560D3A3D93DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a6ca6c1cb73b8213c0bc6c1f79eda7e4a1010b","datavalue":{"value":"simplicial complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060193$209F6568-4751-4148-8776-31EE3D332B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060193$201C6470-D6CE-4236-AF65-7EDAF951C72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060193$94AD0BE1-42CC-484E-8D79-DA9B31507955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cee997b59789f85389e5368906dadd5b2641bf0","datavalue":{"value":"geometric logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060193$FEF18449-BF97-4B4A-B8AE-E7BEE3DFB880","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36899856a4df07d9c76089ebdb4fa0184920bae5","datavalue":{"value":{"entity-type":"item","numeric-id":22684,"id":"Q22684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$DA5E42AB-7E98-42E1-98A8-15CD43A963D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$C2A64CEE-928D-4BC3-8D5A-EEE2706CCBC3","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":"Q5060193$2900ED4B-ACDA-4B90-9533-5BCCFEA4145C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42079ca61e79114b6235470ae74fbea75372ce3a","datavalue":{"value":"W3160215750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060193$6616EB1D-CD8D-4CB4-828B-C1C68A70878D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4dc15668776b5c8785acd4773247c72f6ebc630","datavalue":{"value":{"entity-type":"item","numeric-id":2075779,"id":"Q2075779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$EDC52F13-B7A0-440F-B035-D9B2C972BF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$8E9782CB-6175-4C27-B489-78B28EEA9EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6566ab4fb1df39d158cf9a3a6537808f84408e","datavalue":{"value":{"entity-type":"item","numeric-id":5060193,"id":"Q5060193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$EF32269F-C955-4045-BB51-A803DEBCB414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$FB402CCD-926E-44E1-859A-44778AC2DC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$AC2785A1-AD74-4CE1-97CB-30660591F999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34322d8c95819475484693a5aa99ad79ccba7a25","datavalue":{"value":{"entity-type":"item","numeric-id":3303915,"id":"Q3303915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$E6766163-754E-42F3-9BEC-92064C94EAA7","rank":"normal"},{"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":"Q5060193$30173667-BEEC-49F2-A585-911A80689D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbdc2dc5c918b63212f230aa25135c936131c2","datavalue":{"value":{"entity-type":"item","numeric-id":1706265,"id":"Q1706265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$B72792DA-2158-44F5-B04C-26B8FF4E298D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abb670ad6ea653e7075710cc9b506cfdb0fed98","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$B6EB14E9-5D95-4178-861E-7E2FE332617E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26425304b741acae078366158885d112acb78a0d","datavalue":{"value":{"entity-type":"item","numeric-id":3190163,"id":"Q3190163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$50B86C63-A7AE-431A-9D93-0C1BED3C61F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2315527516e095272996440c091bc300336658f","datavalue":{"value":{"entity-type":"item","numeric-id":2974786,"id":"Q2974786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$023D96C4-DCC0-4FBB-A328-6F018B584244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed4b47c7defb1f814b29f0460e41b3ae72e0642","datavalue":{"value":{"entity-type":"item","numeric-id":2822664,"id":"Q2822664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$8B863898-C662-4017-9189-9FE0B7BE414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3f412f999c826b944d459284151e702a8aa4fa","datavalue":{"value":{"entity-type":"item","numeric-id":6061671,"id":"Q6061671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$FF85A8BD-87EC-4BE7-8833-A696EE4BC4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$6D4B4652-DA63-403A-9171-8A7EC6544FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa5eeb98265a0275018f727459bcce3caf2f1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3295808,"id":"Q3295808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$5405D4BD-9948-4876-9290-A3716A8210DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$95E699B0-7A73-449C-9436-44B606D27521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f58403091e3cae0cd0ee861240b50ca299f4cef","datavalue":{"value":{"entity-type":"item","numeric-id":3523109,"id":"Q3523109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$8B6AB6C3-6CA8-4EC7-8A96-099CE6FC8634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$96C374F1-CCDD-4F71-8185-2A3B395EAD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f849f999020cf1d93a8e36faebbdd52a72fca4","datavalue":{"value":{"entity-type":"item","numeric-id":2988938,"id":"Q2988938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$915CCACF-6573-42B0-895E-400F98DCC929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e65813dc960d5a2c1ded419c7e25332dd2cc0a","datavalue":{"value":{"entity-type":"item","numeric-id":1371312,"id":"Q1371312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$6EE5E9D7-4815-458C-AE68-626C4E511462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"754bd0c9374d81fdf73ce3b0353e5f2f4e1ef12c","datavalue":{"value":{"entity-type":"item","numeric-id":5089239,"id":"Q5089239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$5B6384F7-D74C-44EE-A952-9AC5EEE301FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0138ff0f6a41017c69e35013901faedada110c","datavalue":{"value":{"entity-type":"item","numeric-id":3874954,"id":"Q3874954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$A3EE3DEE-AC1E-49AC-BF18-86CFE7BDC65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$529D52E8-CEFC-412A-A9EB-04C087EB15A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2fcf841f16c6afabb43c50ba7b206fa845a6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5028457,"id":"Q5028457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$DAD92F03-27CD-4250-A31F-AC73DF466127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3a5041dd94d72909960fc7018dd18b38f63298","datavalue":{"value":{"entity-type":"item","numeric-id":4553288,"id":"Q4553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$9A07A93E-F95A-404F-A83E-ABC25959CCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8a8793af4c14bbcf0b75f37c3935a925b97b35","datavalue":{"value":{"entity-type":"item","numeric-id":5458327,"id":"Q5458327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$91F4FF5D-4AC6-4443-AD9A-6705941FF410","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a741caea686f280564c7ecfc1d572458fef99ed1","datavalue":{"value":"10.46298/LMCS-18(4:7)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060193$162376F8-E928-4262-9575-68E6E5D01825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe1f87260f4871dc55149206a19a6c13a988e0b","datavalue":{"value":{"entity-type":"item","numeric-id":6535467,"id":"Q6535467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0d9668bc568233b4c47f25028d7333c6a86382","datavalue":{"value":{"amount":"+0.8026023507118225","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":"Q5060193$957AEC43-756F-4785-91F5-5E5260D9B16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a67d6607cd4dbc90bb5104aeac112cbcf7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2974786,"id":"Q2974786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6650d5e666d09f724b7116d94dedb7502cb95a5c","datavalue":{"value":{"amount":"+0.797631561756134","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":"Q5060193$29339A07-C081-4C8B-9DE4-9A5BCF56CA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022439bb4d1a36be1b407b93d66bb57302684c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2822664,"id":"Q2822664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeacb578d59645caea1b44bd5452cb1ae14b2c1f","datavalue":{"value":{"amount":"+0.7950690388679504","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":"Q5060193$1FA6111C-B9CB-4885-830A-D74D4DB814BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c55f5788b7bba3c5c76c6fdc172ec51d0e08cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4988650,"id":"Q4988650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75baf5d237e3acef1a368984a4b386a39da6a44b","datavalue":{"value":{"amount":"+0.7456574440002441","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":"Q5060193$86B6DF4F-E25A-4B03-96BC-4CFEFA1B1F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39057b169bbf97b71495efd6d2116cadb6c12632","datavalue":{"value":{"entity-type":"item","numeric-id":6163883,"id":"Q6163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509cb82ccde84cdaaf012033824f03af07dd46d4","datavalue":{"value":{"amount":"+0.7431821823120117","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":"Q5060193$B7C6B13D-1BB3-4C18-A17D-0F5558017619","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060193$5D477897-3FF6-43FB-9467-3401A051998E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Geometric Model Checking of Continuous Space","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Geometric_Model_Checking_of_Continuous_Space"}}}}}