{"entities":{"Q1838281":{"pageid":1849023,"ns":120,"title":"Item:Q1838281","lastrevid":73886484,"modified":"2026-04-14T17:37:23Z","type":"item","id":"Q1838281","labels":{"en":{"language":"en","value":"Approximation properties of abstract data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3804822"}},"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":"Q1838281$8A1E2B7B-EF15-4CFA-9089-AAF21A123BC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f26c691dc690d5f09eb5eb8760ddb942d2530e7","datavalue":{"value":{"text":"Approximation properties of abstract data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1838281$0BEB9A54-381D-42C4-870F-41C4049656E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34f973245c4bae87ac5bf467fba0ce5d87a88b6c","datavalue":{"value":"0509.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838281$E22DBB75-0986-4539-94A4-D7E6CA435A50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a840be3957046c283ce619daccce7b6b9f5bb9","datavalue":{"value":"10.1016/0304-3975(83)90131-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838281$5A1BFD59-DB86-40D5-9914-8D7569243F75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c762825db97423211c9dadedf4fa6a17941adb5a","datavalue":{"value":{"entity-type":"item","numeric-id":418810,"id":"Q418810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$E6CFBEE6-3049-4171-8BDC-0922019D50F5","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":"Q1838281$C6FF4739-45C5-4C0F-A87D-C62673203967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1838281$24FC02B5-D706-410F-AD1D-4E2DF1173A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838281$317C6721-1FC6-4477-87CE-B8E4637F1285","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7522bfc5621fc6376ee0721cf1d3ebcd802b6b20","datavalue":{"value":"3804822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838281$E8AB1557-E7BD-47B5-B936-EDE062497870","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba002ee2edd0cdc75d0e7d90d671c29c4710a63","datavalue":{"value":"equational abstract data type specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$48FC5743-B234-4DC9-A9BB-BFFDB8C55DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcffff1dfdc5651927bba52666e7beaf2449242","datavalue":{"value":"congruence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$CFDD9F88-7451-4C1E-AAF9-0BD23B96DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17b1744499e5bb5cf832e05e62eb212007ba314","datavalue":{"value":"data type language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$A2A170E4-1D81-4A92-B773-E94F61A49F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44ec03606412ed4c49f894abd7176e98e0ad8b65","datavalue":{"value":"partially ordered quotient algebra model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$B3B05CA1-512D-452E-92BC-6007394FB577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f5793d31820ec4e28ba5025511318d4ff0fb4b","datavalue":{"value":"Church-Rosser (confluence) property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$C0EBA388-8B4F-42E5-802E-9E6A7E94E988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd011b729f66ea668a5cc7f16693a6886c65a5eb","datavalue":{"value":"Wadsworth's approximation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$3BE6148E-375D-450B-9A46-15FBBC14E5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e874fddf6828ca99a0576c13d013f469cfc203","datavalue":{"value":"fixed point properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838281$99755AFB-2EC2-49B4-9C07-611BF2B7A4E3","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":"Q1838281$3F7E866E-D201-4973-86FB-1A80D6B09BAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a693254cb3d3288625145a4d0092198c7664007","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90131-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1838281$92B4C4CB-67CD-42E9-8F92-D46F2C36B33C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ce1da4e2af8251563f9ef2b106e46ed956c97eb","datavalue":{"value":"W2044306290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838281$DBE51913-9186-459D-ADCB-C287E40B3B3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$83B68369-48FC-4F55-9B0C-873AD0468858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$A9A2D0E5-9DAC-4B44-A59A-93590D05B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$50185F14-90B8-47D5-A2E6-CF43A79F6DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384639dd0297f5f273f013e5c517a8ae258e7aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1243578,"id":"Q1243578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$AC3EE9F6-76F8-4430-A2FB-09A1F1E7F034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5ce624e253d3b568d117b876a6499bb57454ea","datavalue":{"value":{"entity-type":"item","numeric-id":3906381,"id":"Q3906381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$57B59F6B-1808-4109-BC44-E767D663A21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$BBF2417E-E97E-4097-8866-856C6DBEC59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99177b6e17abaff08be39201e766614e265de9e","datavalue":{"value":{"entity-type":"item","numeric-id":2525007,"id":"Q2525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$B633199D-D7ED-46D6-A023-37BBEDE173C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$3BECD37F-E0E9-40D8-93CE-E3A80D0022D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$A2AF8D3E-3358-4A30-9897-297022F214E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$CA3E1929-401E-45F3-81F2-F7F93E3C61DC","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":"Q1838281$E8D375DA-B8ED-4455-98C5-2E64C98FB022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b18d9c76aad0c8542339f6c4a03f92429945113","datavalue":{"value":{"entity-type":"item","numeric-id":4766003,"id":"Q4766003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$C11A4390-F0A6-4CE6-8350-839EDC11EBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$308FD8F2-01D5-484B-85DC-830A2D9B67BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$AC8E130E-3A22-48EA-9397-00D51B9B89F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68e4b56b3be270d16e2ffd6922e23ad4b76f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3922134,"id":"Q3922134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$A8F9FBF2-5F44-4942-8785-1E4946FF5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$1540EF3F-E245-43F0-8AB5-B8F92E1104C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$3B2EA422-631B-45D9-A728-C0416DB79890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$01FEE3B4-DFE6-49AE-BF50-02E8665E74D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec79afe9c6c2c07f36d4ca242af9ab7ed7180f4","datavalue":{"value":{"entity-type":"item","numeric-id":4182475,"id":"Q4182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838281$4CDAA6AF-A4F3-4873-A939-166B210543BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximation properties of abstract data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximation_properties_of_abstract_data_types"}}}}}