{"entities":{"Q5151008":{"pageid":7180579,"ns":120,"title":"Item:Q5151008","lastrevid":94355249,"modified":"2026-06-05T06:35:52Z","type":"item","id":"Q5151008","labels":{"en":{"language":"en","value":"Efficient symmetry reduction and the use of state symmetries for symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7311257"}},"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":"Q5151008$8E6BD3E5-25BD-4F40-8362-BB32FA708E2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2816e2f4b90f9f00069753f504fe41096e0de55","datavalue":{"value":"1456.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151008$922A490E-4E46-40C3-8821-8FD0CAC1CD81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a311de73bccbaa2eef26e86ff12e8ee1b10c210","datavalue":{"value":{"entity-type":"item","numeric-id":4964713,"id":"Q4964713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5151008$2038E9DD-6A1E-40F0-BE9D-33E1557C43B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb6d0c59335c1f7f7c958651ce65d4dd55c412f","datavalue":{"value":{"time":"+2021-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5151008$18C2183B-7959-45A7-9118-C9899862857B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7926d41803143d051c6194383426146474362e08","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5151008$10041DE7-2A81-4763-89CF-B75F5EC7542B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151008$8CB4E4CF-0848-4D25-B03B-EE9DE047C604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"869aacebf5c7dd17f69afb8b91dc31aa23efacda","datavalue":{"value":"7311257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5151008$7B06C49F-455F-430D-922E-FBF252048653","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":"Q5151008$0936F74B-983E-436F-B3F5-EDF3F75C8C95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d363b663792e7f338fa28214e3a05cd3c77fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5703773,"id":"Q5703773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29cfca3c91058ac6950a55ead4a9f542e05fdf72","datavalue":{"value":{"amount":"+0.906616985797882","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":"Q5151008$0F519C14-55A2-427E-B176-A366AF0562F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67f770f0af9161a17d35e15d4ceec60edb2e09f","datavalue":{"value":{"entity-type":"item","numeric-id":5897069,"id":"Q5897069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1479b9460ba841bc591c70b6fe72dcc5a2c10813","datavalue":{"value":{"amount":"+0.8685615658760071","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":"Q5151008$4327856F-043A-4FDC-8B3B-7043F53B6B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a780136676f2f4abac533f4c4d0397cc6ec411","datavalue":{"value":{"entity-type":"item","numeric-id":4738464,"id":"Q4738464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70e6b83a06b5970ebf14a00edfa36cf2faf8611","datavalue":{"value":{"amount":"+0.8570752143859863","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":"Q5151008$05C409D2-533A-4D5F-9FCD-7988CDF7C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aff1ae28092cc20c98a0690b106ccbb607f9b70","datavalue":{"value":{"entity-type":"item","numeric-id":5716543,"id":"Q5716543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88626df71a7d3ef41205df1e20a24901bd0b364d","datavalue":{"value":{"amount":"+0.8559654951095581","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":"Q5151008$1CD30B7B-E165-4856-B366-0ED9850D4267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a309d0f4e867ead9bc2a1ab4474fe77e993b3198","datavalue":{"value":{"entity-type":"item","numeric-id":4551137,"id":"Q4551137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb414e2572984cc1d4f9cf01d51b9145a778669e","datavalue":{"value":{"amount":"+0.8532816767692566","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":"Q5151008$1963AE65-A648-4E0D-A6A8-A17F4A75D312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient symmetry reduction and the use of state symmetries for symbolic model checking","badges":[]}}}}}