{"entities":{"Q3925141":{"pageid":5955046,"ns":120,"title":"Item:Q3925141","lastrevid":55014022,"modified":"2026-02-02T20:01:44Z","type":"item","id":"Q3925141","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3738889"}},"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":"Q3925141$0A4F5A63-A651-4203-91BF-8247E9EEB086","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"990778a3f5b7cdebdd392f4c5f00d7491c0eb774","datavalue":{"value":"0471.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$EC534C27-3B54-4AFC-9AD3-00396E808F69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb3f116c104fd8501cd0b8f4b9f1940e06b14dad","datavalue":{"value":{"entity-type":"item","numeric-id":310163,"id":"Q310163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3925141$FF02EF38-2979-4E22-911D-F4DE855130AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3925141$ECA5B5F7-AFDE-4A10-AF7A-DE49D7F869FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf985ac530c97013023bde93040fbec3fc531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1225933,"id":"Q1225933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3925141$1C1359D7-1B02-44B3-A784-E8DDABFC761A","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":"Q3925141$4B515A7F-6124-4EA3-9168-A03A81DB6BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$2927BCEC-B5FB-44B1-B91E-B2C73EEADE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec639dabb19ee7efd8ad25e9cbf38528c68dd096","datavalue":{"value":"94-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$5A295664-F9A1-4CCC-A8F3-9EFDBE45E9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$75EE79D7-453F-4E59-9FEF-88E6FDE8684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$38730C0F-9DB5-420B-BA8F-5A558FA8DFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$C3BE99DF-2DB8-4A6E-8B8F-32AD97B02439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$A0A3427B-7870-40B6-AB9A-1BFFA670BF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$9BDBC9F7-85F4-41E1-8E6B-70C6C285762D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c578a29def48d0ce2a88c0f523a94cc51c09c5da","datavalue":{"value":"3738889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3925141$FDDBE92E-A992-44D5-8678-1C15C2A3DCFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc2200e6753c9189f7552cfccdd37b990254613","datavalue":{"value":"set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$D57A32DA-2F50-46E6-A873-7B8D873ABE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3534ce13a0a2607997f0d545d35641025b09aa48","datavalue":{"value":"map","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$0F111395-3CFB-49A8-8E2D-7DD613F801FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0222d02c0c106fe26365ba380548e1fb6e23c8a9","datavalue":{"value":"relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$2C3B31EC-2199-42E1-8E3F-628CE93B8632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d55dd22c47fd825c1b9f4ee367faf31219dec8a","datavalue":{"value":"context free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$0EA3B38D-E725-4C79-B71E-24BE1E7C253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$D4FE02EF-13BF-4A68-9130-17AD5099E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b737340a658db4117ab44a3cae85a83747ba45ca","datavalue":{"value":"formal language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$BE1EE98F-83B5-49F4-B107-150170CDE55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15d6d69f87398f23808b6d49b1183fc9ce42ae5","datavalue":{"value":"recursive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$71C0F587-BCF3-427E-AA8A-FB123DFDB755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de5ee188110cc9cce77a69aec179483c1d57a28d","datavalue":{"value":"counting trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$588B29FD-3910-4173-8605-94CE5BCDA60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$CA2F4531-6BB8-4B65-93A4-6EC680F12746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80edc0a5ea3b5e3d41dcff9779bc0e144fd2f6b9","datavalue":{"value":"switching circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$076A7E26-1349-469C-A5AB-0445CCC92EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$788F18FC-2C7A-44CF-B1A7-5279135D392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$62704E3E-4BE8-474A-97A3-D2305F381276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$25CFB944-DF5E-4AD4-A37C-2B13BDF23E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"173baea5d13c909d8101729dd97dcb810990cd29","datavalue":{"value":"reachability problem for automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3925141$75AAB175-636F-48AA-A049-8D4171FE695A","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":"Q3925141$31CC76BC-C624-47D4-93F9-29707F717C10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3925141","badges":[]}}}}}