{"entities":{"Q3012968":{"pageid":3023692,"ns":120,"title":"Item:Q3012968","lastrevid":51286325,"modified":"2026-01-17T14:47:49Z","type":"item","id":"Q3012968","labels":{"en":{"language":"en","value":"A random testing approach using pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918192"}},"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":"Q3012968$15511D53-607A-49DA-B49B-0DF1035B6033","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"731aec4a499570a69adce4c1d5f4617d109a8dc2","datavalue":{"value":{"text":"A Random Testing Approach Using Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012968$58F783BC-B590-4858-95E6-2EEF2016775A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2750b7297b451cbf2bc225b79fa8129b80247e36","datavalue":{"value":"1335.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$29AB4F32-0F71-46AA-B3F6-888450918C85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a449088eeb78563c6005bf930da8b7efb41808f4","datavalue":{"value":"10.1007/978-3-642-21768-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$9C3C5B55-0A1D-43BE-98C8-1E826BE84775","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ca8805a4d021fb264081ccec4d4ac637496a348","datavalue":{"value":{"entity-type":"item","numeric-id":3012967,"id":"Q3012967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$F96023CB-6C79-4BE4-861C-BCA9FC612154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$E68898D8-5438-456A-BC0A-B53348D3DABD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$994C1E32-E399-42AB-98EA-1922BC79D077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012968$0D50C652-9B2A-4C8D-BD9C-2A5555E049E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"933a6d81646f627722488ce71a665c463b5f316d","datavalue":{"value":"https://hal.inria.fr/hal-01088712/file/STVR-Hal.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012968$4BBACFB0-08D5-419A-BD3E-42752CFF0C99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$AB8B8D22-EAA7-4C27-9FA5-D5F4D337E021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$A9605EAA-C454-444D-A024-F53E8B65C53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$97FBF409-286C-40A4-A5F2-F2589D3453D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baf9c8a376507de26b13eca56133f16a6d38500e","datavalue":{"value":"5918192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$927E01BB-6844-4725-84D2-A61A33B3D8EC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"21a946359af54a03d5c0cab75f449aec5ab32a74","datavalue":{"value":{"entity-type":"item","numeric-id":54433,"id":"Q54433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$41584730-EDFC-42E8-B0DB-920419F86F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$8805F817-D6C3-4D4C-A7C6-05772385FBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdec09686b91fb6580d80fed3c05342d137f1e09","datavalue":{"value":{"entity-type":"item","numeric-id":21063,"id":"Q21063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$4DB78354-0F8E-492B-891A-5B059CE888C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0930e95d37bdd1b5905ab66f6feca8ba6215fcfe","datavalue":{"value":{"entity-type":"item","numeric-id":23312,"id":"Q23312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$673EBA63-1A73-4530-A9CA-35C7D3D65D7E","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":"Q3012968$91D47071-B479-47C5-8BB5-42E5CF4C183D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d83f3fdf0f3965e880bacd0b47af3d226659b6ac","datavalue":{"value":"W4392275196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012968$810C121B-4A60-4276-82DC-FFCADC9DBB2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10852d1309d4ebd47dc0363957624c530d45faa","datavalue":{"value":{"entity-type":"item","numeric-id":5716908,"id":"Q5716908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$36269D0A-7D8F-4F90-A49D-3BA5B2ACCE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c89590127f5397bc8ed4b7ff89515c95d81a4f7","datavalue":{"value":{"entity-type":"item","numeric-id":3506694,"id":"Q3506694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$79C49A41-14BF-482B-B801-7F7BE54A81C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38644232cf40567074381659b79021443a38a1f9","datavalue":{"value":{"entity-type":"item","numeric-id":5653549,"id":"Q5653549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$C8676971-E2A0-4F33-BCE5-E3A4BD74AA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b774afb237cbae43d095fa893f93be239233621","datavalue":{"value":{"entity-type":"item","numeric-id":3434650,"id":"Q3434650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$BEF7B9DD-694D-4C00-989F-67FD4674FFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50385beca5cb311b5906c575ba21823e33fc1253","datavalue":{"value":{"entity-type":"item","numeric-id":2764119,"id":"Q2764119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$57B45A8D-5108-4B0B-AC54-7F3F14788580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32d3408a91dafe39318f675c342b06c78f7b1640","datavalue":{"value":{"entity-type":"item","numeric-id":3036723,"id":"Q3036723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$6D16B50E-BB9B-48CF-9B95-03DA05BB54B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$FD2E34B1-22B3-4128-BCFD-B08EA0D18BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$7E337FB2-CD99-4424-BC2B-48F23C08260B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5115942cc28855556100c4d6d153f162f6355235","datavalue":{"value":{"entity-type":"item","numeric-id":1292294,"id":"Q1292294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$2844AE7A-C49F-40F0-BA3D-CD2F190CD628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5245443e3b174fb0ea67ac8c17bd37dfc3b7233d","datavalue":{"value":{"entity-type":"item","numeric-id":673672,"id":"Q673672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012968$171882DB-074F-47F7-B98A-1BC682270EC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0acb4de7d5c7ec31ba507838b2bf8c920c9eb1","datavalue":{"value":{"entity-type":"item","numeric-id":5902211,"id":"Q5902211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2677e88051257ba7876f1c55c240239279e42bd","datavalue":{"value":{"amount":"+0.7430484294891357","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":"Q3012968$B2C498F4-BF66-4345-A71C-9430510866F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ddf106cf66e0549fbf8a4ea5c67a87ecb31d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2947417,"id":"Q2947417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a2b07967616a1d4f5e141696268a1bd59fd35a","datavalue":{"value":{"amount":"+0.7217764854431152","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":"Q3012968$76B93AE4-01E9-4512-94C0-62DF3587EED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b498178dd92a8b6b1728ffda972462f74aabe0b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2b60161be90ee0f0aef43ab237a74751a93ee0","datavalue":{"value":{"amount":"+0.7091777324676514","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":"Q3012968$18B84863-A583-4B4C-8C34-CAE9ABB30B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e491e82f1872933322ce8cf45b881a1e9ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":3558292,"id":"Q3558292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e461d1c6fabba0ee171c91507100fbf440c3e06","datavalue":{"value":{"amount":"+0.7030966281890869","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":"Q3012968$E2CD8592-DAE3-4422-867C-046454EEBCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aa9e26cc4fa91ba8b7425cb1e0b6a5605d55e7","datavalue":{"value":{"entity-type":"item","numeric-id":5463943,"id":"Q5463943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a108a491e04bc36bd174d78a33da355cd3c870b","datavalue":{"value":{"amount":"+0.6948683261871338","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":"Q3012968$9680BA0E-1F34-4A7F-890A-8E10A5600739","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3012968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3012968"}}}}}