{"entities":{"Q6535576":{"pageid":14146719,"ns":120,"title":"Item:Q6535576","lastrevid":57576066,"modified":"2026-03-31T11:26:26Z","type":"item","id":"Q6535576","labels":{"en":{"language":"en","value":"Transition power abstractions for deep counterexample detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793114"}},"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":"Q6535576$F1EFBB49-FAC1-42EC-955A-783FF0FC8759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5c0054d65611088972adc02fc10e1c1f37421c3","datavalue":{"value":{"text":"Transition power abstractions for deep counterexample detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535576$E95F5649-8570-4EC3-9641-3A735FED9B73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"045da80f00566e638eb8583beb0160a9543fb6f3","datavalue":{"value":"1547.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535576$7B3BFB09-01A1-41E3-AF7A-F5F1C9546F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d96b88d822fb24042a79a4003eba5216494dc58f","datavalue":{"value":"10.1007/978-3-030-99524-9_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535576$0C63EFAD-CBBC-45B7-AFF7-6B71A46D0CA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0946a618bb46938edb68aaca49138b9212c6eb14","datavalue":{"value":{"entity-type":"item","numeric-id":784137,"id":"Q784137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$2772247B-9EB8-4EC4-ACE9-8B533684019F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$161938B9-0298-4447-8A60-4629C88AF675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$731CD36A-5740-416A-A090-3D160EC824F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$E38499F2-F01B-4EAB-9205-D0706D0D4318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535576$968C6CC1-7ADB-40BA-ADC2-4A0BDBD21691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535576$7D82CD29-44F0-4DB0-8A56-41272454D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535576$0CA23103-C7AC-4DB4-B541-A010A8355388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a322d69acd474aaecf3d9f25a047d57f130709e","datavalue":{"value":"7793114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535576$4A060402-9E31-44BD-BECE-DE81DA1FB4B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535576$26BD4F3D-7D15-4D2D-ABA8-A3AB91383448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535576$41CD1C74-0A4E-48DC-AB39-0A11BFBBF7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535576$608AC9D5-A5F7-4C16-B261-16CBDBAEC475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0ff38df9e3fb3f520ea2fedf29902e8b4ce41b9","datavalue":{"value":"model-based projection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535576$F910EE3C-1953-4B72-B98C-74975C05B2CD","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":"Q6535576$CECC0C3A-9093-467F-9A73-10D73290AB52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba741c9f53c1dbc41e9c57b146f0a97a7ba661cf","datavalue":{"value":{"entity-type":"item","numeric-id":5222945,"id":"Q5222945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$544100BF-41BC-4582-934F-BAE59B5B52F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e6a36dbf63d744606ed720e080bbbc56bbc4c2","datavalue":{"value":{"entity-type":"item","numeric-id":2233543,"id":"Q2233543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$C00CE917-1893-4514-83C2-35ACBBE23BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc25af5045c856aadb22057606de79dc70eaee2","datavalue":{"value":{"entity-type":"item","numeric-id":1703012,"id":"Q1703012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$24AB8EE4-6848-48B0-9C00-E2AAC98A0CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2ada01f2a5df2219780857a93a43f3585326f1","datavalue":{"value":{"entity-type":"item","numeric-id":6091330,"id":"Q6091330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$8E34EA8D-14F8-4259-B425-6ABBF67CE880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$1E153CF3-67E2-4B9E-B261-AE98459E8561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b76bde985ec3ae57c40c539753fd53cd1f3a854","datavalue":{"value":{"entity-type":"item","numeric-id":5458343,"id":"Q5458343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$2C732246-24F7-4CEA-993E-262E1ADCED15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$758135C2-3C1C-4E69-9C95-2B51B7E907F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$F816FFAA-F2BC-4ADE-A491-C358B19D9F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$CFF87D7A-6011-4F9F-884E-88C7691FBD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$EC0264A1-E201-4137-886C-9CC00CA5B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4f96e3374f503888e2094fc6f99dfeaa211ed5","datavalue":{"value":{"entity-type":"item","numeric-id":5039502,"id":"Q5039502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$035365F4-CA6D-4BB6-99D4-756097D03612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756c3933585e21da41d9cdf267eb8d6b923dfa0d","datavalue":{"value":{"entity-type":"item","numeric-id":715126,"id":"Q715126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$6B12496D-44E7-4CDC-A67E-8B7E1BCEBB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c9e38395117f774ba9617661fcca711bd13f7ff","datavalue":{"value":{"entity-type":"item","numeric-id":2818042,"id":"Q2818042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$56518765-6D0A-448E-B3E1-2FA8E9176668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$4CAF4327-BDB9-425F-B44D-63795C7996C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$82897B2E-992A-4640-B4F9-9DE01D1C2808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$A18D9535-37AD-4F01-8DBE-D45E27DDD9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8f67bc300df73505926b0d8f2a4a3dfc98c2a","datavalue":{"value":{"entity-type":"item","numeric-id":746774,"id":"Q746774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$A12141EB-135A-4879-9CD7-FE4DFECD397D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$6D14EA84-80D2-47ED-8C01-45441CDD2801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$056297D4-5A75-4EF1-9B29-F56C47DBDA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$4200B051-8436-44DA-B648-C5CE73664AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$4E70DD1E-C491-499B-A886-1CE3EE151EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$2F4910BD-A070-467A-A3A7-C8EC2E645E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$920CA2D9-265F-4BE0-A1C8-7E62A111D464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c70ca7f57dec1fd3ec22aa924f436369c54408","datavalue":{"value":{"entity-type":"item","numeric-id":5020662,"id":"Q5020662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535576$5ED2E946-F752-456F-9321-F95813EBE915","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76786349afbdce93bcd872ae78047a9edc6dd163","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2284c07903dd5a98756e5432414d8e7501322895","datavalue":{"value":{"amount":"+0.7268560528755188","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":"Q6535576$B74888D2-272C-4016-A80C-5E2315F0B91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15cf2be86523f68c880118887b593b0d05ccd043","datavalue":{"value":{"entity-type":"item","numeric-id":3617760,"id":"Q3617760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a58b9699acbde1c2e79547e496725b30d869eb","datavalue":{"value":{"amount":"+0.7213932275772095","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":"Q6535576$0B95768B-021F-4C1F-968B-17D03248ED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3a783aee1c99214f2ccffb145084ad2c4cd9da","datavalue":{"value":{"entity-type":"item","numeric-id":5305642,"id":"Q5305642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea653e4ed94760991a59427e5f882e10d63077a","datavalue":{"value":{"amount":"+0.7168179154396057","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":"Q6535576$E290C5F5-3239-4FED-98E1-60A45D663D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea2357a59d3fef807c6de13cd35f804d94e2822","datavalue":{"value":{"amount":"+0.7154515385627747","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":"Q6535576$CD307C1C-0534-4067-AAB3-678BD92DC6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416aa31874fdbcbbc91dd1ba1ee1c3e885716860","datavalue":{"value":{"amount":"+0.7086398601531982","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":"Q6535576$AA084066-3A84-4894-8893-1C7719F7F386","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":"Q6535576$D9CC39DC-969A-46A2-9A4D-0D2C0D890479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535576"}}}}}