{"entities":{"Q3137712":{"pageid":3148428,"ns":120,"title":"Item:Q3137712","lastrevid":47193805,"modified":"2025-12-31T23:29:07Z","type":"item","id":"Q3137712","labels":{"en":{"language":"en","value":"Deciding Properties of Nonregular Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 428580"}},"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":"Q3137712$7C7AD5B5-616D-4747-A52A-8795CFCFAA92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f6f503e68b8dc2fcce42b0d871a4eec4ca3c4d6","datavalue":{"value":{"text":"Deciding Properties of Nonregular Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3137712$2F4799B4-665F-40ED-8CE6-41301DF3D218","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab0527d8fe246190eb32b08ab0e79e6ce3ee824f","datavalue":{"value":"0789.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$A9049131-F2CA-4BC5-B1D6-96C6EF32037A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afee6ac61a154b1a80c18ad1a85f028b30c2f915","datavalue":{"value":"10.1137/0222054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$E52D7D93-38BC-4E3C-9F04-EF1D5349BD08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137712$250CBDB8-BAAB-4ABE-880E-18EC17182A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bd2d2d049053aed2d8cff9396f23cbc7b0543d3","datavalue":{"value":{"entity-type":"item","numeric-id":207395,"id":"Q207395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137712$CAA7F740-9B4C-4394-B6B3-4B7641509A1A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137712$55F9AF28-F6F0-4F1C-9214-41CA9FF122B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9ee486378a5fb0f84338329fe78e00d0957904b","datavalue":{"value":{"time":"+1993-10-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":"Q3137712$EA87F69B-63AE-45B6-B9E6-21EEB728E7AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$ABD72206-3599-403E-AE61-F7330BA6A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$404C9AA2-E555-4181-B3A4-97871A0FA804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$5B014EBE-8AAE-4097-856F-7EA5C2281011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$0E05133D-3D58-4032-BC53-C2154941F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$8ADB5B9C-67D0-41BA-8A5D-C552F5FB77DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2acd9b917680e12b1dce693241ee87ddbcec8a7","datavalue":{"value":"428580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$8D54558F-F9F9-4521-904D-5843D74A2C32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b1cd3c5362cc236c97209b947cfe69706f0b6f","datavalue":{"value":"extensions of propositional dynamic logic with nonregular programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137712$7069265A-5B7F-4D66-B6EF-A59B5A106CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98e11b5459011707ee35430fd75058adb15384bf","datavalue":{"value":"nonregular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137712$69B05368-FFE6-47B5-83ED-E02599E103B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137712$7B58E111-FCDE-48C1-A100-4EB725C1031A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd07ff139113a54e61851c30347b6a797ae75b6","datavalue":{"value":"deterministic stack machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137712$F06DB031-6A93-47F7-ACD7-9763F2C71656","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":"Q3137712$167977E9-9A0B-4753-8D3C-869EA2029011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bce60fc1f2a3a0476992ccbb4720643a29767bb","datavalue":{"value":"https://doi.org/10.1137/0222054","type":"string"},"datatype":"url"},"type":"statement","id":"Q3137712$E009BD51-AF39-43F4-A793-24395F2FA4DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4e2df112f7fe47174e7da73878f156cd43b63dc","datavalue":{"value":"W2115915222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137712$E77B1E44-F08F-4242-B185-EB3A9F1E9EBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b163ab72f2e737a8667b71e3015c47282ec9687a","datavalue":{"value":{"amount":"+0.8790725469589233","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":"Q3137712$B621F265-6CAF-4995-B698-4F2F1704D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a1ddb02559e815c7ce065349e8a1fb76313e45","datavalue":{"value":{"entity-type":"item","numeric-id":801901,"id":"Q801901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16849fed261e933be00ea64072e2819776cde13","datavalue":{"value":{"amount":"+0.8404075503349304","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":"Q3137712$E5CE5043-C0A2-4737-914F-19FAB6A4A5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3271bfc0f828bcb4dee05f30d2fdd9773c1f70b7","datavalue":{"value":{"amount":"+0.8383827209472656","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":"Q3137712$4C0E68AF-6669-4BEA-A4CA-447478B64034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3921d5daf8a863a4aa44f322fd0c82811c0e017a","datavalue":{"value":{"amount":"+0.8327905535697937","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":"Q3137712$D5E93C1A-0506-4EF5-A436-D7880B5BA4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fe49233b127130c388971a5621d42a322af9c6","datavalue":{"value":{"entity-type":"item","numeric-id":3330494,"id":"Q3330494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f58ab587bade388d1c0aac3c6663f63043ed30b","datavalue":{"value":{"amount":"+0.813231348991394","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":"Q3137712$3BF4E0E0-FE0C-4F60-834F-0DA7A6580EA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3137712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3137712"}}}}}