{"entities":{"Q4172901":{"pageid":6202502,"ns":120,"title":"Item:Q4172901","lastrevid":28395044,"modified":"2024-03-05T13:33:59Z","type":"item","id":"Q4172901","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3607479"}},"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":"Q4172901$80175EA8-1E4F-4D00-92DF-8E93C68C35EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0470fbaf877e74d6a86b1830092fdba2f88663ed","datavalue":{"value":"0391.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172901$BB7A823D-E936-4473-AB2B-BC0EEA2709F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c07bc07c378c2cb607afeadb14a079858575bf","datavalue":{"value":{"entity-type":"item","numeric-id":3489417,"id":"Q3489417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4172901$6ECE7914-474E-49B2-AD75-FFDAC1A0D948","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4172901$16DFFFC1-33DE-499D-A8F0-CF72945E58DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172901$9E754E8C-6FC6-444A-8AF6-B38793CA6EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172901$B16FB0B6-07AA-40C5-B159-7A0371F5646A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad18e42dd8db4cd1f3fbb74b0ccfad9eab33a6fb","datavalue":{"value":"3607479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172901$ABCC0713-CAB5-4096-A833-D3E0972B53E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b79848c55c79d89246f4b2aea4612724991d0a","datavalue":{"value":"Coroutines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172901$ED9940AA-98F0-40C8-A86D-296A49497F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935925d58ef34e55389c37b8a3b0324e4ad21ed4","datavalue":{"value":"Proof Rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172901$6261F848-98DF-43AF-978B-84AEB6B07DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172901$795AF404-4E66-4625-99C5-91D34FB5CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6c376d39e3aadbabc239ec254f4d9e26b8c009","datavalue":{"value":"Block-Structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172901$C2FE3970-E21A-4068-AD3A-1C8A591A9B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1a3663619cb240c4eb082cca3a2501902f5fb03","datavalue":{"value":"Denotational Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172901$05CAF048-799D-4C07-8FC5-4B9D0C7C546E","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":"Q4172901$B8035B8C-0901-4B81-A53E-46C37898263E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4172901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4172901"}}}}}