{"entities":{"Q4724634":{"pageid":6754211,"ns":120,"title":"Item:Q4724634","lastrevid":49050070,"modified":"2026-01-06T12:51:37Z","type":"item","id":"Q4724634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997794"}},"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":"Q4724634$149D89F5-D2C3-4EAF-B75A-374B6E89451D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66e52d9881a7468520bf0c9ecbfb24f4ea9e560a","datavalue":{"value":"0616.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724634$98CA6FFF-5BC1-4B98-8EC4-E9194BA2A390","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q4724634$99F8073E-F24C-4D65-B9AE-EE065B8179DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724634$BB890D39-A604-4E41-9853-5EA5C0BEED4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724634$24F181C0-1D5D-4AC0-8947-57F0D753E89D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df6557212feabbf84509d3b05ddd812e48bcaf1e","datavalue":{"value":"3997794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724634$715819F3-D647-4312-B142-1C979D907BEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$F853048C-C152-450C-90C5-A57D124BC4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b5c5d649273b0cb25351497f947351dbcd6657","datavalue":{"value":"transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$76C9BF48-0128-4C5C-8C20-917B1F010E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6e538f2495b0aaabc0d98ce81248cc125a5265","datavalue":{"value":"Heyting-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$E24F428F-E6DA-4FE9-8AD1-617565538157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602f84174811d5e8b9c4d524d242a494a9644445","datavalue":{"value":"rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$8A4F4A4A-2E19-408A-9BEC-F414AB4B9550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9b6344096dfbbfbc55cfa95e9e6f1e36700be3","datavalue":{"value":"modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$32B4D7FA-B193-4DA5-94A3-CE8B0183E761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"646856faf228a7fe7086587f110a97493d6aa838","datavalue":{"value":"first-order properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$94CC1486-C559-4C08-B181-9D30F89081D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724634$8B16442F-154B-47FA-9B11-1800BB0E7584","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e942b7c523827b4672341da17b11181636aba381","datavalue":{"value":{"entity-type":"item","numeric-id":440691,"id":"Q440691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724634$ABC59CEF-DB26-48FB-8A8B-6722129EA8BE","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":"Q4724634$F8E9DEA1-B6B6-433E-9028-3B37720508B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a136fcb825eb43504a8d4d0dca3434ef752ecd","datavalue":{"value":{"entity-type":"item","numeric-id":4499126,"id":"Q4499126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c87a874d9f00cd72f6ed4a1766629e02adc1ef3","datavalue":{"value":{"amount":"+0.7844334244728088","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":"Q4724634$B33C48D1-F993-4D51-8FFE-2156388FF1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a44d457debc853e9b9c7271276f931a4d53acb","datavalue":{"value":{"entity-type":"item","numeric-id":3621591,"id":"Q3621591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4d602d93fa35eeb3615fad4f080e8160d8fdd3","datavalue":{"value":{"amount":"+0.7531923055648804","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":"Q4724634$29B2671B-9B89-41EF-AF5F-DC879246287C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcdd81cd3181ffafcfc057025f8a75dc89b64ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4726253,"id":"Q4726253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57882fae6a9b53eb7c5ad4d7cc3aefa5d16382ae","datavalue":{"value":{"amount":"+0.7521196603775024","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":"Q4724634$10C73928-B0BA-468D-B369-FB95C0E7ABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee147649f39a5bff5161467d608164ff0a1edbe","datavalue":{"value":{"entity-type":"item","numeric-id":5562589,"id":"Q5562589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6e6f49f2ec049dd1a521ec7faf33696c10ea92","datavalue":{"value":{"amount":"+0.748176097869873","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":"Q4724634$285DE4EF-1227-4F5D-9330-6594F9B4CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8155a26ad5f0741bbb348bd3a9bed130cdaef5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3800038,"id":"Q3800038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489d2de6a27852b1f6f5180a38639eddc6ad8ea6","datavalue":{"value":{"amount":"+0.7467249631881714","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":"Q4724634$6AF28BF0-6F3C-4FCA-B198-B0128C157D0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4724634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4724634"}}}}}