{"entities":{"Q3899522":{"pageid":5929427,"ns":120,"title":"Item:Q3899522","lastrevid":54888464,"modified":"2026-01-30T01:51:45Z","type":"item","id":"Q3899522","labels":{"en":{"language":"en","value":"Church-Rosser converters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3707780"}},"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":"Q3899522$D758B180-5537-4D5D-BDDD-14787BF6ABC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"402c7b2b406c646c98db974f2a6c4fab10e4b502","datavalue":{"value":{"text":"Church-Rosser converters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3899522$CDB523C7-FFE5-4AB3-B10C-71570425A788","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02dfa669f5cf2faac2c9b078f14e7d9dbf981864","datavalue":{"value":"0452.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899522$DB28BFE9-DADC-4F3C-B29E-BF6C6A20FD36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a7a6e34bb1db863cd4817e7d7c0d1eb47c0b4a","datavalue":{"value":"10.1007/BF01071208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899522$6B0B3879-0915-4D95-A90B-285014CC7BD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0098d753bb124012b1e6994becbf6b67e0f474f8","datavalue":{"value":{"entity-type":"item","numeric-id":1251889,"id":"Q1251889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$E2194F57-31C5-46D3-B52B-E910DF3A50AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab835ee823091d1ceba22c60aa80cb8715e52e75","datavalue":{"value":{"entity-type":"item","numeric-id":585662,"id":"Q585662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$97D09E91-62AB-481D-B262-F1F2CAF449B7","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":"Q3899522$3576CB00-0D6A-4C3C-BB22-8193E235A7AF","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":"Q3899522$3F2252D1-A11B-4E3F-8017-982A3AB8FAAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899522$62EDDCED-17B7-4DCA-BEFC-577BBB55C94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899522$C527974E-23A4-4FCF-BD17-17C901C9FC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac03985fde7bb1fb81d82476af5e344ab78a773b","datavalue":{"value":"3707780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899522$876864EA-06D3-40C4-A085-6603A3DCB8D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7026a3bfe79eab6fe4f23ec506b1779b2b83c19","datavalue":{"value":"nondeterministic discrete transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899522$CC775973-5DC6-494C-AD40-0FEA3AB7CE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899522$00D48F93-1D74-4C3E-9CE2-F671D186C49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899522$FE7AF5C2-2B0D-436C-8FFF-57AA80CD18FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07784dfc8fc1c139a08ab26df01a4e0f49449c21","datavalue":{"value":"Dijkstra's guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899522$F18549DA-9585-4733-B470-7425B5BD0EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899522$BE98D12B-B637-4FFD-9817-5CA6F79C48AE","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":"Q3899522$2256FE14-858B-4DEA-9DDF-77051E28552B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$643C6D73-D35C-4945-9C6A-7398B6512334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$92AF2F20-1124-43FA-9D07-8C8A76394F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7aaf7722886d9f40935d9243b5bd9dc530813b","datavalue":{"value":{"entity-type":"item","numeric-id":5660503,"id":"Q5660503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$FC4D0F9C-A1E2-4CF6-B9DF-F5664FD98218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$55208AEE-29EB-4BED-9466-0BC4D59E7BE0","rank":"normal"},{"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":"Q3899522$5B84D698-F082-43AF-9427-F63DAAA34078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd14ecb8d9b01fcf432d7dcc1ccb01a23ee02c8","datavalue":{"value":{"entity-type":"item","numeric-id":1241051,"id":"Q1241051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$9B52D88B-789A-4D42-8B60-1EFE73EB18F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee70b72dd30824e15ec99ad6ae6b60116a890bf","datavalue":{"value":{"entity-type":"item","numeric-id":4066643,"id":"Q4066643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$E870FA5A-F27A-45BC-9FFE-D3137D6CFF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770e441308c4600fe8444e54cb78fe4154f6962c","datavalue":{"value":{"entity-type":"item","numeric-id":1228362,"id":"Q1228362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899522$0641BE46-466A-42DD-B455-3861B11C56A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3899522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3899522"}}}}}