{"entities":{"Q281287":{"pageid":283054,"ns":120,"title":"Item:Q281287","lastrevid":60664353,"modified":"2026-04-10T18:22:35Z","type":"item","id":"Q281287","labels":{"en":{"language":"en","value":"Computing invariants with transformers: experimental scalability and accuracy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578882"}},"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":"Q281287$709321CF-53C4-4777-BA73-D28B40ABD482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e00529866e13c96cd759855c9ae99cfbd95b517d","datavalue":{"value":{"text":"Computing invariants with transformers: experimental scalability and accuracy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q281287$FAFBDF65-93EC-4B73-9831-5AF1F1642F59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a418f2926f5702560c9040acfb623c19abdf23","datavalue":{"value":"1337.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$148A53A8-7876-4C74-B3E2-D0291A1A6717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4ab47318dd83d3609694d0dd1d1c937ddc008f","datavalue":{"value":{"entity-type":"item","numeric-id":281284,"id":"Q281284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$A1973037-FFA0-455F-BC16-51F6A1D24624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$1ABE8EB4-9405-4072-B5E3-D26CDEE42853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cfa2a443ae56023dc655207b3b454570c3ff4fe","datavalue":{"value":{"entity-type":"item","numeric-id":281286,"id":"Q281286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$455E1D45-236B-4EFD-A493-971D3649C01B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q281287$271FBAA8-8AB0-4ADA-B9EB-3DA57558B26D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$3A2F0085-5279-4AA8-95F0-1903D8879E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$9BA3EF82-E36B-49E8-97B0-4A93CF60353F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f445f35cd261a79e66b566aa1491590b7c668f57","datavalue":{"value":"6578882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$C41FE498-55E2-44FA-A53D-D0BF7711942C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$F4ACAE45-72BD-490F-9F81-5B447DBC28AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$C8625713-94AB-4E76-B52B-4A83652938FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$8E2A03C0-1CA7-4AFA-8C89-F33FF057B88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76b2d2f46d3f788d32bb628048c32cd08cce03b","datavalue":{"value":"linear relation analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$A4A1DEA2-8E6F-41CD-A021-3A62217B6D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdf66b73dab0b33f23736db1e181d5b77fdb497c","datavalue":{"value":"automatic invariant detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$F16B082E-E03C-4002-98EB-C876F20DDF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a4da572274ad55899bfb2fae87dc4ba0cbad2","datavalue":{"value":"loop invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$1D1542B0-8FB9-45DD-90A6-A1C98ADC4DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25c11cbb056cc55728b434c8db0ec58650d9040c","datavalue":{"value":"transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$FD323E02-CB5C-45F8-9C87-F3790972EAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c09e946233810b1fca92ac89457c740af81e41","datavalue":{"value":"benchmark","type":"string"},"datatype":"string"},"type":"statement","id":"Q281287$DA4F5D24-F7AA-4DF0-B387-24E814FF1908","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebadf487fe8810c26bc1aa5bfc931647722b293a","datavalue":{"value":"Q113317858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$795DBA1B-DF00-4728-A0E4-61AC4FFEE521","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff8d721b29de79a699d23cbb86d8119387ea8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":26931,"id":"Q26931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$FC28D225-9979-40F2-9F51-E2271433141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$75106DCD-1F06-40A9-948C-10E21A49D04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"622c79a7b558a5ced71614c20f3b3748697c8bb0","datavalue":{"value":{"entity-type":"item","numeric-id":26930,"id":"Q26930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$EB1DF916-4E8A-45C7-B5DF-894BCD1EAFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6fb9fa8ace8a07d2e7013da9c3160bad302ee051","datavalue":{"value":{"entity-type":"item","numeric-id":21820,"id":"Q21820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$3DE5FDE8-BF14-48A1-9C9B-860208289B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42326889d1190ba31d4d38e5f7ccee082e625c72","datavalue":{"value":{"entity-type":"item","numeric-id":25013,"id":"Q25013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$F4B9BCBB-9734-451A-B90A-2947553995AB","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":"Q281287$7C63788F-1C4B-4F68-AF52-5F8B863B0294","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f535f054b9191ef533647c9a0238816d801af69","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.08.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q281287$DA453ED3-13B2-471A-A549-DF27D8E7781D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40cb18231398eece3e919f3aa1b854fc82030864","datavalue":{"value":"W1971160750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$4B57954B-E885-4234-AA87-8326E03B22F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"333f870969a03a9ceca6d80ee5d60c44f3c33309","datavalue":{"value":{"entity-type":"item","numeric-id":2814096,"id":"Q2814096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$41AE8950-981C-4D7D-9C7A-778FD1735582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a39da4a57272edb02d6053b5209e8619838564d","datavalue":{"value":{"entity-type":"item","numeric-id":3613383,"id":"Q3613383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$3BEAD3F8-7ACB-43F6-A623-186C1C61BBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb5a33a746906b4654a91231f76e361a8274f232","datavalue":{"value":{"entity-type":"item","numeric-id":5170180,"id":"Q5170180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$25EA9BD6-1FA1-4327-BCE4-DB2F8FC8CBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddfc6e0b9c6155725f390ec2459f3b2c5d1362f","datavalue":{"value":{"entity-type":"item","numeric-id":2938083,"id":"Q2938083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$1B456D5F-A2C2-4EF4-B1FB-170C854C5DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2908564aeb85056d8ee6dee9801cdb9cfb7023","datavalue":{"value":{"entity-type":"item","numeric-id":5747896,"id":"Q5747896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$67F01420-07E7-4298-B8E5-51F418716E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2dc2d23ceb77efbe9aa166f4aa93ddad3c218f8","datavalue":{"value":{"entity-type":"item","numeric-id":4406681,"id":"Q4406681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q281287$CC786D96-4914-462B-9A09-36AD07C883A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64bfea44919979d7833b449c09563d870dfde474","datavalue":{"value":"10.1016/J.ENTCS.2014.08.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q281287$6E0CFF3A-CBED-4D90-805A-809FB3A48512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84d581349a6c946d7a9261cef7b562c8b4ffa4c","datavalue":{"value":{"entity-type":"item","numeric-id":5233249,"id":"Q5233249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8ca77937ef5530e3a6b7b0ed1f45b6f4d44515","datavalue":{"value":{"amount":"+0.8291017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q281287$8D65B828-139E-4B33-8CC2-736C1A4EB63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3474a8166e8399d38edcadb31cedce73479a761b","datavalue":{"value":{"entity-type":"item","numeric-id":2322316,"id":"Q2322316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8ca77937ef5530e3a6b7b0ed1f45b6f4d44515","datavalue":{"value":{"amount":"+0.8291017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q281287$6B872006-5CF0-4D16-A24B-C11542CF645B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cea1f3e04ee56582526c68bcb1959fd47a5b4f22","datavalue":{"value":{"entity-type":"item","numeric-id":2722048,"id":"Q2722048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e774e81090f1cf54aeab65dfe310ff15000bbf","datavalue":{"value":{"amount":"+0.8214694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q281287$3A82B1D3-299E-4D1E-B0B0-78CABFE0241D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64f097ff2f5c48daaae55323ae0d3305c1db980","datavalue":{"value":{"entity-type":"item","numeric-id":6485856,"id":"Q6485856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fea5972f7a3001267941e3ca46ae739d10ecf19","datavalue":{"value":{"amount":"+0.8152418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q281287$2109B280-25DF-44D0-BE8B-2FA82E938007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1b23bc6b21e615390d218bce5ec65e42827676","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9410abef4290ab4b004ae16d479171b64c8282","datavalue":{"value":{"amount":"+0.80563265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q281287$4EC042CD-A501-4A59-B2B5-DCB3022CB62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6110a6391a1a6ccfe2e6dc545804d085afd21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3770642,"id":"Q3770642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc709482f426ba7c192ac930c8da7d15c7c199ab","datavalue":{"value":{"amount":"+0.7962655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q281287$32CA0426-3D42-45F7-89AE-CFD102A6A26B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing invariants with transformers: experimental scalability and accuracy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_invariants_with_transformers:_experimental_scalability_and_accuracy"}}}}}