{"entities":{"Q799385":{"pageid":801233,"ns":120,"title":"Item:Q799385","lastrevid":48747340,"modified":"2026-01-05T18:48:04Z","type":"item","id":"Q799385","labels":{"en":{"language":"en","value":"New families of non real time dpda's and their decidability results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874646"}},"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":"Q799385$3EB8DEEB-B3D9-4E28-BB5A-D1C59C91DF4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"966602957b46ac03f702f6c5d34d2afb5670908f","datavalue":{"value":{"text":"New families of non real time dpda's and their decidability results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799385$F663D0F1-C1F3-4989-8F13-9D4A24E38ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d2bf75cf7e2e9aef0941da4562d23aa7be72585","datavalue":{"value":"0548.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799385$899136BE-C717-4E88-ABFA-10A90D996EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a28f84531debba3ac59cbb037e7a6bc4edcb4d84","datavalue":{"value":"10.1016/0304-3975(84)90054-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799385$F1C3BA54-7CCF-458F-874E-C39620CEC4EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d90b88657f3872193a77f3119e9578f18075314","datavalue":{"value":{"entity-type":"item","numeric-id":799384,"id":"Q799384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$01DA05A6-F3FD-4384-9115-F676B09B0122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d00181034fa3d6dfc5eb074640eeb285e038f870","datavalue":{"value":{"entity-type":"item","numeric-id":598820,"id":"Q598820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$A6457D0B-921C-4140-A4EE-7125A5147A18","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":"Q799385$CF73F064-96A9-42C8-9809-164323A1069C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799385$1BFE5D87-2A06-4DC5-9B44-69B633742FF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799385$685057E6-9184-4F2E-AD35-45DCE12597A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799385$5132949F-C323-4372-A970-62A9711BD09E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f57e847d32200e963c0f6ea178d08f4e98cf6c07","datavalue":{"value":"3874646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799385$56941B97-1DF5-4464-A145-CFAAEE3132F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$4EBFD6F9-76E2-4C29-A4EC-7EF56992ADE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3021bd40b3adc6cb58649eb8f611b2e03342e9","datavalue":{"value":"subclass containment problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$5DB64F90-B2FA-4844-ABB1-609306A28137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$290A7593-E628-418F-91A1-F16B3CE9E8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0a8bd4a3d0666fd40d2bf47ab2abda73796156d","datavalue":{"value":"on-line regularity indication","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$354D38F2-5B9A-4628-BF59-AE4FB8C7CDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f52d3626ddf58f9b16bed71a6422572c9f7ec08","datavalue":{"value":"linearity test","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$8450FA45-96D7-48EB-A921-AD353FBF377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d85c121e6e6200a1d4667137fca957de2656737","datavalue":{"value":"polynomial time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$2425206A-D5E4-40D6-A1D1-575EA206B1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca30d7a10a336da2dabb6d7a087061bb0d6db77","datavalue":{"value":"real time strictness","type":"string"},"datatype":"string"},"type":"statement","id":"Q799385$1796998C-5DA7-4AE6-B6ED-852EBC3E3F11","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":"Q799385$32A28BD4-7778-497F-97BD-BA77CDEB409F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fffd6bb02c78a28d4f1698aca3c8477908f1711","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90054-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q799385$00C97D27-0A1F-46A9-B112-66467D48C645","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"812295af91729d3be7853726f7f969e39e6228c8","datavalue":{"value":"W2053101727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799385$461C5DA3-9F63-4B81-8807-EFC6679B4852","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f7af87c85d92c5774b1ac0ff37f2736cd97c1","datavalue":{"value":{"entity-type":"item","numeric-id":1239606,"id":"Q1239606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$C486D698-6D52-4B87-B6CE-4DDBE86EDDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc94892434143ca76461e4c7d3f378a2a29e97f","datavalue":{"value":{"entity-type":"item","numeric-id":4141220,"id":"Q4141220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$84D9C7C8-448A-4354-9331-3830BC18B818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2acbd1d334be1160848aed690fa9b51cad64ef0","datavalue":{"value":{"entity-type":"item","numeric-id":1252037,"id":"Q1252037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$7FA81A45-779D-4CAB-B6C2-2AE20F2372FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0711f0bf590c2207dac6faa5788ef613584cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":1132642,"id":"Q1132642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$CD47275E-6275-4092-AC9E-9067743C1960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b76e065585c6fa2e8fb50190ce6a06cebcc9bc8","datavalue":{"value":{"entity-type":"item","numeric-id":3048299,"id":"Q3048299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$301039AE-D667-4D42-A9BA-A477B3CFC899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b01750a75e79c75410483ba3b3182a7de6b8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4776849,"id":"Q4776849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$0952BF97-0491-40F2-BA94-7E2AA26C6A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff8b19dadebd5e3dfb4db8cb0e80dde8d233cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5684249,"id":"Q5684249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$4FEB0DEF-8F5A-444B-8D0E-F6F7E4A2822A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c0514e66cd471a92fa064dd5bb6cdadee1b293","datavalue":{"value":{"entity-type":"item","numeric-id":3923602,"id":"Q3923602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$074A550F-FAA1-4AA5-A8A3-2E9FB1766830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046d13ca3c686cc34dd6c0d199c9aaedcd365488","datavalue":{"value":{"entity-type":"item","numeric-id":3326867,"id":"Q3326867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$2C5A4998-3C23-4FE3-B586-BDCD1BA582FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$0E281168-D875-4417-8CBD-D0F184BEDABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"400ffaf2df518a23e2e517770d4a58e196dcc573","datavalue":{"value":{"entity-type":"item","numeric-id":3868790,"id":"Q3868790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$191282F4-98E3-462F-8D0F-08A9D493A28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df000af455f92229092d2f091c1587b6080cf496","datavalue":{"value":{"entity-type":"item","numeric-id":4174788,"id":"Q4174788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$E44836A6-DDA9-46EA-A09C-1593A91FF406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cabff82ef2f18b4b91c8578a0d81ca520f2e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3949982,"id":"Q3949982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$2A7C3B52-71E4-49EE-BE3D-5D9FDCF4BD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f655404f5019528c0ff6f0cb07a94b157182d6db","datavalue":{"value":{"entity-type":"item","numeric-id":1158757,"id":"Q1158757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$C60517D5-349B-4C01-B7A7-CDE155899A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c303ddbf6a6d3cdfdfc57aa889b80b87656bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3886866,"id":"Q3886866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$900FB101-84D1-4D2F-A143-226CB75AF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9d693ee9f84d5128fc7c86fda922f6bfcc20f5","datavalue":{"value":{"entity-type":"item","numeric-id":5609393,"id":"Q5609393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$3F80630E-336F-4C13-9656-D2D4AF41FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597cab6a01e7e515c86bb670e6c1b95d0011eb31","datavalue":{"value":{"entity-type":"item","numeric-id":5537615,"id":"Q5537615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$A5DD73D9-5808-4922-975B-8F395F4FFD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61cb8280fa36fe466f451510204017197a7e8db6","datavalue":{"value":{"entity-type":"item","numeric-id":1230509,"id":"Q1230509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$A8FA6517-37EE-4A42-A5AB-463C24B704FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bf75d5fa4365193506074c05cd6ee2b649a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3951577,"id":"Q3951577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$E0B8CD43-AA96-4EF6-AA93-0FD0DD9A307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6e6ab585a855fab7a27153f29da3cfb8f1e7c9","datavalue":{"value":{"entity-type":"item","numeric-id":4045649,"id":"Q4045649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$B1E69999-9A7B-487F-ADE9-FA883404BE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$F69DDC60-7648-445E-A797-6FA6905E1258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ef3dea0e266f78319fee7cbf7f7f4b7c1769f54","datavalue":{"value":{"entity-type":"item","numeric-id":3682403,"id":"Q3682403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$06426642-9D9F-41A0-8034-1BFE87A6306F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de35764df1385515e897afb65a533a0d4d563fb","datavalue":{"value":{"entity-type":"item","numeric-id":1251906,"id":"Q1251906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799385$DAA82945-C484-4D1B-B0B4-EA6EC7461377","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb8df54fc18090802245fc246f84d0acc5c73e7","datavalue":{"value":{"entity-type":"item","numeric-id":3777488,"id":"Q3777488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861357082f1dfa44ce69144c24c5e52c7f7a3ab1","datavalue":{"value":{"amount":"+0.78440922498703","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":"Q799385$108A1560-3946-4EC6-BFBD-DB34B3F58DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f93994764c5550e37a603465d2e209a11d145bf","datavalue":{"value":{"entity-type":"item","numeric-id":1894681,"id":"Q1894681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf1cd4eb6cdd9956101b5e66b4eacc26c078a55","datavalue":{"value":{"amount":"+0.7679840326309204","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":"Q799385$CCB9A9E8-B228-4991-9F51-40A3EC05C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83472b24202296424ee393ebe4c7e2e7b989496c","datavalue":{"value":{"entity-type":"item","numeric-id":1060563,"id":"Q1060563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33346f2d350ae09bb863ce58fb1a436a54d9b55","datavalue":{"value":{"amount":"+0.7654253840446472","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":"Q799385$9BA123EA-98AE-4255-BACE-E0BB1527015E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e0933bcff42ee2f9a266beb5c67870d22cb096","datavalue":{"value":{"entity-type":"item","numeric-id":4474205,"id":"Q4474205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f91539ea3b0393892c447455f77a0796d18d879","datavalue":{"value":{"amount":"+0.7629251480102539","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":"Q799385$68EE3610-D357-4712-8DEE-878F29E3C2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a176c20071b83164a332342eeb3d707e38af65","datavalue":{"value":{"entity-type":"item","numeric-id":799387,"id":"Q799387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc00d727d8e6c64c2c14c3fc890787cd1487599","datavalue":{"value":{"amount":"+0.7615751028060913","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":"Q799385$E0ACBE03-85C6-4171-811A-1D86B768D3CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:799385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:799385"}}}}}