{"entities":{"Q4732454":{"pageid":6762031,"ns":120,"title":"Item:Q4732454","lastrevid":90725090,"modified":"2026-06-04T21:11:06Z","type":"item","id":"Q4732454","labels":{"en":{"language":"en","value":"On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4118350"}},"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":"Q4732454$30B55498-CA60-444A-B087-6723E29B791D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f381062213d95094931866aa0ab626de7a3a26a2","datavalue":{"value":{"text":"On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4732454$2966BED6-616C-4657-9E5F-D5CF63C8BC46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"138a4297b2099632a0a2aca0b052cfe3a0f29fa7","datavalue":{"value":"0683.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$D48906B2-36A2-48BE-997C-8BA1DA1F3B9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7997190cc7824573398960c096d4e5c57cf4a4a","datavalue":{"value":"10.2307/2274607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$E7518CC1-1A64-47C1-A2BA-FF1E78204E6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4732454$78EC6CE0-C007-4D4C-B30B-57210037A1D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$0C4AFFD4-3963-4244-8829-E91A75567087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$9A578D0B-1D4C-44DE-B4E8-D8368063FFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$995D3AF6-21ED-42D2-BABA-731D8C932F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$034A6D0F-9D98-4EDF-857B-9139AA8FD47E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcd6c36c6631d7cda160741081ac333048529c5","datavalue":{"value":"4118350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$16C6CBE3-4C05-40C1-81B2-BDC8D27688BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$1DB3F400-A3DF-4DCF-90AA-E6BCB7881DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5f4b362ac670040d01985b5bb04f8548e4403b","datavalue":{"value":"algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$C6F34175-5F2B-4EFF-AAB9-E91C7C635B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25188b52de8f2f32299f49af82d7b70b2bbaa17a","datavalue":{"value":"ELEMENT DISTINCTNESS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$C366BC67-6EC0-47C2-B3FB-CD9D09C5C8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8ca240d31d34095ee73f81bcc66d40934bfe27","datavalue":{"value":"DISJOINT SETS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$7638A584-705F-45DE-954B-1D28D22FA00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80d6117191dbc01b5c278384e70baa32f2ab96e","datavalue":{"value":"Random Access Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$F690E533-334F-4302-9968-18690C2F8A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$96DC99D5-BD01-4C3F-9D51-AAB4BDDE3579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7dbe30be9510d1b6326726073959a3e04a0cda","datavalue":{"value":"RAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$764A1733-09A0-485F-BA4B-CCB55CDFDCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddff3a132fb7cabb11b8bc41cb140a41952a1f0","datavalue":{"value":"decision tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$36F1BDA9-6AAF-407D-9AF7-0872392ACD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2ca6ec4cbcb14a22f5209e977e4bb6748420de","datavalue":{"value":"Ben-Or's lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$15A3615E-EC44-4194-8C8B-FDFB42793F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a85742918857551404eafa39ecbf1b4611a137","datavalue":{"value":"SET EQUALITY","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732454$BCDEAE1C-61A0-4174-AA11-EF50CC623A32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d78494649a50abfeb7718b8ac650c7c073c553a9","datavalue":{"value":{"entity-type":"item","numeric-id":353853,"id":"Q353853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732454$4EEE6023-74B6-431D-9AFE-287EAF660309","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":"Q4732454$C4F33A6F-B30F-4429-98B9-3DF81BA8DE47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24977ff9d6bb37fb56caf14e6062f75bf39bb6ab","datavalue":{"value":"https://doi.org/10.2307/2274607","type":"string"},"datatype":"url"},"type":"statement","id":"Q4732454$9B18904E-1399-4674-8DE7-C992DBAB46C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecb66bcb845c13c1acfca50c817c0775b552f0d6","datavalue":{"value":"W4237454406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732454$6BFA82EA-A234-4B01-B724-00C3A50700F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732454$C750041A-EDCA-45B8-A94A-FBF3F72C77D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e00b5b422da0c559baea6b6f616a2ee0e826da","datavalue":{"value":{"entity-type":"item","numeric-id":3751008,"id":"Q3751008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79982920b30d864746ca6fcaea91210487e6e0a4","datavalue":{"value":{"amount":"+0.8444091081619263","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":"Q4732454$C6C79A7B-05F4-4E8A-A0C9-832F3C37D7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7073437f68fd1e3123f4e0eaea0aff65a9e332","datavalue":{"value":{"entity-type":"item","numeric-id":4645192,"id":"Q4645192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928d137d9889183dde1bf6b82358e6f5a8302d86","datavalue":{"value":{"amount":"+0.8351846933364868","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":"Q4732454$67B44B2B-C6C7-4D95-8460-95362F4E30FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c80ba0afae71eae74900aeb1bcb1570717b746","datavalue":{"value":{"entity-type":"item","numeric-id":2784478,"id":"Q2784478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977a1c64301a414977018a8edf722207cba33cca","datavalue":{"value":{"amount":"+0.8173017501831055","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":"Q4732454$3A70493B-B8FF-41A9-9A61-97F7D8FAAC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4635b3148b55c2f0e7f8b2bd2d668025d2bc6551","datavalue":{"value":{"entity-type":"item","numeric-id":3802607,"id":"Q3802607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977a1c64301a414977018a8edf722207cba33cca","datavalue":{"value":{"amount":"+0.8173017501831055","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":"Q4732454$44ED285A-C678-4DC5-AF0C-66A998E7543B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae1b07852254fd76e8ed2f1d3e41b64b82a5907","datavalue":{"value":{"entity-type":"item","numeric-id":3771610,"id":"Q3771610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b9f1ec1169a77eca486eefaccd08307164ea33","datavalue":{"value":{"amount":"+0.8003449440002441","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":"Q4732454$1A7F9EF6-A9CC-4B92-9552-8AF97E003B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the use of inaccessible numbers and order indiscernibles in lower bound arguments for random access machines","badges":[]}}}}}