{"entities":{"Q3345754":{"pageid":3356462,"ns":120,"title":"Item:Q3345754","lastrevid":46010245,"modified":"2025-12-21T15:46:55Z","type":"item","id":"Q3345754","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880084"}},"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":"Q3345754$C35CD92D-5579-456F-B486-AE90839C997A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"339e31757dd9b2b4562eb1ea3657c85cec2162b8","datavalue":{"value":"0552.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345754$17E92F08-DFE5-418E-9A8E-C0894D7F89DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345754$28737B4D-3D11-4A27-8E5F-E1FCEF378E95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345754$B2C74B8B-F0D3-46C1-899C-568D17F5318D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345754$7B35292B-197B-49E8-9464-CF1967867549","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab980f9496f701f567309e6e2e3596c4fe8235a6","datavalue":{"value":"3880084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345754$2FAFCB96-95E3-47D7-A86B-145D340A0D8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345754$1349BD1B-BA50-4DF5-A271-72665004A44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30c3e18d6378e5981ac13a0239c78a9cc8b5191","datavalue":{"value":"abstract implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345754$A5DD7076-6E8F-4A15-9CD4-B33B0875685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4853e819949bb64e7fcb055e797b1697a44ac581","datavalue":{"value":"programming by stepwise refinements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345754$9765C30A-B9E6-464D-8A0F-8C386E04D086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dc943c48c48df01cc06a9c47e9dc955ce50cdb","datavalue":{"value":"composability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345754$CF07D784-99B3-4CB9-BFE2-A3FAB6C22753","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":"Q3345754$C2E4C09E-B0B7-4917-9FFC-A687BB32CD0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345754"}}}}}