{"entities":{"Q1910286":{"pageid":1921028,"ns":120,"title":"Item:Q1910286","lastrevid":73398195,"modified":"2026-04-14T15:46:56Z","type":"item","id":"Q1910286","labels":{"en":{"language":"en","value":"Categoricity of finitely generated algebraic systems in HF-logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 862291"}},"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":"Q1910286$D1071D7B-6380-4AC5-A068-9507ACC355BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a16864926418122f5ff0b205d2a5d105ef0b8832","datavalue":{"value":{"text":"Categoricity of finitely generated algebraic systems in HF-logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1910286$7C728B34-EC24-4DBE-9BD4-82B54D8963CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b138a8d97f016c26906b8f43d8779326a39199","datavalue":{"value":"0842.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910286$BBC24DB2-0546-469E-A644-D9BB265F5223","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8c5320d7aecc91a97985a06856568a0d626cfe4","datavalue":{"value":"10.1007/BF00750550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910286$C373F95C-CC38-4DA0-8148-BBDC3E46078D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc4a39e33209ccc9cd02fed78403d801827222","datavalue":{"value":{"entity-type":"item","numeric-id":797701,"id":"Q797701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$61CC41DD-22D2-45D7-A62C-06157A57EF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4edffd839707ba0d7456e74f0db3f4a77f14bdaf","datavalue":{"value":{"entity-type":"item","numeric-id":1910285,"id":"Q1910285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$281C1DAB-ED9F-4B3D-8F29-5F28C5EADFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b37fd41a4f934e2be7f45ec34972593a5558d61","datavalue":{"value":{"entity-type":"item","numeric-id":656399,"id":"Q656399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$B7225B85-7AFD-4E99-8493-93C06454EE12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$8E529CEF-10A1-43AB-9619-7111269B79B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fccc18d6c4a5ac2eec70cdab732eae3cab6f1c7","datavalue":{"value":{"time":"+1996-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1910286$B1F26BCD-11A1-4356-A865-9CACF4E828B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910286$8ACF0A22-8561-4DE1-8250-25CAADC036A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910286$DBFED3F3-D12D-4B05-A129-5C277B899874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910286$71B7080E-C533-4535-8319-3C85AB5CF670","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"766170acf53d3e9d9f6f4f43e72c1a5c21380cee","datavalue":{"value":"862291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1910286$0ECB33C3-9559-4692-BACC-6765BC019A73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc3bf84793502f1cf1302016b537a0e04d63413b","datavalue":{"value":"weak second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910286$63DBEB2B-BEAD-44A7-99BC-B4FFA084C497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2581af0b7793506264fa1289f77a13c0e0a9400c","datavalue":{"value":"logic of hereditarily finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910286$ABB9FB2A-BF09-4DB0-927B-2C9EF221583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8d48d394a09f820c88e6b9faba3f6459d6a52d","datavalue":{"value":"finitely generated algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910286$C620A475-5AF2-438D-A5FE-8CEB46DDA4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb826e1c048196824662267c365cbd2f11be1d0","datavalue":{"value":"associative ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910286$2CD496CD-444E-404F-B827-F6D27D58E035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec3a6702cea23255dfd697d43a0a73230bb821","datavalue":{"value":"arithmetic diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1910286$2B14F3B6-078D-4201-9EBA-70952F2D914B","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":"Q1910286$F9FDABE1-7A61-475F-AFC7-FE26A8F1D6F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$81369625-35BA-4833-BEAC-EF2023DD004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$A08AD86D-123F-40DB-B094-F9E1894B44F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e718ae9668cda7b8c7cb2ea2d7b582f51ae21b4","datavalue":{"value":{"entity-type":"item","numeric-id":4015766,"id":"Q4015766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$FFCCC0B9-1416-4828-B180-67491AC5BBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a5628879cfe0af6c19746453d7871e3a90305b","datavalue":{"value":{"entity-type":"item","numeric-id":1074717,"id":"Q1074717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1910286$D910E097-C612-4BDC-A214-02F303992631","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097764f56d77ae958e21f8427d0bf70c25eaafa9","datavalue":{"value":{"entity-type":"item","numeric-id":4015766,"id":"Q4015766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed30bae016bbf7fd9bf38e5fe903d294c0fc4b4","datavalue":{"value":{"amount":"+0.6902714967727661","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":"Q1910286$E39F0730-2255-4B01-906A-B73A764F41FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4712d4013fcf335f99fdc11878f94847c31191","datavalue":{"value":{"entity-type":"item","numeric-id":4451634,"id":"Q4451634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c3a3c3cc7cd736e1f574d72d7cd94d9ebfdd21","datavalue":{"value":{"amount":"+0.6856098771095276","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":"Q1910286$12385393-6A40-433C-8664-09BAD96683F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5ae0722589332e062a392227097428e3f551ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525204,"id":"Q3525204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2add6d19bf7b569b9db20d62e722462dd8e42dc","datavalue":{"value":{"amount":"+0.6792583465576172","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":"Q1910286$A428A49D-792E-4AFF-974F-938306241E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea22347ff0855afde9fb8d79bc66391ef911474","datavalue":{"value":{"entity-type":"item","numeric-id":4657630,"id":"Q4657630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e455928fb7ba33d94b853325a977a823d5061d3","datavalue":{"value":{"amount":"+0.6765465140342712","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":"Q1910286$ECC551AA-5DDF-4EBE-A608-C840AD22B3A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categoricity of finitely generated algebraic systems in HF-logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categoricity_of_finitely_generated_algebraic_systems_in_HF-logic"}}}}}