{"entities":{"Q1565817":{"pageid":1576557,"ns":120,"title":"Item:Q1565817","lastrevid":70897086,"modified":"2026-04-13T18:02:53Z","type":"item","id":"Q1565817","labels":{"en":{"language":"en","value":"Examples of using dynamic constructible closure."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1920697"}},"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":"Q1565817$AF3D0233-41B9-43BE-9945-648082817C65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bfdc1492fe1dd87562eeda60ae7cc6878a1738f","datavalue":{"value":{"text":"Examples of using dynamic constructible closure.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1565817$4BB2BD4D-A5C1-44A2-B23F-D3D586B81867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92315a290955483521e1c121850625eb78b6453a","datavalue":{"value":"1037.68544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565817$AA90FE67-E721-4AFB-8B51-8D0FC1BDD683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b8d4bf65f568536bca20527ee5f4ff3998dcc77","datavalue":{"value":"10.1016/S0378-4754(96)80001-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565817$BFD5FA1E-32EE-4F8A-BEF8-123F9A601335","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a18b7034d096cb6a940e74e1d20ed1965d0d9bff","datavalue":{"value":{"entity-type":"item","numeric-id":1565816,"id":"Q1565816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$9870209D-B0E8-44A6-AAF7-F0DF36F7AD0B","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":"Q1565817$F7C61B59-90B5-41C3-BA36-336FEA36B11C","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":"Q1565817$2197E6E1-E9F4-497C-9BA6-2A75EE830BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565817$1C99D3A3-17BE-4B1F-A7C7-C602C684C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565817$C8DB9068-1E2F-44F0-B5BC-C1A79FAAA326","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"731d76b5c72a88c99dcd6904669a89223f155b2c","datavalue":{"value":"1920697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565817$C19475F1-FCE4-4112-B9F6-E62D513B8834","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565817$EAC35F29-3E32-47AD-8D4D-6BC2FCF7099F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b5fc8f6e14921e67405b29fc381d00e34e190b","datavalue":{"value":"dynamic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565817$AA2F3E88-C819-47E9-84F8-6393CC26E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565817$887B1B75-2B57-4FC7-A7EC-4FC765AAABA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9158862c14d19e33938326fa838bdb77491faf","datavalue":{"value":"polynomial system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565817$8EE0ACC2-3572-4146-9C5B-4B9AA9B34C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565817$FAD2B819-7C10-461A-9D27-042B80B60248","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$E46EE56F-81A9-4821-980F-4E6E5682A828","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":"Q1565817$20D84FBB-ABFF-40B2-A3E6-4892958EFAFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$1F2CE2F2-D99D-412B-A5EC-5D855D8BF60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e01d980ab6b61df3778c3bc7a4df56b54c94d9","datavalue":{"value":{"entity-type":"item","numeric-id":1186712,"id":"Q1186712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$52947B86-8231-451A-816F-60F2CCDACA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$7D27896B-00D3-436A-A294-95BCA1875BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$9861AEE6-6E1A-41EE-9D0B-E6325726307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$8C45BDA0-831C-4AA6-B243-6C0FF891D4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c540d0689d2e6e44699592fe0bc708a3e6141101","datavalue":{"value":{"entity-type":"item","numeric-id":1180160,"id":"Q1180160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565817$A4B6943F-0452-4029-A7E3-3F4FEE2A05F6","rank":"normal"}],"P1643":[{"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":"90ac86b59ebaf10d4bdd2d62785a178dbe0c2b8f","datavalue":{"value":{"amount":"+0.8123487830162048","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":"Q1565817$267E09EA-AC9A-4BEE-A62C-C475BB6B5995","rank":"normal"},{"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":"561bdb060c1c877827bbc8d3463c953e1eff077c","datavalue":{"value":{"amount":"+0.8035316467285156","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":"Q1565817$27BA9D3E-59E2-4196-874F-EC36BC3994C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b90b77d0e7357e520de0cbfb145510eb1c5fa28","datavalue":{"value":{"entity-type":"item","numeric-id":5946465,"id":"Q5946465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561bdb060c1c877827bbc8d3463c953e1eff077c","datavalue":{"value":{"amount":"+0.8035316467285156","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":"Q1565817$2FEE4C05-B786-44A4-8154-84382FA0FAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6735082aed7c808237064190e917af5c7281cdf2","datavalue":{"value":{"entity-type":"item","numeric-id":4227277,"id":"Q4227277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ed4af8c0c0710f67f6f46daa9d9a3a6d04aea6","datavalue":{"value":{"amount":"+0.7258098721504211","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":"Q1565817$1985F35E-A503-4C8B-B381-FFC7234A496C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee4c40130a273b04e5941d1fc3d01802921533e","datavalue":{"value":{"entity-type":"item","numeric-id":4026754,"id":"Q4026754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6317c02decb68686979a19c802ef87ad16c8b542","datavalue":{"value":{"amount":"+0.725809633731842","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":"Q1565817$99FA8E8E-9E4F-4A90-951A-B5A14C9662C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Examples of using dynamic constructible closure.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Examples_of_using_dynamic_constructible_closure."}}}}}