{"entities":{"Q1854556":{"pageid":1865298,"ns":120,"title":"Item:Q1854556","lastrevid":73667190,"modified":"2026-04-14T16:50:52Z","type":"item","id":"Q1854556","labels":{"en":{"language":"en","value":"Linear time and the power of one first-order universal quantifier"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853282"}},"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":"Q1854556$4336E078-FFBA-46FC-A3CF-FD239901A4AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58b1e18453a3da342e5e8e558df7a53752cb3973","datavalue":{"value":{"text":"Linear time and the power of one first-order universal quantifier","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854556$C81A3AC4-6715-48EF-AEA5-3603A9077E6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3b20bfc13f56d4fdb258edc4380b8136c599ccd","datavalue":{"value":"1012.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854556$2CD65A60-F657-4ADD-BA6D-9879DB66C5E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3af4835eb34b0c01ebb51a17d4fb032844b737e","datavalue":{"value":"10.1016/S0890-5401(02)93027-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854556$C1199363-79DF-4A36-B117-45DE263AA485","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b82a23595fbcb5b1156c148fd35f761f8929ef","datavalue":{"value":{"entity-type":"item","numeric-id":235688,"id":"Q235688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$89603087-1005-4BAA-883A-A839E56D8700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$76097E53-D187-4F05-8A28-165496A42A06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-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":"Q1854556$40AE412A-B778-489A-BEC0-519FB2B1E1CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854556$6F060E32-92FA-401F-A125-FEA73A81CB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fa1914765846c80108f6b5e08e931414d0bb958","datavalue":{"value":"1853282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854556$DFF05702-5EFB-4607-99E0-A0AC40009DE1","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":"Q1854556$789E4403-EEFB-46C6-B6A3-ECE119447843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aba5833662215ee6a49861d05418334754b27cf","datavalue":{"value":{"entity-type":"item","numeric-id":1366538,"id":"Q1366538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$DB923F5E-C1D8-410D-B0B2-E6A3BED11C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff70f794b26e320204c34a00c8318c5a3faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":4399718,"id":"Q4399718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$3BA0E7CA-C907-45FB-89B2-A51639A22BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e30c154e65fb570f517c89fbefb0f5e51d7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":1350533,"id":"Q1350533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$9882F33C-79D2-4112-8AFC-7FA41C437647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$52CE33D1-F855-482C-A7A3-9BDC223E9BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc25197c097c6cf42299e484db9dc909a75d149","datavalue":{"value":{"entity-type":"item","numeric-id":909462,"id":"Q909462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$66DB9F3B-64D7-4081-9535-2E7ADC030596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9002d239a0b3d5b0819c7edce8a6031d2053e9","datavalue":{"value":{"entity-type":"item","numeric-id":3477958,"id":"Q3477958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$A219C03C-CC5D-42DD-BD5A-6F2D1D1B09E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fffabe1d24f9c9affeb3427513d27f3b9e0fbce","datavalue":{"value":{"entity-type":"item","numeric-id":1327595,"id":"Q1327595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$1AB643A6-3705-4BEF-A55E-97E1CBAACD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6cab000a8620ee751c1c3c2333e16e8513bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4302285,"id":"Q4302285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$266F6E93-5B06-4B5C-B0D5-C61F5E9BAFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dfcb1be46407811dd5549cc2b38985c96f059e","datavalue":{"value":{"entity-type":"item","numeric-id":1817067,"id":"Q1817067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$16FFF362-4EA9-4395-BB65-F3D999AF3A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6079e7b3089d6f35739a850cb859fdb69b6e13f6","datavalue":{"value":{"entity-type":"item","numeric-id":1266167,"id":"Q1266167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$8266CAA6-1F5B-4211-AE87-90B2D9940828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$0E472A7B-233A-428D-B551-AE2F0EB24C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a5f8c38dc9aa69650033303ed3bcc47054a76a","datavalue":{"value":{"entity-type":"item","numeric-id":3942945,"id":"Q3942945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$AB3C0CF0-BFDE-4929-85BD-2B0F140BFE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d6a3380ce85df6d8bde910a70075841d037ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1198956,"id":"Q1198956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$5F1228B7-31E5-4360-BF0A-784D031E26D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c95efbea759d73264522e170c2c2027f6c1efd0","datavalue":{"value":{"entity-type":"item","numeric-id":4218942,"id":"Q4218942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$2F07C41F-4EF0-4AC0-9E9E-D15CF82E5112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4840465f3796d350b8efe44772929ad2f90105","datavalue":{"value":{"entity-type":"item","numeric-id":4593949,"id":"Q4593949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854556$186920C1-CDFF-43E5-B7E8-C2D8DB4F619D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa686ea2704245a162edc68bb6e3821edb3c4f6c","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(02)93027-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854556$0A0923FB-EB63-4006-9FCC-A57B04BCC1C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08e28b173d77164fccfcca7f2de0c9dde177c375","datavalue":{"value":"W2041797146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854556$64C8534F-7C08-43E8-9777-E04145862A67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a871048f7e5a4fb0cefe6b2c924598f87d7f4b96","datavalue":{"value":{"entity-type":"item","numeric-id":4218942,"id":"Q4218942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a87fff37f14cbc19002e6bb5778dbb54e7f4d0","datavalue":{"value":{"amount":"+0.8101595044136047","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":"Q1854556$C024D468-3DE0-41CF-8966-C09EB3499D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b3a0b54ce8744692e2629fd08fd35b43d647e6","datavalue":{"value":{"entity-type":"item","numeric-id":1266167,"id":"Q1266167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3934e35bfbaf3e993d6d707332aa8e9acc5ce6","datavalue":{"value":{"amount":"+0.809590220451355","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":"Q1854556$777B0BF4-3711-4B16-B9CB-A29F82FD5DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa11b43419910966c8cbeb089e9c2efdf45fea5","datavalue":{"value":{"entity-type":"item","numeric-id":4263790,"id":"Q4263790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77a3abbe226a7f5a72cf4075aa0395ab6c8e531","datavalue":{"value":{"amount":"+0.8077974319458008","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":"Q1854556$EB12D5AC-6EE5-441B-A043-75EE90AC1864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6c6fc887914ae1d0c949750c3f6458e7a777d9","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6b07458893da4d41d2577a22a7407e797ef700","datavalue":{"value":{"amount":"+0.8059711456298828","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":"Q1854556$FFDFA112-B2DB-4E19-BD25-453B14F45EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f4fded09eaf2adb144e3cf16edadf56a92cafa","datavalue":{"value":{"entity-type":"item","numeric-id":4251045,"id":"Q4251045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec74ddff0474715be1ee144cf4583d418735fc42","datavalue":{"value":{"amount":"+0.7904778122901917","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":"Q1854556$64A5AF80-4DE2-491F-9A3D-F78ADF0BC81C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear time and the power of one first-order universal quantifier","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_time_and_the_power_of_one_first-order_universal_quantifier"}}}}}