{"entities":{"Q1426470":{"pageid":1437210,"ns":120,"title":"Item:Q1426470","lastrevid":70374834,"modified":"2026-04-13T14:21:13Z","type":"item","id":"Q1426470","labels":{"en":{"language":"en","value":"Learnability of quantified formulas."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056812"}},"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":"Q1426470$54A2CF34-FDA2-406A-A485-E13DAEC16BD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c83f32988046501d1cf62eb553828338354d3251","datavalue":{"value":{"text":"Learnability of quantified formulas.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426470$CDE96676-5667-4FF5-9EAF-3A9905E3E5FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f54239d644aca9f5e904bd57feef85a669690b36","datavalue":{"value":"1060.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426470$DADAC760-AD56-4106-A986-CD2E65B3BFFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83c6b7fd11617b536c9abf69991057abbe9b7489","datavalue":{"value":"10.1016/S0304-3975(03)00342-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426470$B5466F84-F034-426A-85FA-89860FF342E5","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":"Q1426470$CC09C909-E427-4AC6-9482-18E3571CEDC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426470$F87C9110-585C-48CA-8A79-98F2B9F42517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426470$2A65EF21-F5CC-4311-B20D-2587400E455C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c756eb05ed2a698e8ec6de2ab402223697466b02","datavalue":{"value":"2056812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426470$AA432BE7-0694-4C78-94DA-6248B29E56B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d43ff2454109abb966389a013f785614ce6054","datavalue":{"value":"Computational learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426470$388D1430-4E04-464C-9FBF-A872FD1F12F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447aa284df2854a375b5a7a222acbad23f2244cc","datavalue":{"value":"Quantified formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426470$18214956-E501-4BCA-AAAE-47106567B385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c7bd79619b12145b8849f2137eabc54a67a218","datavalue":{"value":"Clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426470$B980E1B4-780C-4479-BBE2-D9653261377F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"718fad4f39e94f2b62c8ef1dd9aa954379d270c0","datavalue":{"value":{"entity-type":"item","numeric-id":259043,"id":"Q259043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$5796F09E-BC12-4A4E-95B3-E4BA9232B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f27b7dd7bcb86f32451ffaf4f8ff1978836ff91","datavalue":{"value":{"entity-type":"item","numeric-id":991005,"id":"Q991005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$1858A237-DCBD-4D43-82B2-5E104D8B1603","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":"Q1426470$67FC670D-6319-402D-BE31-55195FA38DC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3d281ab1020686fa49be9fbda50f89b24139f2","datavalue":{"value":{"entity-type":"item","numeric-id":2232294,"id":"Q2232294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$658F61DC-6E86-4769-95FC-D82FC8F1D0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$513E77E0-6950-4B90-B048-8DF38AAB1F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087f07f8e392be8ceb30b855fec239a8224e2118","datavalue":{"value":{"entity-type":"item","numeric-id":1892226,"id":"Q1892226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$F2542654-4356-4BC2-B81F-6AE56293D9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"524a128b67098c301f4b4b48ba9c46351e78d895","datavalue":{"value":{"entity-type":"item","numeric-id":1211524,"id":"Q1211524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$F69BD5B7-D33C-4CBB-819A-982EAF674B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b0c7960baec2620149acfd97bb31ebbe0b06","datavalue":{"value":{"entity-type":"item","numeric-id":2506483,"id":"Q2506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$7E82ACF0-C845-46F9-AA3C-49D53E34484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a9e125077fbb81e85a4647dc8af58f9a7a9536","datavalue":{"value":{"entity-type":"item","numeric-id":1390865,"id":"Q1390865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$6DC60389-FE75-4BF5-BA4D-2F4BA538395D","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":"Q1426470$39965406-885A-4296-A50A-67D144A89792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0939d25609523bfd8dc3173d4bf6ebfb34e67497","datavalue":{"value":{"entity-type":"item","numeric-id":1321064,"id":"Q1321064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$CA4BE11A-79E3-4977-B773-1E8C08F2AED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53f091f842a208b0e528f711b4d317a4c964b91e","datavalue":{"value":{"entity-type":"item","numeric-id":1964325,"id":"Q1964325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$0DD3981A-F7AF-4949-89F8-30325DBAA0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$8184FC0E-95F1-4AD1-9AA2-32CC197A919D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c435d235f5dd5d88317484b4ce4d5923395e2745","datavalue":{"value":{"entity-type":"item","numeric-id":1165581,"id":"Q1165581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$2189CEC8-B061-4D92-953F-45D02FD350CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24d071c0e63ccc4acf5f859969db29f7f9386afa","datavalue":{"value":{"entity-type":"item","numeric-id":1384530,"id":"Q1384530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$1A796ADA-E3A4-4232-ABEE-E1A0C07DCCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce20482255e0cc12b9b9d67540465d5e845e2b52","datavalue":{"value":{"entity-type":"item","numeric-id":1274280,"id":"Q1274280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$0A398244-186A-4E6C-8C4E-63F89AE4E284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$88C4F024-F694-4CD6-8665-67CE08C93AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d14b72dcf62238a630c55b183bf7de377d41025","datavalue":{"value":{"entity-type":"item","numeric-id":5917444,"id":"Q5917444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$BA86AB76-8292-4AED-848B-6DCC08D0F345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84fe142876319c1801d90692f9f0fb104b1ab44","datavalue":{"value":{"entity-type":"item","numeric-id":4299296,"id":"Q4299296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$1DB6C659-D889-4C75-9559-17B4EFDF36ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$FC1C3DB8-95AE-40C5-AD2F-D180BFE50FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb6855ef389bf054811a011cc0d541ef395a32","datavalue":{"value":{"entity-type":"item","numeric-id":4004339,"id":"Q4004339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$82886D6D-A5B6-437D-99DD-B104FB156E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$7484560A-4B4B-4290-88AE-BB5E727DC48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$472BF2EE-447B-4687-80C5-AB7FD1BAC068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf27812a5724375e81a15961b928aa4c95d98a91","datavalue":{"value":{"entity-type":"item","numeric-id":756441,"id":"Q756441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$81587F44-0E04-4E38-A571-F9D06CED01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$D70A9238-007D-4243-A1E3-1F405152C1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4cc11e0cb35495458eb03ade540d06568cee5f","datavalue":{"value":{"entity-type":"item","numeric-id":3739182,"id":"Q3739182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$9B52A17D-692E-4BD2-A219-B28A133ADA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$3E517A5B-CE1D-42D1-A61B-9267695424AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c73a99d019745eca01f9c351ef4ff2f085e9e8","datavalue":{"value":{"entity-type":"item","numeric-id":3739181,"id":"Q3739181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$D7E5B3A0-1040-4D6C-BD8D-50EB49F42FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7bbbdf2d6796f5f2119875f00eadfa9788c292","datavalue":{"value":{"entity-type":"item","numeric-id":3770585,"id":"Q3770585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$95A6EA4F-74EC-4D19-BF6D-28B71E62618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$A752EBA3-4DD7-49D9-BE07-2C4694CB46AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e664c05aea42c505971003948666c6f840bf186","datavalue":{"value":{"entity-type":"item","numeric-id":3281057,"id":"Q3281057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426470$449B3349-EC90-44B1-BDA9-9DEDF0F3B011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e32c5b115170006a6dda9468189d408c64d4f00","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(03)00342-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426470$61377126-E078-4917-B513-05792D475A26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"657cd0337e0fdc48d256b7a83d4ebca230fbb751","datavalue":{"value":"W2170491051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426470$7A57F9FA-877C-4363-AAD2-0B9BC922B8E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480f4965e6d5476140a252caa417a8dc753bee36","datavalue":{"value":{"entity-type":"item","numeric-id":5464509,"id":"Q5464509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256d6447ef290c2883e12eed68ed4af55e747c0b","datavalue":{"value":{"amount":"+0.8846037983894348","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":"Q1426470$2810D6E4-B290-4A36-BA58-4414CD3AFB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4e48c62609f05512e6e64a64fa4c0701916794","datavalue":{"value":{"entity-type":"item","numeric-id":1964325,"id":"Q1964325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0b3ab8bf24b13f326f38d040d33e3dfba7914c","datavalue":{"value":{"amount":"+0.8669542670249939","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":"Q1426470$A49DC846-217F-4593-BA97-E7817FE3FD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2b9a8cdaebaf86acd6301993d9a852f4b5291","datavalue":{"value":{"entity-type":"item","numeric-id":4955320,"id":"Q4955320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1308912f97aa701cbf590acb9862e21a72e3aa00","datavalue":{"value":{"amount":"+0.81940096616745","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":"Q1426470$2156AFCB-5B8F-487F-BAE3-FC5F3F4CDBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1230aacb759983875520122e6df3c1956d2e5d82","datavalue":{"value":{"entity-type":"item","numeric-id":5381121,"id":"Q5381121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092d7663f3d08a50704cc1a13160a4ffd41aa307","datavalue":{"value":{"amount":"+0.7986029982566833","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":"Q1426470$A107355D-8240-48B6-B53C-56E276E45300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb497295bb6bb679fd5fbfc6f2ee64ce7c35dec7","datavalue":{"value":{"entity-type":"item","numeric-id":1383160,"id":"Q1383160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea8276013c91468f5040cf4c8beae8799889760","datavalue":{"value":{"amount":"+0.7873396873474121","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":"Q1426470$F2D46761-FA2A-4B4A-A9A9-93326BF1651B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learnability of quantified formulas.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learnability_of_quantified_formulas."}}}}}