{"entities":{"Q5739015":{"pageid":7768567,"ns":120,"title":"Item:Q5739015","lastrevid":93002951,"modified":"2026-06-05T03:22:23Z","type":"item","id":"Q5739015","labels":{"en":{"language":"en","value":"Detecting useless transitions in pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725154"}},"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":"Q5739015$F7657782-274F-4FBC-A391-E0E6D55CBBED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96c447e24d32721e8399b45999222701e04569b0","datavalue":{"value":{"text":"Detecting Useless Transitions in Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739015$35395CE4-FB0A-4826-A783-7FD2A1198D35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcccc1bf70015c64bfb24de387f9853bfc598c63","datavalue":{"value":"1485.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739015$6D6A3C6F-AEFA-40E9-B5B0-5B6BA3B60248","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb15b5cde9795a7bf7cd754cd1b0c271f48dd4a3","datavalue":{"value":"10.1007/978-3-319-53733-7_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739015$A12E6BB2-4E6C-458D-A53A-89AC6184958A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d0d20005037b910b9ec17bb35b27ee1e1896df","datavalue":{"value":{"entity-type":"item","numeric-id":800099,"id":"Q800099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$2257F69F-2E56-4A04-98D6-A4A007426B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e70bf483fcdaa3c84636b57bc9d631cc6a5e45b4","datavalue":{"value":{"entity-type":"item","numeric-id":2042719,"id":"Q2042719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$CBC0EEDE-6C71-462C-BAE9-0CD7388C6CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf06c809e7ed9332f5078d5108c72db014563075","datavalue":{"value":{"entity-type":"item","numeric-id":2042720,"id":"Q2042720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$679DFC41-235F-48A6-B597-AD04F2B380A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16fab0c8b13362e5fd0e93318375c7db7d0c5d41","datavalue":{"value":{"entity-type":"item","numeric-id":2042721,"id":"Q2042721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$D6FD36A4-65D4-4A11-807B-BE23E0EE84D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$15F84A1B-EAB8-476D-9ED5-1ABDDE19BC3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$F67B3BF9-ACDF-4179-92D6-74A029821207","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739015$11E42AE7-13A5-44FC-AA61-F3CA92769A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739015$2F9A0BB9-0E3D-458E-BDD1-5C393E760906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7dd23f84298be4df9946733768a7b7495e4e6d","datavalue":{"value":"6725154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739015$32D8FDE5-FD08-48F2-8276-B674862C3C40","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":"Q5739015$7E96985D-70D7-4624-8553-C7D854F01875","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f74d19674f1e2a2ac3259000fff3a4b278f4a97","datavalue":{"value":"https://doi.org/10.1007/978-3-319-53733-7_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739015$DD185D0D-F052-4689-8649-4232DBA620CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5671ee114e4e62b5cfbc7d9be6aeb922f43095e3","datavalue":{"value":"W1498955885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739015$1C3583CF-F91F-4BEC-8E01-23697EE03724","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81f2c010e36f4e71cf8d025dcee6136c76c66b99","datavalue":{"value":{"entity-type":"item","numeric-id":4268872,"id":"Q4268872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$DF1F512F-DF9E-4DE2-9CAC-2942E4176452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$2C193A19-4783-49A9-B7E1-3014FB87B6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$872A12DE-5194-4583-ACD4-C439190E5D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3937da7c4f68748dbeb886cf8ab8244d102dc5","datavalue":{"value":{"entity-type":"item","numeric-id":1165026,"id":"Q1165026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$7D8739B8-A8F9-41A3-B69B-3A5868B81F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a1fae450384932a5e231aaa824c36ea8f1ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":5281765,"id":"Q5281765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$7581592E-0CB1-43A6-A522-080FBB996914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"551dd0e7d5392840fa888f8996e13322c8f71a4c","datavalue":{"value":{"entity-type":"item","numeric-id":5386261,"id":"Q5386261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$E3C30650-DD3E-4E63-B2E0-E771A7DB9D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a1d438e1e999c84950266e0e8f5cead25f48fb","datavalue":{"value":{"entity-type":"item","numeric-id":3108337,"id":"Q3108337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$52838752-BD30-4C6C-8419-944B7C19098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d487413cc800bbcb0813f08b754fec64c1130dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4371678,"id":"Q4371678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739015$E3C28791-2D3D-486E-81C4-A70636C15EEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60854b63f88006c18bb33bc1def2d65cb594dc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2042722,"id":"Q2042722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4e69fde884fb3d4d791ab326c363bb5b113024","datavalue":{"value":{"amount":"+1.0000009536743164","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":"Q5739015$6620A5BD-3448-46D3-BB09-BB5AF6C8B7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792d836748827368bc4e80aaa9a4d1b09390a982","datavalue":{"value":{"entity-type":"item","numeric-id":3201770,"id":"Q3201770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d776859453fcc9a4ba353d9b316357ff8234cbbd","datavalue":{"value":{"amount":"+0.728681743144989","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":"Q5739015$F0113A31-04AE-481A-A68C-8FDE6FF20B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3f0f1a201d309ae57d5430dd9c9573fdfaa6fe","datavalue":{"value":{"entity-type":"item","numeric-id":3141998,"id":"Q3141998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c6e1ca1b7147387c44721c0354d8d9e8e7408e","datavalue":{"value":{"amount":"+0.7232509851455688","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":"Q5739015$D6F3D949-333D-4E96-83D0-52FFBB842172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad2adeae28e1a6d0ae3d45a1cc0cc1a702bdb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028125,"id":"Q4028125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed97f10afecc4e83624c0ea7522732797141d2d","datavalue":{"value":{"amount":"+0.6939339637756348","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":"Q5739015$54836ABC-B8E3-4228-A681-AD9039E8935B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f6b69ceb362d852549f4be9191a80fcd6ab8a8","datavalue":{"value":{"entity-type":"item","numeric-id":1749148,"id":"Q1749148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed97f10afecc4e83624c0ea7522732797141d2d","datavalue":{"value":{"amount":"+0.6939339637756348","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":"Q5739015$8FAE84B7-FC0B-4FAE-B110-B9FB90398C09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detecting useless transitions in pushdown automata","badges":[]}}}}}