{"entities":{"Q599513":{"pageid":601289,"ns":120,"title":"Item:Q599513","lastrevid":78502745,"modified":"2026-05-06T11:44:58Z","type":"item","id":"Q599513","labels":{"en":{"language":"en","value":"On some decidability problems for HDOL systems with nonsingular Parikh matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3644502"}},"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":"Q599513$7F31C089-D7B4-4322-B92D-B48849C2A1E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9adfe74944b94d21b54c6216421c9c81475f4be","datavalue":{"value":{"text":"On some decidability problems for HDOL systems with nonsingular Parikh matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q599513$CB8350AB-2238-4C6E-864E-A7B04F04EC75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4929b75af43b626969d1c0c61fb2c7e96e5d80b4","datavalue":{"value":"0414.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599513$2B3FA941-ED37-4B2C-B313-BDA3C7E85981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0db79249e3f910977aacf01e5890cb9fac1eaf8","datavalue":{"value":"10.1016/0304-3975(79)90037-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599513$27DA2FE8-8913-43CD-B616-0418EB73CE6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f953f42059e2c954722b339f8a89040ede9a301a","datavalue":{"value":{"entity-type":"item","numeric-id":599512,"id":"Q599512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$9D423A80-732B-4544-BAB4-2DB4DB5EC644","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":"Q599513$338DE527-0F75-497F-8EB6-03128A03D34F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q599513$46EB5F24-15A8-4240-8C91-1EE67B7E2538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599513$EA57011C-DFBF-42D5-B16A-7EC921344294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599513$4449C19F-70AA-455A-89AB-AD8B6D9185FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35fe838c54d04eee1f5ef77616948448cafaf299","datavalue":{"value":"3644502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599513$245BA9C5-AC51-4F60-9E14-CA5B3D272C44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f8cd6501d29f3552a7fbfa473ae0b8770b5fe8","datavalue":{"value":"developmental systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q599513$CCB3B897-BF16-4B75-8174-C6EA0A422EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf21313dad77f7fe3bec6146f23971ab3ba5c32b","datavalue":{"value":"Hdol systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q599513$E27F8DD0-1B2A-4DAA-8615-2887EEDB412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e82b4ae8d8592e143afff7a3c488daa25b7b36","datavalue":{"value":"nonsingular Parikh matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q599513$5AEF09C9-5DED-409F-B57F-72D862B1E90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q599513$155E42CE-E073-4212-950C-94536E165FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28354a7db11f2673e79a0d2dcf9e8a6bb07e06b0","datavalue":{"value":"rational sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q599513$3E59C2D0-CAD8-4ED4-8B92-F0640DB7E2D8","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":"Q599513$FF277E25-21AC-4B91-9FFD-BFDE541F7CF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9557e4e9682fba789c3788768cce6e5e1697207a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(79)90037-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q599513$B9B74BDA-08F0-4A7A-8CC6-8459DFF70193","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f13303ab858a082fe1d0b5216eb37081792e75f4","datavalue":{"value":"W1973991503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q599513$553082F1-0D92-4FE0-83A2-EFCEF05725BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc6242df5bd050e3a1fe6ce4e51cea19b371c04","datavalue":{"value":{"entity-type":"item","numeric-id":4094921,"id":"Q4094921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$1A052F47-A1BF-427F-899B-A3BC40CE6DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815fc6b24798e079e16fd68995553334b209888d","datavalue":{"value":{"entity-type":"item","numeric-id":5521595,"id":"Q5521595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$BAE452C5-FB8E-43A2-9FDA-473B936CA557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdcbff4fa9b75c483ae8a8110b20c3b61b8f05a","datavalue":{"value":{"entity-type":"item","numeric-id":1249437,"id":"Q1249437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$A5FD802F-FC3B-4B22-B2FA-59D6753B69E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5550b7831b8e7289baaa82c5cca004bd46dd0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":4140409,"id":"Q4140409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$C4331333-5528-4386-83BC-E09F4F4FE4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f055738ed707200b917999eeef5811e75bc2c6","datavalue":{"value":{"entity-type":"item","numeric-id":1132640,"id":"Q1132640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$3ADA8DC3-817C-42B5-8D97-2C4A4F8835F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65b703ce61efe0734e12125fb7c5171f69435bd","datavalue":{"value":{"entity-type":"item","numeric-id":2651127,"id":"Q2651127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$F79F3579-E8F1-455F-987E-B29CBCE729E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$6EDCCA3A-E7EF-4817-9E40-A4E09173F71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9028ec6a4bf556ea3f9bd1f78853ff3edc3fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4098667,"id":"Q4098667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$09B78363-CBF1-4468-9109-55A9A41CDB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc979ce7142d13c4bd5ac36a6de3c61811c1695","datavalue":{"value":{"entity-type":"item","numeric-id":1237362,"id":"Q1237362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q599513$68AA1F13-0DAF-48B7-8EE7-D61ACBA3E903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some decidability problems for HDOL systems with nonsingular Parikh matrices","badges":[]}}}}}