{"entities":{"Q3875329":{"pageid":5905234,"ns":120,"title":"Item:Q3875329","lastrevid":54584888,"modified":"2026-01-28T22:51:22Z","type":"item","id":"Q3875329","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3679167"}},"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":"Q3875329$7CF06933-1D25-40CF-B757-885A1685F2D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e747267ad6d9dfd89bfe29d2b068cdcc21f6b39","datavalue":{"value":"0435.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875329$B7C0E316-92DD-472C-B18E-813798426C42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875329$D0A36F22-BA6C-4D90-8D9F-252D4E1ACB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48acc9bc356d9816f068c98eeb4810b85e851886","datavalue":{"value":{"entity-type":"item","numeric-id":757076,"id":"Q757076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875329$5A9287BD-335B-4DC4-875A-55F53B29FAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9d8a0330754342bf7cc054288ff91311aeb00bc","datavalue":{"value":{"entity-type":"item","numeric-id":1056223,"id":"Q1056223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3875329$97301742-A376-4335-B470-0948A9B093AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3875329$3C2ED964-5646-473D-BA1A-2286F59B386C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875329$105A587C-7E1A-4C38-A6A9-74191A6BF5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875329$A8D77D01-8B48-411B-8FA1-7EC19BD65DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875329$1257C91A-795D-4A97-9855-93ADE9FF02F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9ecf26af3de4f6add61654839885544fdce815a","datavalue":{"value":"3679167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3875329$69D18AA4-FDE3-46AB-A0C0-3A97E210FD10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30c3e18d6378e5981ac13a0239c78a9cc8b5191","datavalue":{"value":"abstract implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875329$C9F312B2-1978-4239-9A38-462AA718B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894c7d726d0442b694c16aeb6c208df77e7fc2f3","datavalue":{"value":"algebraic specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875329$4194B411-4312-4389-BE43-7636834EF1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875329$B2505D10-823A-49B9-AC5B-91C6BD68DF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875329$D21D1021-44AE-434E-AD1B-B853FE34DC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3875329$73FEA649-89B6-4E8F-B381-FD09D17381D7","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":"Q3875329$AD6520B9-7E58-4050-A1D4-F2D0B72D5D2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3875329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3875329"}}}}}