{"entities":{"Q1193872":{"pageid":1204621,"ns":120,"title":"Item:Q1193872","lastrevid":66825183,"modified":"2026-04-12T13:06:43Z","type":"item","id":"Q1193872","labels":{"en":{"language":"en","value":"Nivat's theorem for pushdown transducers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65310"}},"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":"Q1193872$102B0BDB-00E6-4324-AE12-FE33345EE431","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcc47c5d5a57f983e83c1f27353527bb435284fb","datavalue":{"value":{"text":"Nivat's theorem for pushdown transducers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193872$7A2BBA4E-05CF-4133-A921-0D522439BFD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"706c8e1cf269100f33a8d0956a26e4c2837689df","datavalue":{"value":"0769.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193872$004F3E0F-DD69-412C-8809-84D7FD0EDDFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b3d4d0bee4665d9e58ecff933fccd51f28dbfa3","datavalue":{"value":"10.1016/0304-3975(92)90077-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193872$19B3637A-0508-4A78-8E85-3C12D85E3296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef03b3805c8134d20f075ef7058d1e926e69a047","datavalue":{"value":{"entity-type":"item","numeric-id":596030,"id":"Q596030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$0ACABC3A-93AF-49AB-8363-0CDA5F40EBF4","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":"Q1193872$1D462BE6-74C3-4606-8668-8A7BE98537A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193872$3B41909C-53C7-4AF2-8483-67831AEA13DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193872$4868E869-C351-48DD-A104-42F19B389430","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12de2f3e48c61b01b91b1e9e000b7674f66cfc72","datavalue":{"value":"65310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193872$0348532B-AABE-490D-BE0A-36F2E3F776BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd1f11ba1b8fc77f18b5b025b5767e9f61bcb20","datavalue":{"value":"extended pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193872$CB91ED72-3711-44EE-8298-8F6367E25618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50df9190f5ecef4048985462f1c2e46537e32e0e","datavalue":{"value":"pushdown transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193872$A119CE54-895B-49AA-9A7D-618E90527FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd24d9f029b7684e5adad4f5ec5ce458963d7667","datavalue":{"value":"pushdown transition matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193872$E552E64C-9BD2-4207-9BC8-D9715D4587B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597192f1cdddf6d611b0c6f24841ee3042c8484e","datavalue":{"value":"Nivat's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193872$308061B0-7FC1-4ACE-963A-D419F5B768E7","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":"Q1193872$CC0BE4B5-025F-40B1-A01A-1CC4571C70E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12878362f539a948e5f6d6a0ae8a4527d07843b","datavalue":{"value":{"entity-type":"item","numeric-id":5661130,"id":"Q5661130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$30D4F88C-EE72-4A4D-A8A6-C4E3FCB0BC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$85F9B397-9F15-4A8B-8F06-5C51D3099079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$549D864B-B1FD-4D19-987D-42E7877C579E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a032c5a11e1760c7c53b695f8251d813eaca34e8","datavalue":{"value":{"entity-type":"item","numeric-id":1194315,"id":"Q1194315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$A7517225-46FE-4BC4-A66D-561D5E2B67F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a400bd87bf6a6ff978518d22bccfe9c5f8b77f","datavalue":{"value":{"entity-type":"item","numeric-id":3027187,"id":"Q3027187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$F873DBC8-EA70-419B-9FA7-389707A48CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$D6375C55-9A1A-4F60-A81C-B77F823E5DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b5391b34fd3628290910498d0ed858c593780","datavalue":{"value":{"entity-type":"item","numeric-id":2277856,"id":"Q2277856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$E65D29FE-D309-4B0C-97D2-18FA83413FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$C9A1997D-932C-4C9C-A38C-FD6D6EBFEE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4e77575053b5453eb99a0499116449101e3bca","datavalue":{"value":{"entity-type":"item","numeric-id":1124364,"id":"Q1124364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193872$BC11ED10-CABE-4A5E-9E71-2A8F3C072124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c41a0ad28e579acfbe5aad52e59d6bcd3098021","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90077-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193872$AC32259A-784C-43E8-8D6C-DE4983E68212","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c22bf515d7a3cf7b22fe601dba3b115da1fc97e","datavalue":{"value":"W2036725396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193872$4D5F86A0-ADE0-4850-A508-173055033527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9094c423713855af43c5df88159f1cd9836514","datavalue":{"value":{"entity-type":"item","numeric-id":1194315,"id":"Q1194315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4aa264a7d75e899053d34a4b1bf2e688350efeb","datavalue":{"value":{"amount":"+0.7790256142616272","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":"Q1193872$52B0F89F-3CCF-450A-932B-87CAB315C271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbacb60a492d4dbeeae1a1b279e9882990d0083c","datavalue":{"value":{"entity-type":"item","numeric-id":4020278,"id":"Q4020278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4aa264a7d75e899053d34a4b1bf2e688350efeb","datavalue":{"value":{"amount":"+0.7790256142616272","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":"Q1193872$345D8515-59F7-4E1F-955B-908642CCD04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4718e36b135aec138ad87c979f76ddb4995c1309","datavalue":{"value":{"entity-type":"item","numeric-id":5918384,"id":"Q5918384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a66e7dd8e2e6836487fe612107a7127ae9880bb","datavalue":{"value":{"amount":"+0.760336697101593","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":"Q1193872$EE3A8162-2A0E-4D88-8128-DBFEAAA166D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7244e86265bc450bde93e451e64dd7b99b8675","datavalue":{"value":{"entity-type":"item","numeric-id":5915557,"id":"Q5915557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef6a49c27f702da3ae77bd3f5a98b9297a888e6","datavalue":{"value":{"amount":"+0.7603364586830139","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":"Q1193872$9AFBEECC-E58C-4AA9-BADD-24E065616418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41b4c470bb287f2c25e0887568284fb1a737a2b","datavalue":{"value":{"entity-type":"item","numeric-id":4733412,"id":"Q4733412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1ac2a500a9411086a891641e6c6b450aa9281f","datavalue":{"value":{"amount":"+0.7592703104019165","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":"Q1193872$31962517-7353-4BEF-81A0-750B07571C90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nivat's theorem for pushdown transducers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nivat%27s_theorem_for_pushdown_transducers"}}}}}