{"entities":{"Q1079010":{"pageid":1089762,"ns":120,"title":"Item:Q1079010","lastrevid":69592092,"modified":"2026-04-13T08:03:42Z","type":"item","id":"Q1079010","labels":{"en":{"language":"en","value":"Relational algebraic semantics of deterministic and nondeterministic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3960971"}},"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":"Q1079010$2D23C262-174F-4D88-B264-19ACB944AAAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a325f1516c7efd736118e9cf415c154c41fb3f78","datavalue":{"value":{"text":"Relational algebraic semantics of deterministic and nondeterministic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079010$4B0ED3B1-37C8-494E-8F3A-7B976D785D08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff230835962f92ae3a22752e14c22d51be8c9783","datavalue":{"value":"0596.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079010$B3B14AC0-0074-4276-9869-8B65CCCABCBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3571fd4800f78f72e8bb0db986f5e80dcdc6c664","datavalue":{"value":"10.1016/0304-3975(86)90172-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079010$1008F301-51DE-4F87-99C3-B8795E98E275","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$7F43A8B8-6F8F-465F-BBC8-601D35ECF5DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1079010$2F5D8539-E430-4D80-95D6-2A0CCA1FD9E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079010$DD9818D7-4E24-4477-8A95-8DE4A06E40F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed56036362f289b3c3ff1c0536b09b9d16fa1ce4","datavalue":{"value":"3960971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079010$39DA258B-A925-497E-9AC2-BE1AF858C13A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f011071e101ac28b8c28d3ca6750d56b087da929","datavalue":{"value":"Abstract relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$20313C08-C405-4A17-B3E8-3D57ABDF8399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6eed51f4e081d8b1a372888091c2be6be0b4ef9","datavalue":{"value":"denotational semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$D053E90D-0212-4137-ADAF-6BAE3C8C76E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$9C26BC4B-BC0E-4867-A77B-C2080314FC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$566516DC-49E4-40D9-BEFB-36889DAF7BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$D97ADC70-8392-4A2A-A697-BBC360E6EE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d858d5ffb6d67345b5ca39272171e088f198b38","datavalue":{"value":"deterministic language DFP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$0D822046-B606-4116-A40F-1E429B71D7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22738cd8e241cea1c13ccb639eb6e6d62eccd712","datavalue":{"value":"nondeterministic functional language NFP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$2E67D69B-757E-4DB3-ADC4-1D19437F6C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9727a7357c06cd5a6ff4c578eb259b43c6c8a80b","datavalue":{"value":"relational algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$9C60B115-AF80-492B-8480-B506BF9B289F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39edce42e19e38546947de53a26ce030c767739e","datavalue":{"value":"deterministic and nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079010$E8A9F6CC-6EC5-42C8-A0A7-0F38C11C1E6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$9B05FFA0-5AB8-4A35-994B-F7FC7F80ABC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ffa4994338efd06013be21830dd4928bee170b","datavalue":{"value":{"entity-type":"item","numeric-id":582126,"id":"Q582126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$9F63934C-1A3F-4232-A668-7FAE86CE0A3F","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":"Q1079010$422E8BB3-2981-4D69-95A0-45041079A66D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6e476fd9aadfeea67fe66ce5377262b919ea0b1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90172-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079010$029130B1-A9F1-4C75-8EA3-A4202DF3641E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e5472168813c8fd50994fc13d22afcef71d29dd","datavalue":{"value":"W2035306406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079010$53623A0F-C1EC-481B-89A1-8A8374718264","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$11AD1ED0-88DA-4804-954E-5B9326B13EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3265b3b9ee07f196e2dbbb1ffc22467424cda685","datavalue":{"value":{"entity-type":"item","numeric-id":3919053,"id":"Q3919053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$BCED2127-DA13-4AD8-AED5-9677D076DDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3cefc19e00878c2a1bfebb4d92dcd02aa2fd295","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$4BEB7A1A-EA75-4C37-84BA-FD01F3C712B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5b732c4ffa7b56a3631819adc7a20415738ad4","datavalue":{"value":{"entity-type":"item","numeric-id":4192046,"id":"Q4192046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$20F8B87E-9E16-4A28-8008-728C9A15CDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$59C4D8B9-B55B-4A59-AA51-D3792A0CD47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b42d18e3cc0859435e91895f17f6ec094cbbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5649409,"id":"Q5649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$593B4CF3-03D0-4B21-8833-178EA06CD946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a98d35b307a232a4c7a961285d22ec864173245","datavalue":{"value":{"entity-type":"item","numeric-id":4125720,"id":"Q4125720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$1128D0BD-5C70-4990-87A3-4301F7A46436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$744D475B-4B97-435C-B655-340EC180FD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$5627E322-1DC0-4D2D-9F23-EABA7EA2EE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$352CE92D-B75F-4735-9F3C-14EC7046C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f6f383700edf21859218982546ea1989069e5c","datavalue":{"value":{"entity-type":"item","numeric-id":1168723,"id":"Q1168723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$F45487DF-2D21-48DB-89F6-5E1DD0A91AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bd2ee292f1ef9bb837fcb02787034e66618cee","datavalue":{"value":{"entity-type":"item","numeric-id":1063597,"id":"Q1063597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$4BCEBB5C-82FD-453D-8906-5B1F22180366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$3DE423E0-1D39-4AFB-A777-663EDDFFA9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20e715bb16b4056d3301fb9294f0849bf1289f38","datavalue":{"value":{"entity-type":"item","numeric-id":3954800,"id":"Q3954800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079010$5922E7DA-7106-4285-A73E-7880E7A40D38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8acdb72d5e669e9c48df9fe7072855f43143d0","datavalue":{"value":{"entity-type":"item","numeric-id":5687234,"id":"Q5687234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18850271c575f1e1b993f63ed6a3a9b2b89097af","datavalue":{"value":{"amount":"+0.8836743831634521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079010$B6F4DA5A-EFCB-4628-B884-8AA27268B7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb8b6cbbf2365260b44b2d79bc2d3d823ba56056","datavalue":{"value":{"entity-type":"item","numeric-id":5046723,"id":"Q5046723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18850271c575f1e1b993f63ed6a3a9b2b89097af","datavalue":{"value":{"amount":"+0.8836743831634521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079010$8D0C901E-924E-42AE-BE2D-A9FC71B59F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c428c11d49e4ca3a1edfce258690fc8b49316735","datavalue":{"value":{"amount":"+0.8522125482559204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079010$2ACE688C-0421-4C69-B9A0-75629585CE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c341ba6d39cda177452b490acb0978c47e0cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4362882,"id":"Q4362882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f574fb0624a4febbff6e611abca21ca75ad133","datavalue":{"value":{"amount":"+0.8457030057907104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079010$42BABF50-15F3-4AAC-9F94-CF99A0061BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb66e3e4d5d74eb20206e543e6172746f2c1f80","datavalue":{"value":{"entity-type":"item","numeric-id":796975,"id":"Q796975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f574fb0624a4febbff6e611abca21ca75ad133","datavalue":{"value":{"amount":"+0.8457030057907104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079010$E9F30AC2-59EA-4903-9A39-34BDEC478D96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational algebraic semantics of deterministic and nondeterministic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_algebraic_semantics_of_deterministic_and_nondeterministic_programs"}}}}}