{"entities":{"Q3964009":{"pageid":5993914,"ns":120,"title":"Item:Q3964009","lastrevid":55113715,"modified":"2026-02-03T19:31:56Z","type":"item","id":"Q3964009","labels":{"en":{"language":"en","value":"Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786121"}},"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":"Q3964009$FF979928-97F5-4BFD-B16E-CEFB91A6DD66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b74d9a2a0a3b2a8a12a6c2475e295dac80f52fdd","datavalue":{"value":{"text":"Algorithmic decidability of the Church-Rosser property in algebras of nondeterminate algorithms with closed logical conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3964009$9BB3A953-7D89-4633-83E6-3DAE4B0944B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e26317529a027f4f3cad4785463d0c6ef121867","datavalue":{"value":"0498.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$04FB7E79-6B39-4EAF-829D-1B294A2F2C5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76635f3fb14a948972c415d458a76fd2dda5c866","datavalue":{"value":"10.1007/BF01068977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$E676E704-F673-4CCE-A79F-8DAD795A5877","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ccded34e7d2ef166585919c94bb9528d48c963d","datavalue":{"value":{"entity-type":"item","numeric-id":3673083,"id":"Q3673083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964009$D792977C-0A3F-4A47-A3AD-ACC8F4F6B4D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964009$0A0685D2-5D49-4685-90E5-D326E661C439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3964009$77BDCD7A-89EB-474E-852A-DF4F83E9817E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$F5F6E670-9D97-405C-A782-BF9A2CD9A871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$6B5F46F6-DC83-4877-8D6A-F2F062BF4962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$80B76D17-096D-4234-B311-269C50B21948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$1816AD57-B0EB-4F71-9ACB-9D34E19839EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44e83ac50ec60d34ca5c462f2dba5662de89f852","datavalue":{"value":"3786121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$EE38C13E-0B4B-4B14-95AE-6467B0D27610","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5b2ea4dcfbce61d88312d69879e69333da7c5e","datavalue":{"value":"algorithmic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964009$30578E4D-79B6-4A74-836F-3BE06084234D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0177fbeabc21bbce2b6108fa2a94482305d5a3d2","datavalue":{"value":"nondeterminate regular schemas with closed logical conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964009$53C5B5B0-55EA-453C-852D-D43DA48DB8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310246b2e2a17d2093ef8b44723786f9b1cac1f2","datavalue":{"value":"algebra of operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964009$88A67441-E1D6-407B-8604-9BEDD46E5F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a8d444ab17cd226c69c30dec3b68c740a6eee1","datavalue":{"value":"algebra of conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964009$DEB12C6B-0DAF-4A14-8C35-1F65C07CEADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964009$41516D3E-B7E2-416B-87B1-9199D30776E2","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":"Q3964009$FE7B88F8-EA39-4E8F-937C-5C989A05B2C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964009$2484EC33-B594-4F5D-9467-012DD93405DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f398dd58969aefb2c5287033f95ef0ace27483ac","datavalue":{"value":"https://doi.org/10.1007/bf01068977","type":"string"},"datatype":"url"},"type":"statement","id":"Q3964009$FE4FB84C-AF62-4062-995A-7E8B3895C5BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8818ed0ee0fca42cba8ee2400fdb124950074b93","datavalue":{"value":"W2065174985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964009$10F5FA23-68D6-4B1F-8EA2-67052F4D0BDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3964009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3964009"}}}}}