{"entities":{"Q1164622":{"pageid":1175371,"ns":120,"title":"Item:Q1164622","lastrevid":42922828,"modified":"2025-07-16T01:45:28Z","type":"item","id":"Q1164622","labels":{"en":{"language":"en","value":"Number of quantifiers is better than number of tape cells"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3763915"}},"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":"Q1164622$3BA64DFE-13D7-429C-8B2F-4B614E1E6623","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47fc3ec21c2b18117e13147db4c98cd0a287532e","datavalue":{"value":{"text":"Number of quantifiers is better than number of tape cells","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1164622$4B7BA754-433C-4981-BA78-D0B30ECC9AA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6edcb794934041f7dbcae5e58aad40d507299ff7","datavalue":{"value":"0486.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1164622$82C907D9-DC55-4BB9-9E55-50FD3DFBDE63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdb352ab59c800101ed9be9527d3d82a0ccee95a","datavalue":{"value":"10.1016/0022-0000(81)90039-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1164622$84D3123C-5AFC-426A-BA50-B64B254F3856","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$8AB80665-B575-4DF0-8259-7A0F52B3CD66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1164622$425BC751-139A-4914-B5D6-601F4C6E9756","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92efa92449289647378c3e46fd5ff2d89be1b3ac","datavalue":{"value":"https://hdl.handle.net/1813/6250","type":"string"},"datatype":"url"},"type":"statement","id":"Q1164622$6B3D44CE-D52B-419B-854D-86428628C027","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1164622$8A381452-47BD-4A55-9D27-A856F3C7A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1164622$615B584D-0C30-496E-B7E0-8FA60610FC30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43b28aa8d7aff4c80c22c5aaa417d8dd8d75921c","datavalue":{"value":"3763915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1164622$90F1929A-98F1-472F-A859-29732AAEF390","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec171027d1650ccf5b7f14821b846bd5dc75680","datavalue":{"value":"complexity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$4E17C543-4EB9-4875-9FC7-E0AAB4A88944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393e9ac75ca15a02b57aa2d83aa1ec1161a438c4","datavalue":{"value":"quantifier number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$5A53A781-9B74-4EF8-977F-E7260B715E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958dd64877045f518ca478f3e7b2490ddd347c60","datavalue":{"value":"quantifier rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$63FF15B7-F2FC-4E0D-ABBC-F8254683DAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"214f1d39f03d01bcd1ab67173d5c65438755c4c3","datavalue":{"value":"uniform sequence of first order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$C698FFA0-470D-417C-B8EB-4E8B41DBDE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$CECFA50D-31A3-42FB-9131-8756ED6050E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$0D1E05C0-76DB-4B4A-BC57-C96C09F8B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b170c25ea08f962ac4cd974bef6da8eed83ddb97","datavalue":{"value":"Ehrenfeucht- Fraisse games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1164622$FD7B51FC-CDA0-43A0-9170-26EC57C16050","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":"Q1164622$33025F73-E2FE-4FD4-9291-2227B6062A2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca7492fb3072c54e40e9509f7beb10d79fadb710","datavalue":{"value":"W2043507528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1164622$73B7DAF5-0E01-439C-88DF-51745DB9DC7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86a79bfcfca810fb7601492bd0551fae9de8408","datavalue":{"value":{"entity-type":"item","numeric-id":4142697,"id":"Q4142697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$3BC1777C-C6C2-4629-A0F9-934C35C65A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$F5C03BF5-AD8E-47C9-B2B8-EF4C1B887FFE","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":"Q1164622$F8B1AE0D-10C1-4D7F-BCC6-CF086EDCD198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$70AE3B11-9A48-4929-BD55-B8A8B488684D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$B2840826-DC5E-4624-BF72-792E5FA9DA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$5CAE86AB-E086-470D-BCF0-D3FC79D09A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd898582b3042cd9f98f55a99a55f26af0712fb","datavalue":{"value":{"entity-type":"item","numeric-id":4128417,"id":"Q4128417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$FD2F0CF1-E329-43D6-B3DC-27C6BBD1AD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e876a74df4c5afd434282460ace786203847bd5c","datavalue":{"value":{"entity-type":"item","numeric-id":4131020,"id":"Q4131020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$EE4992F9-9633-460D-80AB-C2A5352B0CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcd71ac0ee1662e3c5c0f5046af9d7c75419ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1221749,"id":"Q1221749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$9B7AE45E-6A27-4174-94CC-A812DFB9AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6b6537a8c32e823da2d8eed00d4eb81ae5d6c1","datavalue":{"value":{"entity-type":"item","numeric-id":2264758,"id":"Q2264758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$D224622A-B939-4BA2-8043-C4F71B1C4BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8204e33a64335b29aacf5afaff9165d5ab3276a6","datavalue":{"value":{"entity-type":"item","numeric-id":4181956,"id":"Q4181956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$89E9C5B1-5EFD-4141-8B00-C16902FCF3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$BFB0623F-E165-4B83-ADC4-40831DEAB612","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9449ce466a2c684a15ed4352b5933311b5f46f1","datavalue":{"value":{"entity-type":"item","numeric-id":6482617,"id":"Q6482617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1164622$DCF6818C-097A-45FA-B84B-9562E194166F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1164622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1164622"}}}}}