{"entities":{"Q4190096":{"pageid":6219697,"ns":120,"title":"Item:Q4190096","lastrevid":28413421,"modified":"2024-03-05T13:40:24Z","type":"item","id":"Q4190096","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3628347"}},"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":"Q4190096$FF4D1A84-5ECA-4088-BF38-666635EC3E36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8eea7f229f19797c3ade3cb8461e7921e04b3dc","datavalue":{"value":"0404.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190096$F0E20023-456E-4272-9402-9D6F48D2DDE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190096$0CCF1C12-D808-4051-81C5-9A1C960114FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4190096$981B8658-4C66-40A3-A2BC-E1FD7F50443A","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":"Q4190096$7CDDABFE-32C8-49A0-A947-C1BC698A203D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190096$113937FA-2C36-4BF5-B559-7B5B60047B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190096$E3955D21-AE7D-4DA2-9285-C0A34F951986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d5d38d613ed269721b5df677cda41b5933aef48","datavalue":{"value":"3628347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4190096$AC28D7BA-DF51-4D94-83E7-03E9936E638A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1100e1d3a183a2710389caddcc197a9449b6387c","datavalue":{"value":"Modal Logic of Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190096$0139E71B-DEA2-4A9E-832D-B3F1AA6A8CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c166c77611aa2e2f400f589410ff7ac39e5564b0","datavalue":{"value":"Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4190096$B25F8803-43EA-48B0-A585-131A81E8FCA9","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":"Q4190096$707027F7-B05D-47C1-A7F7-BD9A4553D2B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4190096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4190096"}}}}}