{"entities":{"Q3666249":{"pageid":5696155,"ns":120,"title":"Item:Q3666249","lastrevid":49921531,"modified":"2026-01-12T01:38:30Z","type":"item","id":"Q3666249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3819071"}},"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":"Q3666249$953ACED5-26A8-4531-A442-743D1A6E808A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d35fae3894ef71521ff69f7d0f00888cbf0dbfe","datavalue":{"value":"0517.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666249$703BC388-3003-4AF1-A299-24124C8EDD82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b92846e05a0c6152ce5e20d2de62f36e48ff42","datavalue":{"value":{"entity-type":"item","numeric-id":685426,"id":"Q685426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3666249$0FD484B0-8B14-4363-9086-0016CE2FCFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9007d07ab954fc61394bb80b532af63dfe5081","datavalue":{"value":{"entity-type":"item","numeric-id":595764,"id":"Q595764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3666249$264209B3-11B8-4512-9CB2-EBBA8B7A6D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3666249$38F43EF5-DDC7-4534-80F5-F9295ED55EF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666249$19DED3A3-7550-48D1-9E4F-23D7DAD3E09D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ee559bb9cace47afd5deb270ae93d7bebbbd8f7","datavalue":{"value":"3819071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3666249$A66FACA2-90A5-45D1-A936-3AB145B320AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d676093d25af2261e811e697691ead0c7c985ae0","datavalue":{"value":"linear transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666249$64CC2620-4F78-44AA-8587-5109010FA43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bab3ad54ae10b7ee1129313414d7502a56c7c0","datavalue":{"value":"free semiring module","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666249$5F2C48FC-5CD2-44B4-8F60-EA8CF7D04D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666249$858D7598-A85A-47BD-9AB3-CED05C7C2BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666249$E922B14B-6308-466D-9DC2-22566F886AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a532136d3a6509ca282d6fd7ed9852bcbffa702","datavalue":{"value":"iterated tensor product","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666249$D3335269-F219-4A8E-B6DB-7BD36F20107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3666249$3D7525A6-FE57-47CD-A060-B6DD26A4A88D","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":"Q3666249$5896C069-E064-4CA0-B4F4-0D97A417D0CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3666249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3666249"}}}}}