{"entities":{"Q6861675":{"pageid":20666674,"ns":120,"title":"Item:Q6861675","lastrevid":84249005,"modified":"2026-05-14T04:40:09Z","type":"item","id":"Q6861675","labels":{"en":{"language":"en","value":"State-freezing pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156717"}},"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":"Q6861675$8195293E-B897-4D34-98A6-30B74630821E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dea77375e76bd9d12796350a8050784027340a7","datavalue":{"value":{"text":"State-freezing pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6861675$A92B33F4-E60F-4B71-8F52-329AACEC1F7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f180c23b1c8fc64615da144ade01a8954e97c4fd","datavalue":{"value":"10.1007/978-3-032-02602-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861675$DA10699D-FCEA-47DB-B552-E8AD075E3AF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3d34816c1dbe170dc863d0f4b5d14681713b90","datavalue":{"value":{"entity-type":"item","numeric-id":442150,"id":"Q442150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$4D9E7369-1F76-490D-B01D-2E63EB06BB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43e5b44684a6cc8af75870784fb52a5ba3f9758e","datavalue":{"value":{"entity-type":"item","numeric-id":383363,"id":"Q383363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$9D7AE62D-F3DD-4B3D-874F-BC6EA85B5816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcea5ee4d0fbdd7edc9e58a085fd862f5085f881","datavalue":{"value":{"entity-type":"item","numeric-id":6666798,"id":"Q6666798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$719E32F6-324B-4047-9A76-7CF2D7F745C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6861675$E26102A3-BE25-467A-901D-0E8EF86A8E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861675$7EABA97B-61B7-4756-B24F-408580313B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"485c4be2c5cbce63254f47b985be6d96a5548d47","datavalue":{"value":"8156717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861675$EF8F2C73-3C3E-4260-BA21-C93460AF819D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$B67704E5-B527-401B-8F27-D2985CB750C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e694ebfbe21daf7c6abcfd49e5c0d8c25e11f352","datavalue":{"value":"deterministic counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$8138FE52-0958-46F2-B9D1-884A012E4CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac1286e3cc6415832195247a42d018c0e7ffa9e","datavalue":{"value":"quasi-acyclic state graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$D8DE951C-471D-42BA-895E-4B5633C0EE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"281ae1d682daf3836f3355f8d57c6c2cea57fb7e","datavalue":{"value":"state-freezing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$CD7CED30-DD3B-427C-B2CE-67DBE4B2E804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fc28b43754370a2756b5775e7cbb4272e5bc4d","datavalue":{"value":"computational capacity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$C8D080C4-070E-4AB2-9C0C-47271095BDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$42C14A83-C79D-4993-9966-BF0EF4E0C795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3400e4bac6bbc391bc740ec88c24476116b1969f","datavalue":{"value":"decidability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6861675$5788F957-37A3-407A-8B69-095CF4C72BF8","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":"Q6861675$3C125A08-0790-4748-9839-20D5A064F0B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f602dd9e2fa74e8404a98ed0a8e040ccee802e6","datavalue":{"value":{"entity-type":"item","numeric-id":5962066,"id":"Q5962066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$36DF0409-45E8-4974-9032-14D385540112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef3a453e2810337fd79892eb267152568ab55f31","datavalue":{"value":{"entity-type":"item","numeric-id":1656682,"id":"Q1656682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$76E2F1DA-4219-4B75-98DB-8B2C12C73120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0472dbb9460a41709f6cf9fbcdb326f4bea9d4d7","datavalue":{"value":{"entity-type":"item","numeric-id":5551469,"id":"Q5551469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$13356739-FC64-435E-812D-943307A969A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$20AD7660-46DE-41BA-9A9B-418B93DEAED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9164970ac8079b23f3401b96cb337e6626e45eb2","datavalue":{"value":{"entity-type":"item","numeric-id":2540268,"id":"Q2540268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$468D1109-5BF7-4F4C-AF34-68CA33B8A4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$CAF74D84-5673-4B81-AF22-E05F676D49F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e32b188f79770773e5ec540007b55ce17c1120","datavalue":{"value":{"entity-type":"item","numeric-id":1081309,"id":"Q1081309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$884FBB9D-BE11-41B3-9F59-77DAFF91CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4458a55e9284b2f7b0113fc1aea781ca403c668b","datavalue":{"value":{"entity-type":"item","numeric-id":1959660,"id":"Q1959660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$3B823A57-4B3B-4D57-89D2-6E131F9A4752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ea50d6001f3fb89c6d250c99adbdd6cf24b40d","datavalue":{"value":{"entity-type":"item","numeric-id":1757838,"id":"Q1757838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$D084B85C-BF0F-4343-B5E7-3B8A9E5C8160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a232c35b6a28e72750db12e94bfd63c2f641e370","datavalue":{"value":{"entity-type":"item","numeric-id":4601148,"id":"Q4601148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$BA2B98BA-0672-455B-8F12-A7B5C000E6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7f03e0bfff061db9847c399a80056bc6c3929","datavalue":{"value":{"entity-type":"item","numeric-id":3890112,"id":"Q3890112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$C0104BD4-AEEB-45DC-8504-3A819A4204DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$EE40E1E0-5DBE-4A07-8E62-15B36C8FF262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b811df360df6f454c918a6ddefd0f843638aa067","datavalue":{"value":{"entity-type":"item","numeric-id":4109594,"id":"Q4109594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$0ADE99C0-5BB2-41C7-AD08-FA12E6617FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"419b3e9fa8153eac8fba8a107ed5f84117fbc6e4","datavalue":{"value":{"entity-type":"item","numeric-id":3908465,"id":"Q3908465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861675$1DDA123C-16DE-47AF-AEF9-80F066BA8A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State-freezing pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State-freezing_pushdown_automata"}}}}}