{"entities":{"Q3942945":{"pageid":5972850,"ns":120,"title":"Item:Q3942945","lastrevid":55063990,"modified":"2026-02-03T07:47:42Z","type":"item","id":"Q3942945","labels":{"en":{"language":"en","value":"Complexity classes and theories of finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3760145"}},"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":"Q3942945$88769723-299F-4164-9173-96E95C61F1BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c56497b3ecb04ec7b9ed0d33b8dc6d62decd46e","datavalue":{"value":{"text":"Complexity classes and theories of finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3942945$C7E65AA2-1702-4A1F-BC3E-5D84D42C2634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32dd43944fa56d29a2e02d7ef504146b1a951068","datavalue":{"value":"0484.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$A168CC7D-1B6B-4DA3-AD10-3E9E4C854DA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ddd28563dfac7b57c056844a9bc9c37297a4099","datavalue":{"value":"10.1007/BF01786976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$CD7C1ECE-243C-4907-848F-C886080584A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1b11c3328b9f582c348bf3689de48f0b5440cb3","datavalue":{"value":{"entity-type":"item","numeric-id":701494,"id":"Q701494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$7BC10F75-F0CE-4068-B099-1ED6A7BCEA9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$5B306108-B266-4AF7-AB48-123199116AF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3942945$975ADC4D-7C20-4BFA-8249-7AE26C7D2D99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$7DC67C28-283F-4501-B257-14B47BFEC1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$C0537B4D-5F2E-4EA3-978D-7B43FEDF9C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$84090A0A-8FA3-4784-8636-1FD6CDF3199D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$26E931D7-CFF2-4846-9D3A-58AEF5AEBF8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"343532f7a17c8ec3e012102d214eefff0f55f2e5","datavalue":{"value":"3760145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$5D61BD2E-963B-4607-8D4F-414DDEA87BC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902868972549dcf2bbab4d564f2a80886b48e88f","datavalue":{"value":"nondeterministic Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942945$38AFD606-6869-4C98-B3ED-611248A93279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e00b2cab7f029187a56da25833218bb12c0e26d","datavalue":{"value":"monadic existential second-order sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942945$D473972D-8C97-4E4A-9A92-FACB5C616AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a50e437bf28b7eae0f66fd3d95d3e42ae160b25","datavalue":{"value":"finite spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942945$BA1FAA89-1F29-4D88-9A64-446CD232832E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7b073087af40aed852d59b5b001ce02eed3a83b","datavalue":{"value":"language of addition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942945$A71F6AA7-D45F-4405-9EF9-26B13BBCDE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a191a2c004cd205e0f76d34081c1365c96b211","datavalue":{"value":"time complexity of a language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942945$7A8DF14C-DB25-4B51-9FBD-03BE636C598F","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":"Q3942945$59A8647C-139E-49AC-8D1C-278921481950","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7fcd40c080cbc0e48d70b907ffb6da45edf31","datavalue":{"value":{"entity-type":"item","numeric-id":3226749,"id":"Q3226749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$B563FA87-55B2-4AC1-8225-ADB61A99C1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$A1970AE3-1DD4-43B9-B7EB-2D60AC2CD083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$CDBDBA51-B0CA-4EE0-9F80-01FC8DFA0EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc43c30cb36c93faf5938e583d3f64b490e4f521","datavalue":{"value":{"entity-type":"item","numeric-id":1394124,"id":"Q1394124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$70520525-4A71-4F78-817E-B2F9FF66CC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$9CD05C2A-72F7-4DD3-A726-6A730D7DE888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$06595F63-67A3-4876-A928-55EBB307EBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$F022B6C4-3ADD-4C64-8F19-D9476AF04D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fec6e175e6b5afb296e0379add32effab9009c","datavalue":{"value":{"entity-type":"item","numeric-id":4078009,"id":"Q4078009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$36C1B93F-7C37-47D7-8967-609C1046FCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$CAF1C713-8992-4D86-BB7E-0687724D221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7402dc5bdf53dcf826b894508745d7a339429a41","datavalue":{"value":{"entity-type":"item","numeric-id":4775859,"id":"Q4775859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$496FA0B6-7DD5-4346-8D72-233CDDD9A3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e229cfc1bea60629bae895118febbd2de39f77","datavalue":{"value":{"entity-type":"item","numeric-id":3870879,"id":"Q3870879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$7CC1CB05-EA2D-4FCC-B77D-3627E8EA0031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73c5a57025b45f10348ef04248f115c0e52aa16","datavalue":{"value":{"entity-type":"item","numeric-id":4739895,"id":"Q4739895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$D01041AF-F6F8-4D57-8521-AB3B1BE2113A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2146e12d70096585412fa50f364e0fbe43b7e82d","datavalue":{"value":{"entity-type":"item","numeric-id":3293402,"id":"Q3293402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$E34955B2-39A6-406D-B186-BE21D4D6D21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942945$2629D907-E555-48FD-A7CE-7BB5C0E1693A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87cb8941072bc33843d148ffef8df0d81480f7d2","datavalue":{"value":"https://doi.org/10.1007/bf01786976","type":"string"},"datatype":"url"},"type":"statement","id":"Q3942945$645FA37C-BFE6-41F5-B62D-B3855F34E679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8563445124e904cc312196fec92df6927d7da517","datavalue":{"value":"W2004663163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942945$D93AA17D-2709-4D63-9919-60A4E00EEF46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3942945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3942945"}}}}}