{"entities":{"Q4247261":{"pageid":6276862,"ns":120,"title":"Item:Q4247261","lastrevid":108454391,"modified":"2026-11-06T13:25:22Z","type":"item","id":"Q4247261","labels":{"en":{"language":"en","value":"Descriptive complexity and model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302020"}},"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":"Q4247261$EFB44621-96C2-43F1-ABBF-A1F64F7F4C1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd4171866031ee11fdd21d6b6692cde27139c3d8","datavalue":{"value":"0945.03546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$86E6F25C-9EAF-49CD-A0CE-E31A4F83844E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fe4d6fc614e4dd4b8224cd6cfbd593d0027f05f","datavalue":{"value":{"time":"+1999-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247261$5AFEB6B3-474B-499A-A9F5-3997759525F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$C2F44FEB-91B3-4F3B-B873-16937EE44B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$B8C168C3-A275-4B51-829C-E4F539A59853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$4A3DC537-0B4D-4C41-983A-3AC5A4CCDBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$06A176D1-25FB-4E84-9D82-D36C0966ACC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$5D8B9A08-3661-4FB1-A58D-FD007EF618A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f682bba9fae0f70d093c38e354f710f9f5dac09f","datavalue":{"value":"1302020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$55798BC6-F431-446C-B59C-36650713E4A9","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":"Q4247261$2AB96516-6934-42A1-BD83-B09B9766014B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247261$3B922F01-4AB2-469F-8BF3-F6D35B6369B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d793374b5c2d54df1c6d8819a11050235aa60a0","datavalue":{"value":{"text":"Descriptive complexity and model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4247261$A47671FA-F879-4102-83D1-F4526D046982","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28ef265cc62dcf153155a79f5d4985cf48e75578","datavalue":{"value":"10.1007/978-3-540-49382-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247261$7DDC26CE-F5FB-47D3-A290-50C461E68A69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30f4b26c13d95109f6bde048a39777be075007fe","datavalue":{"value":"Introduction to the author's talk held at the conference. For the entire collection see [Zbl 0903.00078].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247261$47314D10-FCA1-4B07-AC28-417E8AECCD3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247261$6388AE6B-093E-4690-AAA1-54FDF09BCC44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descriptive complexity and model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Descriptive_complexity_and_model_checking"}}}}}