{"entities":{"Q3922672":{"pageid":5952577,"ns":120,"title":"Item:Q3922672","lastrevid":54997465,"modified":"2026-02-02T16:17:34Z","type":"item","id":"Q3922672","labels":{"en":{"language":"en","value":"Speed-Up by Theories with Infinite Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735804"}},"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":"Q3922672$40EB7FDC-2B65-493E-A981-D83708D82F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ef68c32317c15ee3edec65db131dac669e42563","datavalue":{"value":"0469.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922672$360C4B8B-7432-427E-A2B3-337DE0D64B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fde0c3a7491f94dbfcc4df61b771c3fed349e2f","datavalue":{"value":"10.2307/2043488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922672$AACF6AA3-B0CC-4BE0-AA29-090FF4EF2999","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":"Q3922672$48CC70AD-A119-40D9-B032-8D853609177D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922672$89B4A531-29C1-4653-A42F-DA68226C7D56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6059477a1744dec2b03efbbdaf96864c243ef18c","datavalue":{"value":"3735804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922672$E7BF38E9-2A4E-4B58-A10D-C18B9D559018","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922672$D246C6ED-6153-4E39-B386-B15BE7BA358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922672$100AF363-268E-456F-932A-84208A832F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8009ef9e9558210c96e4ea7a638faf2993b3e8de","datavalue":{"value":"speed-up of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922672$B3D80555-2C6F-4F7D-9F0D-0AB6E5EBC65F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922672$ACD8FF33-4A89-4E4E-9FD0-4B3CC834DF2D","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":"Q3922672$1F5E9584-9A58-466C-AE52-C1467D7E2C8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e69e7b7384b9523c11adcbfc13fc3784acf1b1d0","datavalue":{"value":"https://doi.org/10.2307/2043488","type":"string"},"datatype":"url"},"type":"statement","id":"Q3922672$AB02F6C1-9F8D-4CDE-B942-B45F572CEBAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c98974f38ae93a84502c5254dc22b0cd7e31d099","datavalue":{"value":"W4236804331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922672$EA1DF79B-EB90-4DAA-8709-54477F19D8F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f07f7e843a1c500edc64e3c2b2a800286b1a42f1","datavalue":{"value":{"text":"Speed-Up by Theories with Infinite Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3922672$52AF2C42-5866-4C6C-8B4D-6523A4D8DF0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e497f8d578333e730d1effafbdb56917c53f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3228606,"id":"Q3228606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922672$80FCB779-8452-4A4C-B3D6-67ABF5D61A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922672$02B8C9B1-5A9B-40C0-8C4B-F8D5EDA4DA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761227e28ec3092e559c7874757d0ce5e8b995d8","datavalue":{"value":{"entity-type":"item","numeric-id":4198749,"id":"Q4198749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922672$96002BE0-1C2E-4475-A2A6-B418858DBE29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3922672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3922672"}}}}}