{"entities":{"Q1271562":{"pageid":1282312,"ns":120,"title":"Item:Q1271562","lastrevid":68690301,"modified":"2026-04-13T01:27:29Z","type":"item","id":"Q1271562","labels":{"en":{"language":"en","value":"A constant-space sequential model of computation for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1220921"}},"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":"Q1271562$39EBC46A-50F4-426C-A1E8-99E20602EEA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c727fa27ee729dbca3152271925f48d6694c7444","datavalue":{"value":{"text":"A constant-space sequential model of computation for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1271562$B2C0D96C-4378-4901-8158-9BB6AF8A60F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2793c517d933f91b4afaffc03a5173c6b380cbe3","datavalue":{"value":"0914.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$AFED7B3F-07D2-4D79-BE54-743A8C4917D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d5823617565d861dc97dbf80cb361a68d21154","datavalue":{"value":{"entity-type":"item","numeric-id":1183570,"id":"Q1183570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$E84E69FE-0557-4657-8249-2D73D1B07595","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":"Q1271562$FF561741-5765-45B1-8074-660FC7EB5A03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e323415c9b9bf123afa53c27de1b0795aa8ea753","datavalue":{"value":{"time":"+1998-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1271562$1C13BDE2-58E2-4F8E-AF76-A68C988C8225","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d73293403c1dc5b804f3dded8b95e57b0ec91fcd","datavalue":{"value":"A natural sequential model of computation with a constant amount of read/write work space, despite unlimited (polynomial) access to read-only output, is defined. The model is deterministic, uniform, and sequential. The constant work space is modeled by a finite number of destructively read Boolean variables, assignable by formulas over the canonical Boolean operations. It is shown that computation on this model is equivalent to expressibility in first-order logic, giving a duality between (read-once) constant-space serial algorithms and constant-time parallel algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$EDB634D1-0F89-4779-8A1B-4037C10F7E1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$59724FF8-6D6C-42CC-B32E-C9671059C95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$967A8A2C-FD35-4787-B34D-0590572D58ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$CAECB59F-8185-4A29-A07C-04BC5E0116C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$BF7C68E0-E0CE-4371-B6F4-0775FB07976F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$3CD56E9D-E449-4808-8916-2F7FB8A257D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"086d40621c5f4ec7fb845f8a43f263263facf4ac","datavalue":{"value":"1220921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$E4F90EED-4107-4372-B759-8A4F3DF9F2F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$09DEEB7E-E260-4225-BBFC-6C79BE31264A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da85795c2cc70eb5808fb64fa0078749a17f4ba5","datavalue":{"value":"sequential model of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$9E65410F-EAC2-4093-AA69-98AB5A119FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500b753ee15191c91d23df765617ec2daf38a29f","datavalue":{"value":"constant work space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$3EDC2D10-6D7E-4F2C-B97D-02A07CAA8676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb03d47bf2cc64c386073407b302b105bf9d7527","datavalue":{"value":"expressibility in first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$74B9213D-3A0E-4DCE-B5CE-5940A1B32438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6e744c1bb75addc6e5292d53db3b506d57fceaf","datavalue":{"value":"constant-space serial algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$FB789F2D-7D7C-4E23-9B93-DE791143EC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc63580f310cf9731c5600499928b7264aec531","datavalue":{"value":"constant-time parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271562$A19270BA-EB80-4910-AB65-B19B06B44AFC","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":"Q1271562$AAD85F4C-AE52-4E92-BAF1-21EB07B7CC9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ece7e68e9b8742e1b8d393a48d83ab1369a0f5f7","datavalue":{"value":"https://doi.org/10.1006/inco.1998.2702","type":"string"},"datatype":"url"},"type":"statement","id":"Q1271562$512B9E26-423B-4E4B-9CF9-779FDAF1E95A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d69a049737ee15a2c2a70accc6a46652c636be0","datavalue":{"value":"W2178872860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$F1CFEC4C-CF8C-43D8-A6B4-0A914469F0BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff01a701025a65c0e4f34147462d374b661b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":4337654,"id":"Q4337654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$0C1C895C-F1A9-4CCB-B1E8-E9EEE3D7388A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292dfc4fff7a7c91821047d3e084f1ea2c9e8c58","datavalue":{"value":{"entity-type":"item","numeric-id":1183444,"id":"Q1183444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$6726E8DD-CBBE-4458-943C-614E15FA3F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d76a8cc0e2db7b2fe667c0ce2455c20994ee07","datavalue":{"value":{"entity-type":"item","numeric-id":3140633,"id":"Q3140633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$868F52EE-A926-4BC8-B1BF-715C24EBE780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288f37d8a837249ff4cf0b134db1dbee259d89ad","datavalue":{"value":{"entity-type":"item","numeric-id":1191027,"id":"Q1191027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$2D1F8D11-0227-4420-803F-7937ECFAC23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f45263e368a772c7f21f682fa40f49b1254de5","datavalue":{"value":{"entity-type":"item","numeric-id":4359454,"id":"Q4359454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$E34E705D-95DA-4EF8-AE08-4774DCC1BC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$4AE158FA-D674-4A5C-A766-C75112F213B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311a34b230176ceecc0b30267639c631ee13e2ee","datavalue":{"value":{"entity-type":"item","numeric-id":4035303,"id":"Q4035303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$30E832A7-BAD9-40B0-9AE9-1C5AB585A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33af22eaf65f5b4ee08bb626826ae3899aae9757","datavalue":{"value":{"entity-type":"item","numeric-id":3221973,"id":"Q3221973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$D04D57CA-F09D-4FC1-8599-92AE876034B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19525a32770bc0161d21fb40f62cd8531fc10179","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$8062C2E4-52E3-4A51-BE6B-4C17E4FB47AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc34b5013f1bdd3858aa6eccc4e12ff859c7f36a","datavalue":{"value":{"entity-type":"item","numeric-id":4210837,"id":"Q4210837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$BF5E85A0-EFFA-491D-BDEA-567A6327895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$C2199A61-182B-4A4B-803D-266286C2704F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$9537901C-5413-43D5-9A6E-01BB796D061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50005a2b2f7e9ed8ede3eb23a6085a4d060e443d","datavalue":{"value":{"entity-type":"item","numeric-id":3816984,"id":"Q3816984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$C2802271-7F92-4F2B-B8F1-B61A7F1D1632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676aece04fac8129461c6664e138fe6c7db92251","datavalue":{"value":{"entity-type":"item","numeric-id":4207580,"id":"Q4207580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$F4C6A5C1-EC23-4C02-A4E6-C3B7557B2304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2b3416fbdb054b37e195da38429530c20b9d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1346717,"id":"Q1346717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$63DC863D-5BAF-4C1B-AF1F-1CD44BB23AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0149aee287dc4ae35481a5009500cda010d809e","datavalue":{"value":{"entity-type":"item","numeric-id":1327317,"id":"Q1327317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$C38412A0-81A5-4E50-8C15-F133C6434951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d8ebd3ef53d7996f7c569cf6663fe1170b13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4302435,"id":"Q4302435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271562$23D2E84D-78CE-4F32-9485-237636C91EB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"877e7a6bbad2846f54464a823110a1825398a0f7","datavalue":{"value":"10.1006/INCO.1998.2702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271562$2CB06AA3-CA0F-450F-8036-E79C3937F780","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deaff6fa1fb8f7a077578a3b1f49e3bcfa7e04f6","datavalue":{"value":{"entity-type":"item","numeric-id":6064294,"id":"Q6064294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beaac5ea1897a827c21163aafb54e9a182c1385b","datavalue":{"value":{"amount":"+0.98313564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$4A33384D-6BA7-436E-96A5-8C971EFB2DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceeaef1ce400420198801bc6c2b099370aa9099c","datavalue":{"value":{"entity-type":"item","numeric-id":353506,"id":"Q353506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc117a038a8937538220f6265aeea4c4b1df469","datavalue":{"value":{"amount":"+0.87476486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$431B1F79-D930-4DAA-90A1-288CF8D0C5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4d93c4d76a7ba344882e3131065a19fde672a6","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e04dca9d321f6a4e116f670779c322534dae2c","datavalue":{"value":{"amount":"+0.8724816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$8F013940-FA49-48B2-B436-9CB313C394B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8d1733e4ee183f9d4ebb3c9592286cbdd719d9","datavalue":{"value":{"entity-type":"item","numeric-id":2027216,"id":"Q2027216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83897f166852aa15efb427473ee2d14858afc9a","datavalue":{"value":{"amount":"+0.87086666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$2C9AA480-E69E-41E6-ACD2-BD4F1B5D2D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00058f037f22647676255159cc8be291fdf1cc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3c46e7031ea985f0778003dc3c6390a241ba46","datavalue":{"value":{"amount":"+0.8681606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$665A8B1B-00B4-4AD2-8B5A-1F975886990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d5c56bcc6aeebdf7dd718eb8e042abba5a883","datavalue":{"value":{"entity-type":"item","numeric-id":5410328,"id":"Q5410328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca9a7531bac6805d7d98caa80b0b9ce2ee640a3","datavalue":{"value":{"amount":"+0.86774886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$3D025715-BDAD-472F-8603-F4A4EB6413B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4154cd91e98b8c24d9a08a75f3aa2811c96e18b","datavalue":{"value":{"entity-type":"item","numeric-id":999265,"id":"Q999265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a96c5d5b64c3b3d195e2596084232509e8d0a5","datavalue":{"value":{"amount":"+0.86544853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$E636C5E7-E5A9-46EB-A246-811226696F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae896f223a3cd172373969bac1069175595d131","datavalue":{"value":{"entity-type":"item","numeric-id":4501150,"id":"Q4501150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9d7934736e8dbfe663238cec7e6b9791704094","datavalue":{"value":{"amount":"+0.86422616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$00710481-8147-43D2-AB02-82A32B8C0D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c75ef98a2d0d9d1f3e21d6eab9f831d7abf2014","datavalue":{"value":{"entity-type":"item","numeric-id":4972729,"id":"Q4972729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de1cf8eb4f07d3a8b604dc89ab04d232913317e","datavalue":{"value":{"amount":"+0.8595904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271562$D82C5537-5935-4C75-97C4-25B7E78A3552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constant-space sequential model of computation for first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constant-space_sequential_model_of_computation_for_first-order_logic"}}}}}