{"entities":{"Q816210":{"pageid":818058,"ns":120,"title":"Item:Q816210","lastrevid":64551522,"modified":"2026-04-11T20:39:33Z","type":"item","id":"Q816210","labels":{"en":{"language":"en","value":"Combining symmetry reduction and under-approximation for symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007759"}},"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":"Q816210$92F05DCA-4400-4133-A2B6-3C8B647428E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d12c6a73fe3b99d8945e41150c9ec809f420341","datavalue":{"value":{"text":"Combining symmetry reduction and under-approximation for symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816210$ED7D9C41-34C7-473D-AF5D-1B566B16EFC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7927ddb288ec4987f201c029e5d18af06f19084","datavalue":{"value":"1085.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816210$03688132-DB10-4440-BE1A-A41B5B8B0FA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a361b6e508bcb9cda0f6ce95f4f5c258a1a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":816209,"id":"Q816209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$A7A9B3B2-5036-4AE7-9EAF-190FB1A0AC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$4FE0A5F8-5CE5-4E67-B2C0-69A8C1A80462","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$DF138199-7D30-4F8C-9DB0-AFD0F1783FD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a46ca8715888f9181d63a117c8c9aa412098d3","datavalue":{"value":{"time":"+2006-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816210$E8BD5626-BD70-4A53-AD82-C5822F9117F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816210$A155C4BD-8B14-4B50-807E-D2DEDDE2389C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f531d4d50488adacc8e8e4b513d0baa384765c2","datavalue":{"value":"5007759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816210$D2D7A1CF-12E7-4736-A4AB-D89C3042E5C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7f40314fbf84fac7d4dd7329f9ded95a0b46a0","datavalue":{"value":"symmetry reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q816210$D78AF6AC-9AE9-4106-930F-3A560067996D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220c90ff868b9bbe54e333a97627456654c26eb5","datavalue":{"value":"under-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q816210$04F0D7B9-7D28-4537-A0BA-2AB9EDF19927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q816210$47D760F6-73B1-4370-9BFC-7EBDD970D26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3fdd569d90a880f85ac628ebee8ee33b2a8485","datavalue":{"value":"hints","type":"string"},"datatype":"string"},"type":"statement","id":"Q816210$B41B739C-1167-41F0-BA33-0BA9CA9E1BC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$684BEC7B-0DC0-4430-B01C-75575B8831C0","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":"Q816210$60FAF6F0-C95F-4DEA-B7C6-8C4131293DEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a8d2d9fb1322358db5d32b02cdf409a1e32d197","datavalue":{"value":"https://doi.org/10.1007/s10703-005-2246-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q816210$E5AEB8A6-C28F-44B7-A119-2DC1E39A8F54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c8638c4038e59c531e6ed63bb07fb16302b1ebc","datavalue":{"value":"W2040904498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816210$D33B8A6E-3F62-4123-891A-829156E18D48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ecb8a103f63d32e54f44e8875faf11679ab820","datavalue":{"value":{"entity-type":"item","numeric-id":3832037,"id":"Q3832037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$221DB135-017B-4234-84CD-11C342853654","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":"Q816210$5007A045-DCBB-4733-87D5-BE8740B609B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$9B305D42-A888-4E3B-ABFB-805DAA6AA7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$F453A9A8-CD4D-4381-9665-17B9C96E551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$400C0F4D-A94F-4E83-883B-B04AE8DCACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$7C8DAF93-28BE-4373-A22E-DD43BCF26075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$6CF9F0CE-6FAC-4422-B8D5-C30D76E9A8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8beb81d7321b654467d2d86f641d805b3cc3d49c","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$D030A925-DBB4-447F-87CA-569C2DAA402D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ff31de5acfc333f6b8e63370dff56132983ada","datavalue":{"value":{"entity-type":"item","numeric-id":2754101,"id":"Q2754101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$8D045246-7C8C-4F74-9025-EE9F6E093801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$440AD235-B13E-45BF-9A5B-BAC6C469926D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816210$6F5BF2C4-F852-41AD-8487-9C0F6B7325B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0046e0389c6687d88c095747c47b16d27c23841d","datavalue":{"value":"10.1007/S10703-005-2246-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816210$2A6C40E2-BFCE-4D1F-B9E0-55AA375920AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9426f7c13f139cd07dad069cf78d754f5c3d92ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804888,"id":"Q4804888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50f35fb980f3ca500f1f5c5c8081aa58dfb0b05","datavalue":{"value":{"amount":"+0.986351490020752","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":"Q816210$3B121D7E-FF99-4E8C-908F-65A208C9D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60100f1a3fb27d799df07f736797f7c70bc32adc","datavalue":{"value":{"entity-type":"item","numeric-id":4494389,"id":"Q4494389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b18d15ba68d089d7207d3160e3d52387ef15c3","datavalue":{"value":{"amount":"+0.9863512516021729","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":"Q816210$2BEBB922-923A-478F-94F1-5951E0F0E608","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":"1349023d5955ff4d0a15e671c114fd9471217e56","datavalue":{"value":{"amount":"+0.8278700709342957","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":"Q816210$AEE88D8A-B469-4C76-8158-EC52FD90DD42","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":"c81bba906ab93434b27290f5bdeb501a862a064c","datavalue":{"value":{"amount":"+0.8135539889335632","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":"Q816210$40B909AB-69A3-4506-90C4-0A844BF4F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6c83ef57a042b2cbf6c6426c603ea0d66685c9","datavalue":{"value":{"entity-type":"item","numeric-id":5151008,"id":"Q5151008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4d60647b152ed3ec114c4f98d59af320298572","datavalue":{"value":{"amount":"+0.8131148219108582","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":"Q816210$AF816B44-0416-4BB4-BD71-5B8768520CF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining symmetry reduction and under-approximation for symbolic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_symmetry_reduction_and_under-approximation_for_symbolic_model_checking"}}}}}