{"entities":{"Q1920081":{"pageid":1930823,"ns":120,"title":"Item:Q1920081","lastrevid":69303084,"modified":"2026-04-13T06:06:28Z","type":"item","id":"Q1920081","labels":{"en":{"language":"en","value":"Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 917996"}},"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":"Q1920081$36F25CDB-A36B-45E0-8AF4-61D655CFEBF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97661421706cb4ca29f3eec60afc55a30917784","datavalue":{"value":{"text":"Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920081$75D6E4BC-2C8B-4C61-9EA0-FF37C1A0EC7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0ce00accc87b1187ba51f356b36e90bd652c271","datavalue":{"value":"0848.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920081$92C8D653-F14D-4578-9728-B14532F1A010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb214a324578d364a00ee337c3e0f9ef9754a9a5","datavalue":{"value":{"entity-type":"item","numeric-id":178387,"id":"Q178387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920081$4B50010E-62B7-438F-9A0C-C44820BAE428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0a540be7c2b44ff860d37a7e59d2a0b3a500416","datavalue":{"value":{"time":"+1996-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920081$2A885F69-3BC4-4C83-8E0C-65BD17844C70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920081$52EC3374-E5CE-4D2A-A0F0-EC2CD20FD8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d85414f498b47225832eb44cd75f68eca32e508","datavalue":{"value":"917996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920081$83E4ACE2-293B-4E60-9E55-E1BCADE4E1C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd9f90c96cf58753229ec6dc300a8dd03001419","datavalue":{"value":"finitely axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$CCF315E8-A9E3-45EF-AE21-D1106CB1D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bea7e8f7577e1505c69e9e27ceadc1b0dc0a105","datavalue":{"value":"recursively axiomatizable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$18F33DE7-EE45-4AB9-87A6-0F6ABC9305F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$5B76831A-6A08-4A6C-B8B4-40B622F46B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba382c4b619ebce896668b4e5d5990c886dac5a8","datavalue":{"value":"reduction of signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$E28C92C2-6F34-4822-8581-38EE90EE3330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$F246C768-94A1-4C46-B520-5AEAB27F53EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$6B7013EC-6BA6-4C94-AEB9-5F0718EC88E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0503e87b0acff26f635285d13119340cdc06484e","datavalue":{"value":"Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$6D418151-6F41-4394-BF46-E305BD40C826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc61a5318a4d6d185266a944268bef27177a2bd","datavalue":{"value":"semantic similarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$1B22DC75-1E79-4913-8A1D-388C9C1AFFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fe636b0ab1f283849c2de9ebfa071ac2ba24c1c","datavalue":{"value":"model-theoretic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920081$E0C595DE-E029-4DAD-8474-6829BF27ED9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920081$D202802E-AC37-420E-8CAF-383F0F562D36","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":"Q1920081$9318AA74-E6E6-43A2-992D-7C831102C1B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7820a59de7f01158603b39a625d6163963314548","datavalue":{"value":{"entity-type":"item","numeric-id":1920094,"id":"Q1920094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1df9ece5a6adb67d45f05964734221546697906","datavalue":{"value":{"amount":"+0.8236652612686157","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":"Q1920081$553300E0-E7C1-4017-9808-C201D3E5A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f81b8e6a801b8d13ba05952a86130fccf83afd","datavalue":{"value":{"entity-type":"item","numeric-id":1920077,"id":"Q1920077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03975cca32d9cc9700a51e63c4244fa9e7571a78","datavalue":{"value":{"amount":"+0.7652435302734375","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":"Q1920081$229BEE95-F40A-440A-B88C-8C028807A787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0391c54b2ee1b915268e6a0bff8c1cd271771695","datavalue":{"value":{"entity-type":"item","numeric-id":4362314,"id":"Q4362314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"610a7bb7a5ee94bcd9af25c2b5953f8cb8c1a224","datavalue":{"value":{"amount":"+0.7351218461990356","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":"Q1920081$B91CA55D-CB05-4E05-8FFC-133288612743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b07b318e98838f896cdbb2141ccb370f4a79a35","datavalue":{"value":{"entity-type":"item","numeric-id":4395573,"id":"Q4395573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd88cb18dd2a4ab112df37c1286b1b7a8d4ee473","datavalue":{"value":{"amount":"+0.6781862378120422","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":"Q1920081$0CE9B5CF-0D51-49CC-8B6D-A41E02C3133E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressive power of finitely axiomatizable theories. II: Rigid quasi-succession","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressive_power_of_finitely_axiomatizable_theories._II:_Rigid_quasi-succession"}}}}}