{"entities":{"Q2163772":{"pageid":2174515,"ns":120,"title":"Item:Q2163772","lastrevid":71440998,"modified":"2026-04-13T22:17:17Z","type":"item","id":"Q2163772","labels":{"en":{"language":"en","value":"Using approximation for the verification of token-scaling models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570791"}},"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":"Q2163772$AF1CD288-92DC-4E63-A90A-BBB8E85FAB7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd5fdffeaf9dac38130d4672781b0a863a5ccf63","datavalue":{"value":{"text":"Using approximation for the verification of token-scaling models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163772$144AA933-5BC4-413E-8C74-4CA30C4AEB73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd002a521b2db15aba002f51347720ed1f6a140f","datavalue":{"value":"1499.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163772$B5438909-C806-4B6A-898A-01C27483F58B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2774ae325a808e59e7bdf02c2484f515eacd59bd","datavalue":{"value":"10.1007/978-3-662-65303-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163772$BBD7B8FD-48D0-4405-B7CD-B7711BF505BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3583aba60b34c0799d51c8182d5f00abf0f2b8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2032843,"id":"Q2032843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$1A439A35-BF47-403D-879A-616801093FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$71CCAAE1-E6E4-4162-8322-C4ADB6A3DD59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fd1acb8904e12f62d9f3ab24cc05cd2904bb26f","datavalue":{"value":{"time":"+2022-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163772$04C7A239-8743-4E5C-BB8E-EE1D6BDF282E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163772$F451CFDE-44A5-486C-9957-F6AC41172C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163772$E36A4A2C-DAE5-4B5A-8DED-8441C9E9464E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a1f8c7dd70ef8b6cf7f55948f9311fde4a0a869","datavalue":{"value":"7570791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163772$62F648FF-3925-4D37-B510-D861882AB58F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163772$E4DE1113-7E50-481B-9201-F68626CA78AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220c90ff868b9bbe54e333a97627456654c26eb5","datavalue":{"value":"under-approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163772$8EA3D81D-78B5-42F8-98CE-362A4893439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8732367dabeee85328fda4c5249e261ae9d50730","datavalue":{"value":"witness path","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163772$27D4B8B3-7F2F-479E-8F35-9E52181EB2B3","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":"Q2163772$D347567D-4408-416E-A681-C2A01D39E3B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"226f7c98b89c598f26f55319af3ccaad7ceb9598","datavalue":{"value":"https://doi.org/10.1007/978-3-662-65303-6_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163772$94C3528B-720D-4688-A5CA-70BFE9B28959","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c7a1e21f7950ebcb41cdd1821121272ea9b7f6f","datavalue":{"value":"W4225701800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163772$A0EBA63D-CC2A-457D-B236-DBA348BFA498","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a9c1423112fa7e1eef9f6aea5728c85ede2bea","datavalue":{"value":{"entity-type":"item","numeric-id":4745268,"id":"Q4745268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$C625B410-8568-4CC8-B648-8E15FC1F6A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a47326c58db62ac0ca4e2eb05316ea3eb30cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$8FD9397D-827D-4606-9561-1052BEF03C67","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":"Q2163772$26B2A013-3D9A-4352-81CB-DE26FEF1C780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$E98FDB06-8D58-492F-A6ED-347F5E61A792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4696e3f3dbd828a17abc60cb089f79b6534e78","datavalue":{"value":{"entity-type":"item","numeric-id":6184728,"id":"Q6184728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$5796834B-3591-49B4-9F6E-A305C60BCDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$42ACB1FF-742B-4DB9-9C33-5E88562C1360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31cc0cb9b99337d462076f7d9879b27131749a6b","datavalue":{"value":{"entity-type":"item","numeric-id":1972351,"id":"Q1972351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$B87F25A6-63ED-4EE7-B2A3-933501BFE952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86270f2d91bea84b2390c8ce6e127c2d21fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163772$4FEEC73C-D74C-4058-92FD-F03C9590C473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71aa8d47e20a5c14827abeda9746a093f211dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5500572,"id":"Q5500572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953b3e21ea41b9a59d6a5d35cb2ef01583aa3639","datavalue":{"value":{"amount":"+0.6955267190933228","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":"Q2163772$9FF87B57-CA57-46EA-A90F-FD8780B73CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6463d78d11a1208d30a334487f07a31b42ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55099a3200f3fa2603dd8480644b24d1bc179920","datavalue":{"value":{"amount":"+0.6859385371208191","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":"Q2163772$2996ADD0-1C06-424D-B514-672BEC3C49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febf2f9dab034db9ff9cd6c19c78c07dde88d191","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d9a5875c21fc77ed0a01704dec24f5a53b3c42","datavalue":{"value":{"amount":"+0.6772671341896057","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":"Q2163772$920B9427-432D-4998-BC05-0A19820B01B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5efbb65db2e2566c591f542f38f2e88a465a387","datavalue":{"value":{"amount":"+0.6765121817588806","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":"Q2163772$CB84725B-2F42-4A2C-9F3F-149E74A57960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5605b74046e4c3ae4a95f9077ed6a385e6eb932f","datavalue":{"value":{"entity-type":"item","numeric-id":2280185,"id":"Q2280185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18f98fd012ecd7ebf55c2b9938384c2ea8f6890","datavalue":{"value":{"amount":"+0.6755337715148926","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":"Q2163772$A8C2CA70-3074-46ED-B0ED-F79DF87A2002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using approximation for the verification of token-scaling models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_approximation_for_the_verification_of_token-scaling_models"}}}}}