{"entities":{"Q5875543":{"pageid":7905094,"ns":120,"title":"Item:Q5875543","lastrevid":40285241,"modified":"2025-02-22T00:44:37Z","type":"item","id":"Q5875543","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650219"}},"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":"Q5875543$B1BF900A-E8CE-4E43-A906-0B5A3A07DFA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff8a303ebc3572d959dd3aa68966491e3a754df1","datavalue":{"value":{"entity-type":"item","numeric-id":2065918,"id":"Q2065918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875543$CBB70656-4D58-4635-BD18-1C54D74F198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b649ac41c270dccb8d2c710d97ea2a08b9b1f33a","datavalue":{"value":{"entity-type":"item","numeric-id":340580,"id":"Q340580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875543$4CA1BE7B-395E-43CE-91AE-5AE0248EA341","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875543$E1ACEB6A-1D02-4D8B-BDD3-36AF7F0DEA90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875543$95208518-95F9-4D6A-8455-528EFB3E66A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca84c0a1de3e8c9074706ad5adbc0b1d28c30279","datavalue":{"value":"68Q27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875543$BDF0D303-25B6-4DAC-8579-45B0DED19AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875543$F96B0390-BF39-4D0E-A7B5-6703C63DBF2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6db991c47c1fc7c4119c48b6a672d0f812b0a5f","datavalue":{"value":"7650219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875543$965BF397-DCF8-43D8-8955-81EACBA083EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f51776dadcb1bfead92cdaa8c678dc729e342b","datavalue":{"value":"random graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875543$6C862ED7-C8B2-4882-A322-D7242273DA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90615953b2fa062eb7a7efd295f3bbb625831031","datavalue":{"value":"FO model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875543$4EEF41C3-113E-484E-894E-FB03F1C30704","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":"Q5875543$3FED3273-F79F-4983-837C-8C3AD7BE2A43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e3be8e86a759a62dec2396a1cb4879a80232f2","datavalue":{"value":"10.4230/LIPICS.IPEC.2019.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875543$78C71D81-2937-42C3-95E1-501C61C108BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875543","badges":[]}}}}}