{"entities":{"Q5145828":{"pageid":7175399,"ns":120,"title":"Item:Q5145828","lastrevid":58460250,"modified":"2026-04-05T07:53:34Z","type":"item","id":"Q5145828","labels":{"en":{"language":"en","value":"Bounds on the size of PC and URC formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299924"}},"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":"Q5145828$0B41A45B-0A82-452D-965B-363B4A2C29CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b05615e4828c848020c9832e225871495d6e0810","datavalue":{"value":{"text":"Bounds on the size of PC and URC formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145828$DB2E72A1-C370-4283-8EB1-FC2A546433F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6017dedeb1c55ffb800a946ecb165466ed09630c","datavalue":{"value":"1497.68453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145828$7CF08B08-9D7C-4F1E-BE64-CA52B1F2533C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa48f1028b234c27f9bc905789909c202f226910","datavalue":{"value":{"entity-type":"item","numeric-id":392184,"id":"Q392184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$F09A0B47-A494-4816-8853-EB887C363653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3130e87f1749c59ee4d0e395d449a1e09007fc09","datavalue":{"value":{"entity-type":"item","numeric-id":278738,"id":"Q278738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$592ED4EE-04D4-43D6-B565-78803631ED75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$EAFEBFAD-99E9-47C0-A52D-A484FA97DAAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53f0ceda72590e448029088434c5467f2bd48af","datavalue":{"value":{"time":"+2021-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145828$61567F16-2171-4BD4-B1F8-C9FD74F319F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b7143477d708e50357a7ce448913966d8d5328","datavalue":{"value":"https://arxiv.org/abs/2001.00819","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145828$6481986B-A9C0-46F3-835E-CC3C49B52C9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145828$92DB85E0-2831-4C41-A2AD-4D9BE76E4A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145828$6471D26F-558C-4A3C-BC62-AD94F4C6F5B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1de7a88772287cbf4a445b82338c0d078ef060bf","datavalue":{"value":"7299924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145828$99CCDB88-906E-4DC3-B86A-CF499D850D4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145828$32A3D147-23F0-4D48-9051-7146DFA18AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145828$76945683-84D9-495B-8C75-856F2C4BC262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145828$170BBB82-1301-4117-A590-1DEBB065660B","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":"Q5145828$8904E56D-D0F0-4C6C-ABFD-5604C76482A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63bf78c29917538c9532f90432bd36146629584d","datavalue":{"value":"W3115673399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145828$AF75A699-CD4B-43F0-BC2A-29258BC44D0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce1db6c273e2ee7acdcf2bddbc15bd54a406401","datavalue":{"value":{"entity-type":"item","numeric-id":2815090,"id":"Q2815090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$C1147E6A-E7E6-4ADB-ADE2-1DBFA40CCB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7aa18a98a5ed7b8be2f573937ef8b6f336e1473","datavalue":{"value":{"entity-type":"item","numeric-id":507524,"id":"Q507524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$EE423EB8-4A92-4B75-BFCA-7514E78D3F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$E20AE0EA-60FF-4990-8314-D864AAFDED02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$C6329E41-9B88-4208-BFDF-F2E81EFF339E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d846f425be0af05f38f87c44f6816f5c5b289e","datavalue":{"value":{"entity-type":"item","numeric-id":2351039,"id":"Q2351039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$207BE154-910F-4408-91B7-778436E63BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136916078008f85fe85508dd536c62284b62696","datavalue":{"value":{"entity-type":"item","numeric-id":3523055,"id":"Q3523055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$C42CF69A-438F-4B77-9CA1-BE544411AA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$37F1AC40-5B15-42AB-84B7-464C03FB9600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6697458a25943d7e67b2e1041b89aa17d83e4b48","datavalue":{"value":{"entity-type":"item","numeric-id":2891394,"id":"Q2891394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$38D92C4D-78AC-474C-A98F-72F5291808FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$DF67F2CA-9533-411A-93D6-A4D798705FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$588A0DC1-D57E-4A6C-8FD9-8C095B60719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50833223b5d4891d56f712199fa89f1a8e599671","datavalue":{"value":{"entity-type":"item","numeric-id":2891367,"id":"Q2891367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$3BDB579D-E8C5-4547-A707-B497684F0C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$A36A3AA9-605E-4DC5-B2D9-6090DC4A19EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef64fa5882dccbd45997eb3c858b3ae830a7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":424416,"id":"Q424416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$572117E8-BEE9-4007-AA2C-3CA715A16086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf20bad2f52f0e67f28ec5ef09dc2220198c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":5058462,"id":"Q5058462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$DDEE18DC-4869-4450-BEFD-874EBE2B209B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b97bce5981f28ab9072cf9910a27a2be382c0a","datavalue":{"value":{"entity-type":"item","numeric-id":2927648,"id":"Q2927648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$ECE2859F-25E7-4CC3-8CC2-9984A4D73EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$A2B6D68A-CB1E-488D-9D5E-07B45D9EA29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f4bfa92705b572567f58ecc118973f52ffa3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1680253,"id":"Q1680253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$553E4CC0-4FE2-4829-8DBD-CD8A1A34FD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$268C2027-6A7B-4E38-90D8-0093CE004965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c587c970b4a4b1bec321c1668333ab9d53f17656","datavalue":{"value":{"entity-type":"item","numeric-id":2181935,"id":"Q2181935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$6B687A19-9FA4-4F30-8193-3B358648F3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$EA6FBC32-2981-46FC-B429-DD850B80F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145828$72AFA84C-F284-4AD9-939F-1839C11C5613","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a65a18f7472c8c721275350f4225a15547690a17","datavalue":{"value":"10.1613/JAIR.1.12006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145828$E363A177-42F3-4533-93D9-5C4C6E128016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8478003450a18e2774cd48b1003fd2b783a02169","datavalue":{"value":{"entity-type":"item","numeric-id":3637167,"id":"Q3637167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effee93efb0271e3488c70357d91c6fab88f3bd4","datavalue":{"value":{"amount":"+0.7331690788269043","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":"Q5145828$FEB52FC8-2A22-4905-85FB-8E2177103AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34cbbae1ac331190093428bc3ea6b9d5212fe02","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa175f5af3666dac6f2eec6c39a713bd2277985","datavalue":{"value":{"amount":"+0.7147720456123352","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":"Q5145828$6A76637A-56A1-458B-9D7D-A89D56F4FA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98082a1bde3f89baa351d19730957f553c8c6601","datavalue":{"value":{"entity-type":"item","numeric-id":3637174,"id":"Q3637174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763aff05c3edfa5bb7b905356f8551c738e1473c","datavalue":{"value":{"amount":"+0.7135341763496399","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":"Q5145828$CC31E06C-41BB-4867-9F5E-5D4A2FC71CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb61f4ecf3e2cfeb9a189d06013dbefca5e07d5","datavalue":{"value":{"entity-type":"item","numeric-id":5109896,"id":"Q5109896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e889f282dbc9a09f7f39e9cd828b1fe600773131","datavalue":{"value":{"amount":"+0.707322359085083","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":"Q5145828$B645EB49-509E-465A-A6C5-B4715FC15CBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145828"}}}}}