{"entities":{"Q3959403":{"pageid":5989308,"ns":120,"title":"Item:Q3959403","lastrevid":55103371,"modified":"2026-02-03T17:17:53Z","type":"item","id":"Q3959403","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3780536"}},"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":"Q3959403$E99A7BB4-E3C5-4DF5-83C5-8DEFEF8625A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b8e681f404467d9a6171e53de56be17c0e90103","datavalue":{"value":"0495.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3959403$D429779F-D6F7-4CE3-A780-3FA8F85D9530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0adf550b0adaf683014b95f040f3d0b889baf077","datavalue":{"value":{"entity-type":"item","numeric-id":674196,"id":"Q674196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3959403$CD01A3B5-3DBE-4DDF-A07D-1E7F0A92043D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3959403$DF5D7529-1D0C-4408-9F1C-5F73DD201445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3959403$0EDC64C9-92AF-4102-AC8D-5221AEAA053C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed4ce57419f81ff974694aee9254674180da3af4","datavalue":{"value":"3780536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3959403$DC876E12-FAE2-4070-B4D4-811FAA748428","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fdb639626d25e2aaf96890d13db0a91b3bfec91","datavalue":{"value":"non-deterministic program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3959403$954A4500-961A-483A-BEBF-415480676A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a86329c9af8042dbd359bff60f4b9e038321cab","datavalue":{"value":"equivalence of semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3959403$2F583C5E-9470-4127-9E87-FC82FF5DE39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f785c84194ac5c0b5659060f8d2cb8c1799652e0","datavalue":{"value":"computation sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3959403$D6FB27C1-C2F5-40E0-88AF-96870ECA62FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3959403$08569294-847E-4606-B8B9-070D960D16D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3959403$4294B892-7697-461D-91D0-3603431C9E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3959403$221B40F0-C152-4359-B4C1-E0DF53387A0E","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":"Q3959403$35A3DDCC-DC3D-4BE4-AD1D-E72C2C397D4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3959403","badges":[]}}}}}