{"entities":{"Q6967340":{"pageid":21307104,"ns":120,"title":"Item:Q6967340","lastrevid":84054287,"modified":"2026-05-08T22:52:30Z","type":"item","id":"Q6967340","labels":{"en":{"language":"en","value":"Compositional correctness and completeness for symbolic partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056626"}},"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":"Q6967340$6C1DCD80-7274-407B-B0BE-CE66C523A688","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaccdd18d006ffcb6a86afb44482411a0e0191f3","datavalue":{"value":{"text":"Compositional correctness and completeness for symbolic partial order reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967340$2E355946-83F3-41C2-A396-A6219A2552CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b7f37d8cc42b109f74551cd0044fb57f4377214","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967340$4449B792-258D-4FC6-AF03-A78DE2A074E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5682fb0ce84268bc67179c27c881bb5e514cddc5","datavalue":{"value":{"entity-type":"item","numeric-id":6605368,"id":"Q6605368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$50861398-494D-479F-969A-2CD30B301117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ef31cbc92f776557f02348c6b828e8656f054a","datavalue":{"value":{"entity-type":"item","numeric-id":2180530,"id":"Q2180530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$DE8E67C8-1DBD-45AE-A816-0A293D31536F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$A7417BD2-C436-4FA5-967D-9C3AF620294A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6967340$AA2A8696-33F4-4EA4-B040-9A17A354F3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967340$9E457263-B325-40ED-8977-3FC05A3248EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d8b80c076fa655f49d116a23ee8fd34856cf5e7","datavalue":{"value":"8056626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967340$4B166F6D-D484-4FCF-A92E-ACBCC9889514","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":"Q6967340$7E96F12F-1B78-47F6-A6BC-5B2239906DDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967340$A013471D-C9A1-4812-B173-63783AE2EF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967340$FD2C6650-65FA-4CE4-87A3-FBE9BC82612D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967340$F6A90007-822D-4434-9030-9A5463C7B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967340$08CD88F4-2B15-439F-819D-248D30E6A446","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":"Q6967340$57C11AF2-E2A6-4BAD-91A4-C97C660E4C0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b93eee614fd2df5a7bd0e9779f4833f20891d7","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$6DE51DB1-9205-4F09-8678-26AD8F28E550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01088c8e9db5b2ed7a87a5700aeb42dc392c6163","datavalue":{"value":{"entity-type":"item","numeric-id":1982639,"id":"Q1982639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$32476F6D-D38E-4988-8539-39C847FF8B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$EEF64A21-D91D-4B19-A536-72731C0A47DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$843BD2D3-7A6F-47EA-9093-6A91FE178601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$81A98061-F1DE-4200-9787-4DA6F4404345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$1913F617-B4AA-401A-8C6C-1AA6D436D084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$0B90F955-BAC6-4341-A3BB-FCAD88412E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$1784E55C-0986-4696-97DA-EFEB5DB43465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$FD97B3EC-E7AB-45D4-A37D-3DAB6A04890D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80f8dd118b5b17b20a55804069560896538ee46","datavalue":{"value":{"entity-type":"item","numeric-id":507361,"id":"Q507361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$1782A41D-6265-430C-AA64-F13FA3072A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22de5514f76232ebae1e6056974196aa707d8af","datavalue":{"value":{"entity-type":"item","numeric-id":5357723,"id":"Q5357723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$ECEDE6F7-CCBD-4F30-8B73-3CC6E72A3C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$390A9A94-0A47-40F4-9AF7-8F93E50E2D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbbe5bea17d231dfb2b4442a2e23c8512a0ac736","datavalue":{"value":{"entity-type":"item","numeric-id":2225118,"id":"Q2225118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$75598F66-3EB8-40CC-BFDB-8AE9C38DF11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d038ef42dda5d2e6f5333c278bf498c030a6211","datavalue":{"value":{"entity-type":"item","numeric-id":6829771,"id":"Q6829771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$EDE606F9-073F-47DB-A1F1-799B806C2F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7083e6f7b451f3150f8e9f91f4a3b0bd2210e8b","datavalue":{"value":{"entity-type":"item","numeric-id":777889,"id":"Q777889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967340$2804F5C9-A877-4073-82AB-BE282CB7C698","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional correctness and completeness for symbolic partial order reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_correctness_and_completeness_for_symbolic_partial_order_reduction"}}}}}