{"entities":{"Q2986779":{"pageid":2997503,"ns":120,"title":"Item:Q2986779","lastrevid":52804487,"modified":"2026-01-23T13:18:14Z","type":"item","id":"Q2986779","labels":{"en":{"language":"en","value":"Dense-timed pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718063"}},"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":"Q2986779$FBD7DBBD-E6DB-4CF4-B5CD-B4CCAD98750F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"745097a63fabdf17594e877aa3f8f51a96bfd949","datavalue":{"value":{"text":"Dense-Timed Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986779$8CF2B89D-99C2-4B8D-844C-92BEE12A3185","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ba086e3b68908959d803a5cf59640b2f33b669f","datavalue":{"value":"1360.68535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986779$7E6A5035-6B2B-40AC-975C-C25E288A2910","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"746eda745e0305de7070b9d8d7f70376d5ad2182","datavalue":{"value":"10.1109/LICS.2012.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986779$BEB80E70-F8A2-4858-9B11-22810A4DC549","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986779$9D98E291-0C18-4F8D-A079-DC08293274BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e10b88454bdc6eca4dc134abbba837513511dff9","datavalue":{"value":{"entity-type":"item","numeric-id":479842,"id":"Q479842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986779$FAA228CD-264E-4F53-B8E7-A4EA1628D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986779$EE2EAD49-3FB0-4841-9797-6DCEB1E86FC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986779$581B8855-DEBF-4B1C-8EF2-65F6ADB7FE66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986779$19C8B408-CC36-4D2C-9278-BCE0748C0174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986779$19D81B42-D6CA-414D-8130-F8661659748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986779$4673EFF4-1A4E-4FEB-8409-FA559637E574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d53267906a46974f7ae1d9ce3812af32f433320d","datavalue":{"value":"6718063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986779$A82269E8-A403-4E0F-9A65-01D0601E355C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986779$8F3A293F-C095-4EAB-8ABC-99C05B296A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986779$3F27ED3A-A774-4841-956F-50F40BA19E01","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":"Q2986779$4623B065-A6BF-4F41-A27F-1ABA61EE1FB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c033550ecc66321f647494c20397db57144c4631","datavalue":{"value":"https://doi.org/10.1109/lics.2012.15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986779$EEB543E6-D5DA-4119-BD02-3BE7773EBE16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a9426c7c2a07d3a22f141a1421ee4d7d3bef1d7","datavalue":{"value":"W1976426006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986779$87929005-B3BF-4D5F-B247-93FF8E23DB0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf5fa4d77cb35ff64470b60422b167033918931","datavalue":{"value":{"entity-type":"item","numeric-id":3194716,"id":"Q3194716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a69197fb305a36ae980086364dd19a9eebe0c3d","datavalue":{"value":{"amount":"+0.8543106317520142","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":"Q2986779$A75A18CE-C1D2-4B23-B6F2-39D272ECE73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8078b6e2afbf2a0d3b140f3f54f92f2658da4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b65f520a969b6ee2ad0200720b7df5205bd4a4","datavalue":{"value":{"amount":"+0.8440178036689758","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":"Q2986779$31D4BC59-4FC7-44D7-A01A-0385D0049D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0323ff955426c501d3a6a1d680c4ef55e83fcc1d","datavalue":{"value":{"entity-type":"item","numeric-id":4994711,"id":"Q4994711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a631ad1d1e1eb298cd782376c7530236840251","datavalue":{"value":{"amount":"+0.8398001194000244","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":"Q2986779$D65FD700-E7C7-4086-9C20-07A95E1B51E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fec18c4235af2a35cc605d0c7f8f5b7c5c04579","datavalue":{"value":{"entity-type":"item","numeric-id":2221811,"id":"Q2221811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ffaeb73cfb411d585e7e6721e01f40c2a8b36f","datavalue":{"value":{"amount":"+0.8374573588371277","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":"Q2986779$6A3F7F0F-8C6A-441A-B566-0E0677AA0E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52156270135c83ec51c7c0a248c1de7fe75d60d1","datavalue":{"value":{"entity-type":"item","numeric-id":5404901,"id":"Q5404901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a55364f7073bd889c6d95a82f1191224c25430de","datavalue":{"value":{"amount":"+0.8370739817619324","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":"Q2986779$CE23193B-93B4-41E0-B2B1-BB13307D17AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2986779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2986779"}}}}}