{"entities":{"Q3883458":{"pageid":5913363,"ns":120,"title":"Item:Q3883458","lastrevid":54613922,"modified":"2026-01-29T14:17:04Z","type":"item","id":"Q3883458","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3688675"}},"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":"Q3883458$D75A465A-399E-4040-A225-5DA31E7C4892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d08be57662a937828b2a74a79cdc861cb03a68a2","datavalue":{"value":"0441.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883458$66A763AE-D786-4D27-A4AF-D1BF3890FADB","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":"Q3883458$B4934399-8B64-4CB6-A74E-C03A4E14EA08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dac0ee9267ef23a971ee4dcc6dce2d0fb42551e","datavalue":{"value":"https://eudml.org/doc/92127","type":"string"},"datatype":"url"},"type":"statement","id":"Q3883458$DF70E26A-7501-45D2-B89B-04EAB5DF0E5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883458$E744FC63-7B87-4784-B4DD-BC92B453DC05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82268084e2665dc895fee9a3ec8d061d979367aa","datavalue":{"value":"3688675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3883458$0D818744-3893-4EEE-A3A5-2FEF6A01A363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2b9765493f0c35187403d9afd69c13155ac37f","datavalue":{"value":"proof system for partial correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883458$6D077064-1CBE-4080-84C4-AEC160C49BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54a6889daeab66fc884d117c27543e4c2293e061","datavalue":{"value":"algebraic semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883458$B61542E1-6C92-4BA1-BBC6-AC2A7EBED495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba429e13b84ce56f4a8f659e150d0c14a1d60237","datavalue":{"value":"Hoare rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883458$983F8FFC-66C2-4130-8DA1-20468C3538C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3883458$B1E0830E-F931-4F38-8A23-05272EE57FE6","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":"Q3883458$C57CD77A-4884-475F-A9B1-A51A7D43ADAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b711ab0ae427c2f58c9767ef7f4550d09c94e","datavalue":{"value":{"entity-type":"item","numeric-id":3898006,"id":"Q3898006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$E422D8A5-035E-408E-A149-82D733916678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37794fbd3e007ea43b586500c6e7d92f9a3cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":4130976,"id":"Q4130976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$3BA4369F-DA39-4383-BB01-B4673D398182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda4823e935196efd93067fa34ac9e31a4b482a","datavalue":{"value":{"entity-type":"item","numeric-id":4174207,"id":"Q4174207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$F580300D-E018-4E0F-A553-E94CBED6EC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$B7CF66C6-227E-4402-88BD-7F17C45ED62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$48E1004C-FD31-41AD-86CF-03DD707C203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$10A7F36D-8C23-4E0E-B849-57BF01D6CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$23A16F4A-F9FD-473D-9C62-4EF2C1A05997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ba598bca58e7f90781e4a95312f60c1dcd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":1151016,"id":"Q1151016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$540E31BB-EF1B-499A-8D83-F18A4EE56715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0fd9c34f3713de84cd507bd9d046e31de7ecf4","datavalue":{"value":{"entity-type":"item","numeric-id":4190099,"id":"Q4190099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$210A53FA-0210-41CE-913B-79E4FAF1F9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$EDCEE50F-701A-4188-86A6-C77DA8B205A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d17eb8e40f56b25f178197677473f6105c881e4","datavalue":{"value":{"entity-type":"item","numeric-id":2544414,"id":"Q2544414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$BC35C344-3D97-4BE0-9AD8-EE2C579BE98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$D5C689F9-B2D6-4AEE-84D7-DC6F38545AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$FE65D604-134E-4DBC-BBF9-559E4B7E0023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$22F84A51-3DB1-4ADD-8750-674B3E981843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bda47f0d9e456981698cbdd083e7b47be4080e","datavalue":{"value":{"entity-type":"item","numeric-id":4066560,"id":"Q4066560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$E79F0151-BFFE-4F66-9F77-AE3EC51C7290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95807cee93bd9b3ec684c69a003f40537441c31","datavalue":{"value":{"entity-type":"item","numeric-id":4173344,"id":"Q4173344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$2570B54B-06A5-487C-B7C9-843753756CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226731118a2de5fc20caf922a67995c09c31e6e0","datavalue":{"value":{"entity-type":"item","numeric-id":4404860,"id":"Q4404860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$C495382A-31C0-43AB-BD12-17C64085B340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377324767631186c74643cd4927092bc831167c8","datavalue":{"value":{"entity-type":"item","numeric-id":4139636,"id":"Q4139636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3883458$232A9A7E-CE50-4516-8DE5-2681B21014FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3883458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3883458"}}}}}