{"entities":{"Q7323675":{"pageid":31355248,"ns":120,"title":"Item:Q7323675","lastrevid":105121930,"modified":"2026-09-17T13:18:25Z","type":"item","id":"Q7323675","labels":{"en":{"language":"en","value":"Formally verifying a vertical cell decomposition algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249901"}},"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":"Q7323675$32139C5B-489A-4EEE-B085-1C8482276E67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff49330706b47abcec35b5fa6a941cb28dc3976a","datavalue":{"value":{"text":"Formally verifying a vertical cell decomposition algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323675$F209A689-4178-4AE5-9122-449B4F032470","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"678898db1ce569a0cee70525dce0afeabde74fe0","datavalue":{"value":"10.4230/LIPICS.ITP.2025.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323675$6A82D212-F222-45CC-9AC5-E53C1FC0C29D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7dd0a058a70d0c79c3596424a2206799a87b313","datavalue":{"value":{"entity-type":"item","numeric-id":703857,"id":"Q703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$2905A29D-C857-4CA5-8A58-A9176173E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e2fa6b6826950bfe62a9298967ef542de9d53d","datavalue":{"value":{"entity-type":"item","numeric-id":7323674,"id":"Q7323674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$FDB2EE7F-0A98-405F-8073-CB522989FD65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-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":"Q7323675$8084FEF8-3974-4DCA-8C31-704A73DF785F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323675$3E52C09B-C8CE-4EC5-8AFC-19CF993FBB8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65dda333299ad248c87d9235a3edaf0592d86897","datavalue":{"value":"8249901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323675$9E8F14D7-D2DF-429F-A45A-3AE8CCC3F6E6","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":"Q7323675$51752299-49BA-4DBF-906A-DFB8BE0AAE0D","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":"Q7323675$BB778C38-392F-4CFB-BACC-7CBD3B2D2137","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f24952a078e3100763f9c6bbc3f677243a5b3c","datavalue":{"value":{"entity-type":"item","numeric-id":2945622,"id":"Q2945622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$DAF44823-394B-4D93-A732-AAE044E401EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217f2a680869bd102d3b0aa566cd0b1019dbe072","datavalue":{"value":{"entity-type":"item","numeric-id":7030791,"id":"Q7030791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$7B497615-4F94-40C5-B46D-771CE9CEBE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"536ef4fa7c55701f92fab1c7f8904e1ef1daf75b","datavalue":{"value":{"entity-type":"item","numeric-id":448980,"id":"Q448980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$EE6C78DD-CBE6-4CC6-82F8-889ED4362876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff600c639285bb06593ca61942b0f485ac06878","datavalue":{"value":{"entity-type":"item","numeric-id":1202183,"id":"Q1202183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$C88CDBE1-3510-4B8D-B2DE-D988D3787128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$62DE1A39-C970-4946-B03A-42CC4F86B1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"982c4208d2c87fd937fe078b867b32a55f9ea8e3","datavalue":{"value":{"entity-type":"item","numeric-id":670696,"id":"Q670696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$529F772D-33D7-4F6A-9B11-FD6B022D8D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1e35e1d6126eec41b1ea07713b5304f3ba86b9","datavalue":{"value":{"entity-type":"item","numeric-id":4790670,"id":"Q4790670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$ECBAE67C-5119-40F0-BDBA-BC53926F1F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4492c78360a56fa115d2ef4f3289336f1389f7","datavalue":{"value":{"entity-type":"item","numeric-id":6109583,"id":"Q6109583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$31E9B048-99F5-4533-B02E-84F0F8529FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211102760602a060dfcc41ea8400fd2171964843","datavalue":{"value":{"entity-type":"item","numeric-id":6859990,"id":"Q6859990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323675$CC2C2A34-5723-4E34-9EBE-C8425F16C767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally verifying a vertical cell decomposition algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally_verifying_a_vertical_cell_decomposition_algorithm"}}}}}