{"entities":{"Q3947101":{"pageid":5977006,"ns":120,"title":"Item:Q3947101","lastrevid":55064461,"modified":"2026-02-03T07:53:57Z","type":"item","id":"Q3947101","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3765113"}},"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":"Q3947101$08C6EC36-DF05-49C0-A6ED-484319E07763","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f119e6f56ec0ba90b3781bb0a06ba2fc5b6a34a0","datavalue":{"value":"0486.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947101$9A4BD2CD-4CDF-440F-AE38-1D042744BBF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5392602cebfb387ee7516fe8118e538d44d0b430","datavalue":{"value":{"entity-type":"item","numeric-id":221594,"id":"Q221594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947101$DD9969A9-DD06-40EA-A37D-7300A613D26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3947101$F529D5E0-8336-43D8-AF45-043C9E8EC502","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3947101$0A74D3DC-AA14-49D0-BD7B-09D3B8ABF406","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947101$39472AE6-48CB-4D2F-9C10-9787E63E6426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947101$023C4CC7-7EB4-48F6-B363-588A8C102D9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"babb0b034a2dc7ce780910088b0f992fd0326db6","datavalue":{"value":"3765113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3947101$2EA1672B-1407-4BB3-9C05-A40377E2EEB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33814f67ec7cc6e3513ee1db5ee8fb40270e5dbd","datavalue":{"value":"semantics of non-deterministic recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$DFA6D9B6-A8A6-4BCE-927F-5101D1D30642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532f35f01e650e4b6d5c8858a468a0af23f66a25","datavalue":{"value":"computation domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$A40A3581-AE92-4AFE-B815-5FEA834579AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aeed12c16629c687a1cdec56718b7050449e6cf","datavalue":{"value":"cpos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$504D20B8-1D24-4277-9A4D-A6EA31B97D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$87227B5D-613C-4E3E-A80C-BF72169C4E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$588A6E54-043D-4E1B-AC27-1329C5B228DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$5533E8C1-91E2-4978-9455-ADA216CAD2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$F7416E87-1B74-43F2-B377-8D49A7AE09E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c324814e4f9f12816f55f31dc2336f9ed24ca5b","datavalue":{"value":"fixpoint method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$AF5C3574-3364-411C-8C13-2AAA87A54392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e59cbb6285e58b86b753faeba14b16c15fa0a9","datavalue":{"value":"least fixpoint method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3947101$E0CD9265-C68E-4C65-A13B-4510EF6BB384","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":"Q3947101$37BF0A47-BF12-4F7D-8823-387C700E8BEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3947101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3947101"}}}}}