{"entities":{"Q4187313":{"pageid":6216914,"ns":120,"title":"Item:Q4187313","lastrevid":28409076,"modified":"2024-03-05T13:39:04Z","type":"item","id":"Q4187313","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3624789"}},"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":"Q4187313$39F43399-B1B0-4BD5-9C1B-F183B73D9A19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f52225bc7c87b1b7d002a9de714ade30ae08b0f","datavalue":{"value":"0402.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$4BB4C39A-6C18-4FB1-9838-FB7B6C4C9350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb204512779649a2b7e626532f25e583bbf74a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1259593,"id":"Q1259593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4187313$A59F9A97-C5DD-457B-8CB7-65D60EAD3905","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4187313$E35274A8-E1C9-45E1-B391-46A046298A7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$967F2826-6DFF-47A0-80F6-057E49499D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$03DE6A75-F3BE-4DD2-BEA5-13F52CD128D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$11500822-EFEF-4A71-A111-5EA90B35A334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$AA0D9DC2-66FE-4763-931A-F6E6F1C9DBDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$A8987502-421A-49B8-9291-C4080C72477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$465FC01E-5D3F-47B2-8DA7-7239ED60FC1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30d566ef5a1886cc82c6a3dafaac45dc323d020a","datavalue":{"value":"3624789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187313$C7172D10-0EE4-44CE-831C-BEB5F3498C28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c477242c21b21291229427ac9a74b7487511435","datavalue":{"value":"Systems of Algorithmic Algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187313$F3779EEE-9A00-488C-A90E-35B7FC8081F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb14e29fe06cb96ba93f121503ba8be1619cb7d1","datavalue":{"value":"Formal Description of a Monadic Program Scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187313$0E55061A-9DB2-4CCB-99DA-6AC908CFBB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd847e969d817f995d1f8578a1ab7e0fa761434d","datavalue":{"value":"Recognizing the Identity of Regular Expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187313$97BF05B1-EC83-4C85-BDD7-EE807C10A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7250520e509f3175fb4557913a0ec02952f1d6d4","datavalue":{"value":"Decision Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187313$EF781576-E677-4F44-83BD-1958168249E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b38382a16f03033baddec8c7d584de097145aa","datavalue":{"value":"Monadic Second Order Theory of N Successor Functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187313$63E3CDE6-6372-4E6B-9336-AC539CA9ADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187313$4A610425-3A34-4FA9-B693-5A2679496F13","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":"Q4187313$8A689B70-E709-4C35-922F-FAF941FB4B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4187313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4187313"}}}}}