{"entities":{"Q443731":{"pageid":445498,"ns":120,"title":"Item:Q443731","lastrevid":42478048,"modified":"2025-06-28T13:59:23Z","type":"item","id":"Q443731","labels":{"en":{"language":"en","value":"The size-cost of Boolean operations on constant height deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065027"}},"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":"Q443731$5E8DB7CA-7993-4FF0-8161-64EC161C5003","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9abb02a3c3fa86257e7ea0437511910a779128b7","datavalue":{"value":{"text":"The size-cost of Boolean operations on constant height deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q443731$EE9D8A3D-71B7-44B5-8D3E-F48B638ECB3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"538c12d7aff5e099ee9759a3ec6a0a7459fe37f7","datavalue":{"value":"1272.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443731$CC277141-2412-47BD-9216-E22375CC19D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d68cc0601e36010d3d9cf0a365a6be294be4b30","datavalue":{"value":{"entity-type":"item","numeric-id":443730,"id":"Q443730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$3636825A-755D-4A4A-B09D-D16C92E702B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3336a40cc821600c2cc57c5ef4dc532be5780cea","datavalue":{"value":{"entity-type":"item","numeric-id":442278,"id":"Q442278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$304B3628-8489-484E-B906-7DE16E074C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"962f5e7234e19331f0fd03a9286bbf1f2015e9dc","datavalue":{"value":{"entity-type":"item","numeric-id":243827,"id":"Q243827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$9158391F-5105-465E-A709-0F8EEF04B01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8b70581654407b68dcaf8a44c11e34c40bcbf1","datavalue":{"value":{"entity-type":"item","numeric-id":243828,"id":"Q243828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$0DB30038-663B-4DAA-B64C-8912C57C94CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$10EDD4A6-F843-4033-8DDC-A5E842C89D19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ebe7fa7a2c02a55022632020f273bc460922804","datavalue":{"value":{"time":"+2012-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q443731$F7BFACCE-667B-4304-AE9E-F00A0B32D989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443731$BF9E5048-4FEF-4704-9A27-9DBDCC442D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443731$B8E79416-8C8D-4ECC-BDED-1A75F1A00397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4115db4236b05f908b91e88a0c9ad4bc7aff597e","datavalue":{"value":"6065027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443731$A961ABAA-6899-4B07-81BF-2F5EF84C95F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q443731$41FFE379-99C6-4DF4-91DB-E52B7E442E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q443731$26EF71D4-4044-4867-AA8D-D11B5552EA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q443731$4327FF4D-B03A-4BEF-892D-D483584CF4C4","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":"Q443731$2CA93858-3794-4DC8-AF6E-C4EB70D8D834","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cce4610152c2f52ed6bc8891ce9d2f9f208c0db6","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.05.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q443731$25B881C7-CBCE-49FD-A024-CF678A3ACCA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb24e9023629ddb73d6559c64d2fdcaf2c83d065","datavalue":{"value":"W2177633274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443731$20486AD4-F9DC-48F0-B74E-7B297C184D7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdc1c059ddccdc607bb186ec3b0db43c984f471","datavalue":{"value":{"entity-type":"item","numeric-id":963066,"id":"Q963066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$2B061C7E-2C9C-43EE-B70D-9BBD57A14702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$04F67FD5-0DEC-434D-8C5C-F95F0ED12480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfc54e6aff8c95aa804578463c97592a97f101b","datavalue":{"value":{"entity-type":"item","numeric-id":5696955,"id":"Q5696955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$04F64FB0-8C41-45B4-9B22-D5425A6E725E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd892181c3e615e393cab5bfa821f8fa2f710cad","datavalue":{"value":{"entity-type":"item","numeric-id":1318694,"id":"Q1318694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$DC29D6E9-E3A6-4C00-ACAD-EFA906B4ECF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b059450b0835d26aa9cabe652b6682ddd4d24982","datavalue":{"value":{"entity-type":"item","numeric-id":1227704,"id":"Q1227704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$6BB760A4-8545-4201-9122-9F2779A8687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8a496e76b0a4a9b5886059cb43bc9865f08d20","datavalue":{"value":{"entity-type":"item","numeric-id":2271463,"id":"Q2271463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$EF9A77B9-54E4-4A4C-974B-05D35B18CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a17292b31f9e7bb114c8c51cbe3efc0774c8ad","datavalue":{"value":{"entity-type":"item","numeric-id":929298,"id":"Q929298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q443731$779497DA-6B95-4FFE-9AC0-DA5043C80990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc367b455b387580e0655386a33528d3c5ed4f75","datavalue":{"value":"10.1016/J.TCS.2012.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q443731$20681AE1-A6B6-41C8-900D-7296C67451D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5e64bb88685de70dfa6ae60cd48dbf55279eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5200083,"id":"Q5200083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$D7CC56B9-DFCF-4F38-B4CE-CEA8922F0E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361a8fc391898bc85fbac94a21e276f9dede4d28","datavalue":{"value":{"entity-type":"item","numeric-id":2403237,"id":"Q2403237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa568733e19d8d5336d5cc21b354a18bd908fb37","datavalue":{"value":{"amount":"+0.89924765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$68509A39-1D96-4A04-B87D-DAAD4B731796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6134535e3644f0976c4219153f27726896ac35b2","datavalue":{"value":{"entity-type":"item","numeric-id":4928476,"id":"Q4928476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99d96c60595a800a2084703d91e0f69dfc9bb71","datavalue":{"value":{"amount":"+0.8992476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$F757F975-CDD1-4B01-9D00-7C1BA1CDC34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41c6123b68f59d1f269e741e970b8b8966e0221","datavalue":{"value":{"entity-type":"item","numeric-id":2179342,"id":"Q2179342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef72954b023bf1243110474708582ee0beb8c4c5","datavalue":{"value":{"amount":"+0.89338595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$A025F2B9-0E7C-4889-B885-3731D9B69982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a26d35746da3d0cd20b67a616ee192c90cafa2","datavalue":{"value":{"entity-type":"item","numeric-id":6042073,"id":"Q6042073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef72954b023bf1243110474708582ee0beb8c4c5","datavalue":{"value":{"amount":"+0.89338595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$C0525177-BEEB-42F2-AC68-58818795C459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f73536ddea0519e157cf83410608e0b582be4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3589625,"id":"Q3589625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c474924ff64efabaf2896956200f35b0781b94","datavalue":{"value":{"amount":"+0.87955374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$34B8231A-8821-4934-B5B1-3E8701C0FDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f1f4cbd62cfef1c93fdef48fc320144ce2572b","datavalue":{"value":{"entity-type":"item","numeric-id":3503642,"id":"Q3503642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d003ec3277e34b47f24ced599d01cbc4339e9b0","datavalue":{"value":{"amount":"+0.8795537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$6032D9B7-18AC-44C6-A1CB-1C95ED5A4FAA","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":"1507e185e5ca1a86c3219d39e7270cbd20c21455","datavalue":{"value":{"amount":"+0.85884464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$B327E705-0222-464B-AF17-9DC7514FB0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcee8158f4634c368be67cb59e93bd842a6d497","datavalue":{"value":{"entity-type":"item","numeric-id":4709850,"id":"Q4709850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff72f1328675a5aa8ad3240201148f6c3ed5166a","datavalue":{"value":{"amount":"+0.8555248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$B7CA0157-DBB3-4882-ABF4-72E069D74463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9867386fbb9190106f235839114e7a4c89558bcc","datavalue":{"value":{"entity-type":"item","numeric-id":673087,"id":"Q673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae7c37393bbdb2d4bc3ae0bce8a1616760b6f57","datavalue":{"value":{"amount":"+0.85205615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q443731$3C1913CB-4422-45DF-B65C-3D3FB348EF12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:443731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:443731"}}}}}