{"entities":{"Q453494":{"pageid":455261,"ns":120,"title":"Item:Q453494","lastrevid":51563450,"modified":"2026-01-18T19:24:59Z","type":"item","id":"Q453494","labels":{"en":{"language":"en","value":"Exploring structural symmetry automatically in symbolic trajectory evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087618"}},"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":"Q453494$2E6978AD-36AB-4A64-ACBE-17EAF469EB23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc7fa0f03fdd51147822e643a1eb7334dc07669a","datavalue":{"value":{"text":"Exploring structural symmetry automatically in symbolic trajectory evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453494$7843939E-8FC5-4D76-9A49-09BB06655845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79df0249d9811d6a8766a08ee1ea323b4289fa7f","datavalue":{"value":"1247.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453494$BA9D4B09-1202-42AD-A0B1-8330ED7BD789","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d7c4100404442680e9faf3f2ae6e537b0cd1cc1","datavalue":{"value":{"entity-type":"item","numeric-id":319638,"id":"Q319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$C6037876-9C35-4C51-9FC0-7FB94DE4D0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1caedec2f74947a2d17e2400cfb77f2b4f640d20","datavalue":{"value":{"entity-type":"item","numeric-id":364475,"id":"Q364475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$627B27CF-E174-42FC-832B-84EC16BFEE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d218414ffddfb04a1990e1b832c897f2ffe7479","datavalue":{"value":{"entity-type":"item","numeric-id":453493,"id":"Q453493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$A2D2985C-2937-4B04-9C04-CF8567A5A18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$21062E31-22E8-422C-81F1-EC70D05DE1C3","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":"Q453494$2D207F44-5E47-4451-AB28-271C99E5CA86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453494$7464AC25-264F-4910-A366-8BAAFFA6241B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453494$3ABBBB31-3578-4C14-8CBD-970AC8F0C5EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e360a96aebbdb09053e6e333e912ec6d59208d0","datavalue":{"value":"6087618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453494$51CC8360-F390-4A13-ABFF-EDC6EE4F7963","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q453494$D4B7A0A6-7970-4C70-9EC9-185043BDF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe6a4db7f6d4f320025a2c13e14a4633c9dceaf","datavalue":{"value":"symbolic trajectory evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q453494$9BF11E26-CFE1-4383-8F03-91EB3D2107F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q453494$909040FA-8C1D-4B07-B808-CC425593FE6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33280de7df3b0036beb2f773d6c63295d582e886","datavalue":{"value":{"entity-type":"item","numeric-id":55703,"id":"Q55703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$E2198630-870E-400F-9E03-0963B20C5EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$3DAC1B8E-D1C1-4073-A71C-68AA44C0DF2E","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":"Q453494$FACFEC76-8018-4E2C-AF5C-E85D0E638BB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d10e402a4a5c4ee01233d0c021b5d9390ba798b8","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0119-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q453494$3494CC52-98B3-428D-B576-FFE9E491C222","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16669ba942610a90e1a18239e873a09a1d2a2b6a","datavalue":{"value":"W2077936210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453494$F83B4EED-0A87-4E20-962B-450EADD36E32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7666caaf40930cce89faf4750669cdb861b569e","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$9339B119-BDAE-4A52-BCFC-E087B66B631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$185A1C96-9BA8-4E94-B3EF-B9E7F6278A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9275dab0b84f9e94977bb0d9f6f76af3a73bf3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5756739,"id":"Q5756739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453494$081DB8ED-4FC6-49FA-863E-EDD3DC0CEA02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c01e062a522fb5de44818e196cbdfc39914a710a","datavalue":{"value":"10.1007/S10703-011-0119-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453494$835C93BC-B955-4CAE-B057-CC891F172193","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c30df13502090e7e4176916e7cc8c67c5db3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5429332,"id":"Q5429332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12088e1fa888284c7769a7978d720dc424dc7cf","datavalue":{"value":{"amount":"+0.7929765582084656","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":"Q453494$209D6B2D-CD47-4225-8D91-5D42D0A959B0","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":"555be2bd58ee04d58066d7c57f83f14c863955ca","datavalue":{"value":{"amount":"+0.7783353328704834","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":"Q453494$849F87B9-4DEE-4782-B446-B96F1985A259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489f6f6a2e16bf2c70c81f5712f195aa8d890104","datavalue":{"value":{"entity-type":"item","numeric-id":5716898,"id":"Q5716898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d2f467799861e12e246a7a1c4e539e8a53986c","datavalue":{"value":{"amount":"+0.7722715139389038","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":"Q453494$25493519-79C0-45F7-B838-48D67D620E80","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":"f898207f440011e3040ce9e564f3c862ed4d57fa","datavalue":{"value":{"amount":"+0.7677861452102661","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":"Q453494$F6BBD1AB-D144-46A7-B414-9A170D6D4C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676640190ca182b5c1b2e31056b6ef15e626b49d","datavalue":{"value":{"entity-type":"item","numeric-id":613132,"id":"Q613132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dbfc9861a2f9cb6fdf05cafb91804892739ef7","datavalue":{"value":{"amount":"+0.7626454830169678","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":"Q453494$90C3368F-EA74-4BE7-9391-19A46667AB55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453494","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453494"}}}}}