{"entities":{"Q1565836":{"pageid":1576576,"ns":120,"title":"Item:Q1565836","lastrevid":70897221,"modified":"2026-04-13T18:02:55Z","type":"item","id":"Q1565836","labels":{"en":{"language":"en","value":"Dynamic evaluation and real closure."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1920712"}},"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":"Q1565836$428EEB3F-C712-465C-8408-7A86AD9856C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e0f68e3ccc41292fccdfe569f3ee166797ef3f8","datavalue":{"value":{"text":"Dynamic evaluation and real closure.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1565836$D1242B56-E5EB-4977-8E17-C8DC8F77746C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c1734eb9fa4f1c7928515a9f59e2a421071477e","datavalue":{"value":"1037.68542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565836$5039B6A2-E04F-45F7-A348-DF0DEAF4ED7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce8596ee2ff1abaabac745e646c883d748e8179d","datavalue":{"value":"10.1016/S0378-4754(96)00032-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565836$3BD78896-3604-4047-837A-F7BF79963EF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0053237aafbf1f84d532ac720618bcc7a9399d88","datavalue":{"value":{"entity-type":"item","numeric-id":382411,"id":"Q382411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$C7CF0323-A94F-48AC-846F-F79895EBDEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59eea1ffe1bce4cc56363be8d02c10f119ff9a3","datavalue":{"value":{"entity-type":"item","numeric-id":207157,"id":"Q207157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$42EDE18E-854E-43C9-A8A1-7C153B0849B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$77877CE3-D6F9-43BA-A8A0-C0184917A7EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b40c08a2730a883022880979a273ca836a2fb3","datavalue":{"value":{"time":"+2003-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1565836$7995269C-B8D4-4D99-A0C6-71F6249906A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565836$D56D3888-FCA9-4A97-AD35-9A0968844395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565836$FAFC5DEC-7DBE-4817-AC09-B7030A255C93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8db37bab110e04ed39829e7d4efd596594506b9","datavalue":{"value":"1920712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565836$567CF1F6-D73A-4B30-927A-EBF807AD284C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565836$242A3E26-AB82-4EE2-BFAC-46245C40597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206791fab73a28f2f1bd6065c608624f65a8c0a5","datavalue":{"value":"ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565836$D2B6697F-E453-4114-A789-BA11C20996E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7e860b29030f7d7d7722a761fe9974d657a6c7","datavalue":{"value":"algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565836$3DEDDC30-6C33-4134-AA80-3ED62B811C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2a87d6b935d249292ac8f4fe0875901459cab8","datavalue":{"value":"real closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565836$99A96C44-0077-4FAA-A691-673BFF8AAF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565836$264C0F2C-B131-4885-B7AF-C14A912985A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b5fc8f6e14921e67405b29fc381d00e34e190b","datavalue":{"value":"dynamic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565836$5A295970-E4FF-4429-83D3-7E7A49FEEAEE","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":"Q1565836$36717AE6-8A00-480D-950F-4B9E16C89D18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$5795C54F-107D-43E4-B867-C01C43519B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$81A8DA58-064B-450A-837F-54BA33D5C68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438cd3110c6cc6b7889523e1e71ae4632de5b0ba","datavalue":{"value":{"entity-type":"item","numeric-id":3316585,"id":"Q3316585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$603249C4-2387-4CEA-A992-804A8431F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd4ac1cf38ce7adf87c1aa2fe250a0bc62e564b","datavalue":{"value":{"entity-type":"item","numeric-id":581617,"id":"Q581617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$28C7C339-C770-40CA-80F7-CCC0243EAF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a51e9c3c1c4f856e5f40169ea898e6ae61e2327","datavalue":{"value":{"entity-type":"item","numeric-id":3973331,"id":"Q3973331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$2CCCE2D3-D2E6-49F2-929F-C177B407A7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678efad98f77c0e7160c4a29e221f6bdf29d564a","datavalue":{"value":{"entity-type":"item","numeric-id":1906927,"id":"Q1906927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$5AE718A6-6C3D-469E-9B12-FC058F70766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693aa1c1e65a3f7b0ecfbae54344643dfef30beb","datavalue":{"value":{"entity-type":"item","numeric-id":1565815,"id":"Q1565815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$D03440F0-014F-4D58-A208-A378861E73C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9851fb3bb97453d8f2e67ff4c47e40ed2d5e3e68","datavalue":{"value":{"entity-type":"item","numeric-id":1565817,"id":"Q1565817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$0AEB757C-FD5C-46A5-BAB3-084D00638EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34b3af1944cf9b3cf70321eb2902a4bd48b2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":1565819,"id":"Q1565819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$4E02CD3A-39C3-4910-864D-446F19A48D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3fc1ef002e23d90fccc0f667b01d5b52d3bf14e","datavalue":{"value":{"entity-type":"item","numeric-id":4234243,"id":"Q4234243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$8A9F4044-E4B3-4D41-B8DD-23CEE43EC060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49e37c8c8f31492a4a0ae4e3e203898a0f8b521","datavalue":{"value":{"entity-type":"item","numeric-id":5749405,"id":"Q5749405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$F8102DE9-0091-4DEE-8680-E14B65CA14F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7060bd7df5cd8406bbc7e837d29c000bf1654d","datavalue":{"value":{"entity-type":"item","numeric-id":757065,"id":"Q757065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$C792D283-D616-44BA-9C33-A1DC7C433B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b54dd3937656208ad5527bc67e9f4653e93821","datavalue":{"value":{"entity-type":"item","numeric-id":3973349,"id":"Q3973349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565836$524D1849-3307-4823-AA69-5380C9924666","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd750b75df66502c0bbddc077ae8cd9721dc2993","datavalue":{"value":"https://doi.org/10.1016/s0378-4754(96)00032-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1565836$1AFDF623-4979-4AA9-B0C3-A4C39BEAD917","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b274b16b569035aa723af4ad88e1551f2d1c8bdd","datavalue":{"value":"W1994795078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565836$86EABD36-C8A4-44E8-A8E9-6222105ABFBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee7d3618c670f87a97fba7f420ab7dfb04b57be","datavalue":{"value":{"entity-type":"item","numeric-id":1906927,"id":"Q1906927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc517a38f86ffc14c5c5b31f5be14140542785ee","datavalue":{"value":{"amount":"+0.8152861595153809","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":"Q1565836$A1C23866-5588-4C88-8A72-96BC8BD780D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201f88c6add97fcb2ad85bda4aed9e3c234adc12","datavalue":{"value":{"entity-type":"item","numeric-id":4038744,"id":"Q4038744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc517a38f86ffc14c5c5b31f5be14140542785ee","datavalue":{"value":{"amount":"+0.8152861595153809","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":"Q1565836$270906AC-3DA4-48C7-A31E-67DD123B4887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc1e063e9cb04fa0aed20d06e5b61933deef0b09","datavalue":{"value":{"entity-type":"item","numeric-id":1892121,"id":"Q1892121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227e21f6c6f049e84f8f99b512aa126db6748970","datavalue":{"value":{"amount":"+0.7466763257980347","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":"Q1565836$02DB23A2-1A95-4A2F-AD07-713A011EDF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b957e6824146f1589ac24067862de220a8b542","datavalue":{"value":{"entity-type":"item","numeric-id":3986779,"id":"Q3986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf23b4735bb2772a698f4d8c46e9c5f2d2f62386","datavalue":{"value":{"amount":"+0.7460533380508423","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":"Q1565836$24D22453-A459-4A54-9EEA-F62B6B5EAFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cae51ea13ed26b6860e3b2744a40e9c4f8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":3480175,"id":"Q3480175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56053fabd959d65a711a7e9c873c741480dbb265","datavalue":{"value":{"amount":"+0.7449732422828674","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":"Q1565836$E842321D-9F95-4BF9-8029-F5CE90D2F5AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic evaluation and real closure.","badges":[]}}}}}