{"entities":{"Q4779634":{"pageid":6809214,"ns":120,"title":"Item:Q4779634","lastrevid":48014245,"modified":"2026-01-03T09:01:57Z","type":"item","id":"Q4779634","labels":{"en":{"language":"en","value":"Provability with Finitely Many Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1836111"}},"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":"Q4779634$07AB0948-26E8-4841-9657-63B72B0409B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e066d05d9a34493bb7ec2a4c247854761e3ecbb9","datavalue":{"value":{"text":"Provability with Finitely Many Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4779634$838D8685-2BE7-44B7-AB0D-A122CE6EAFD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd94f95f498797b394fecbecc43ccc2365067192","datavalue":{"value":"1024.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779634$A531EF81-0E37-432A-85B4-019D2B008FFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47db33a5a6f613afbcd0c03d1f19892a8082e718","datavalue":{"value":"10.2307/3062204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779634$3C90DF14-E3C7-43A3-B11C-D68A350A82F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779634$9D2059FA-B23A-474A-9051-19AC0CE31198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779634$5D45E76B-B76D-4436-ACA6-EF42EA0C83E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779634$5AFAFF54-9F87-492B-A5CC-C2EAC50E4513","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4779634$A498550C-900C-4B9A-B1BE-BF433A1ACA6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"960a65d2197ccc5a526cafb12da2c37218f9207b","datavalue":{"value":{"time":"+2003-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4779634$0FACAC67-E0A3-43FA-A0F8-D9D7670223C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df109148b92399e0c41f2d2851cb97684e40a106","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0803-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4779634$43BB56EF-7C4A-4572-BD68-1BB0B406F458","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779634$FC0936E4-0419-4687-B70F-69B2C24BDB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779634$063574EE-9373-4FB9-9D63-255EF4BBFD54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14c268a6303875c3b85e045b3039356f64ccbb87","datavalue":{"value":"1836111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779634$50BEE0C6-B2C3-42ED-83DC-E77C24D6D575","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c1f8ecbef520debe4ed65c00c0dc97890c1127","datavalue":{"value":"proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779634$7106CE6D-86E3-4A3A-AF29-87F5BDE6572C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779634$65987727-C2D0-4A16-8AED-90124B4BA32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f81fd79d9a404edbf19c987163b4693c5a6aa6","datavalue":{"value":"first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4779634$13FD5C1B-70A1-4E34-A3F4-1A33D58FB39D","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":"Q4779634$0EB81337-7FFA-4B50-84C2-4A72D19F91A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90c2e90a025a775a68364185aaae950b4df77cb6","datavalue":{"value":"W4205832820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4779634$2FA1540C-075B-4D92-9780-9B21C38D787E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc69c622f6cc7e1f9bc9059cd2ccdd6bea278d8","datavalue":{"value":{"entity-type":"item","numeric-id":3204457,"id":"Q3204457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61d6b099809d6782b8f4b67ffb6fbf76fa06741","datavalue":{"value":{"amount":"+0.7781348824501038","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":"Q4779634$41757E05-2E80-4DE1-A96A-768E1417362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54f6a9e9975216e39cf3f3e432c55852bd50993","datavalue":{"value":{"entity-type":"item","numeric-id":3647292,"id":"Q3647292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5017e1cc4d7bf4f331dcb12de547e564004561e6","datavalue":{"value":{"amount":"+0.7716205716133118","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":"Q4779634$DA46E1F8-92A6-4894-9871-34005585988D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffe827bbe0fc97db4a32b044296fdc3d6ca882d3","datavalue":{"value":{"entity-type":"item","numeric-id":4249221,"id":"Q4249221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dacd44b8f0052e7a0fab337f9f4f3c1b7f7d40","datavalue":{"value":{"amount":"+0.7508591413497925","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":"Q4779634$C2C2F3DE-2984-4AC7-99D9-2FCA0343A778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a61e2c46df1de9eb5a2cbf279bf9fe379b5c085","datavalue":{"value":{"entity-type":"item","numeric-id":4255974,"id":"Q4255974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fb6db5eab59b4b901ad750d758b830a89037fa","datavalue":{"value":{"amount":"+0.7433951497077942","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":"Q4779634$A6F1E216-179C-438B-93E5-208403A331AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40d92fa97093c76018459af70da45c4cb1a659a","datavalue":{"value":{"entity-type":"item","numeric-id":3469102,"id":"Q3469102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fb6db5eab59b4b901ad750d758b830a89037fa","datavalue":{"value":{"amount":"+0.7433951497077942","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":"Q4779634$A626AA6E-86BD-4635-9CFD-DEB5C496AA19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4779634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4779634"}}}}}