{"entities":{"Q1874228":{"pageid":1884970,"ns":120,"title":"Item:Q1874228","lastrevid":69170025,"modified":"2026-04-13T05:14:11Z","type":"item","id":"Q1874228","labels":{"en":{"language":"en","value":"Advanced elementary formal systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915301"}},"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":"Q1874228$FE9CD3DE-E396-47EE-81FC-7F32CC16F731","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3ebdbff7a9b3ed2428c0e4ac7edf2769cf34037","datavalue":{"value":{"text":"Advanced elementary formal systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874228$7CB9C42D-B234-4A4B-A6FD-310588395398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7b44b1353da91604a8e54dceb3e215d8c5e1dcf","datavalue":{"value":"1038.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874228$08676A2D-B1BA-4B5F-9573-F62581B9EDC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a970e6bd23da4ba91717214f37bbbb326f3f9485","datavalue":{"value":"10.1016/S0304-3975(02)00418-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874228$A0FA76B6-22D7-4C96-8E90-D6035CC43E9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ca09573b38f6ed564128ef277973b37a0550eb","datavalue":{"value":{"entity-type":"item","numeric-id":672146,"id":"Q672146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$11BD235A-BE2A-4C71-AB2C-BC423BDA0883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"055a11c492607a74c28264594ddb0f15d08f9e6b","datavalue":{"value":{"entity-type":"item","numeric-id":924165,"id":"Q924165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$E5C04869-009D-4CB4-B327-9338DA23F31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47542fa9a0e1b438bf09df337630852f2401c5c6","datavalue":{"value":{"entity-type":"item","numeric-id":674400,"id":"Q674400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$B2B46AD3-F55B-4347-B728-36130721A15B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$471C88EB-DB08-4E80-8259-40879397CC33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42ea6aaea41bbc0d91fc3fb48c000b593cdbdcee","datavalue":{"value":{"time":"+2003-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874228$86399624-5F18-4933-A9FC-6B4B2BABB58B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874228$C66F7042-BA97-4143-8AA4-DD06E5C5E9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874228$852C0052-5103-433F-9E58-798A4C347D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874228$932FD1F4-4F46-43B9-9B02-7B56A6FCBDAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"096b28b4b1d316aad7fdfdff2d9d383a32c11c3d","datavalue":{"value":"1915301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874228$2EB2EB5C-28E8-4F15-BE5F-39DC04694065","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c461c9492ec40f1a407e104e31ea4859c44c00a","datavalue":{"value":"Formal language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874228$87EEB148-8842-4AB2-A9FD-1FEA94F3B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874228$A1A71315-946A-4F08-A2F7-8CAE3541E686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"539f8b843bb8883ae10dfd1dae479c4ac359258e","datavalue":{"value":"Computational learning theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874228$F82ED29A-CC60-4E63-B8A8-3EE183F86E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"164c5373f1700f705439bad1317581fc885782e1","datavalue":{"value":"Machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874228$F0FA9A75-CB40-4F1F-B3EA-14B46D251E9A","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":"Q1874228$054DAC1E-266C-46E0-9CA5-ACF2028CB92B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb14d2dae8d61768bc8d0cc9465827b399358634","datavalue":{"value":{"entity-type":"item","numeric-id":5606590,"id":"Q5606590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$3A8BF329-75EA-4B54-9EBA-82835A93E2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eecb251ea3aabc9a8e9fd1d2ec2098b39fc85fc9","datavalue":{"value":{"entity-type":"item","numeric-id":4013548,"id":"Q4013548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$5AE96EA5-A9C6-484A-AB75-11076F36AD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a234323b26f875f8ecfe8da77f2e27a658161e","datavalue":{"value":{"entity-type":"item","numeric-id":1186429,"id":"Q1186429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$B927CDD0-AC04-4E02-9063-E95695B4043E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$5DB60090-0A37-46B4-A1F6-3EAC8CEE3099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$72DD207F-A4A4-4C6A-B0D1-0DC6894C12BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$34C8C5CB-3C1D-4AB6-9EC2-E73D1553CBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"267077ebe0b4331dd635af366c77d8fd12c94414","datavalue":{"value":{"entity-type":"item","numeric-id":1978784,"id":"Q1978784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$CEFB703E-F443-48C5-A936-9A349ECADF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69190f2fcb79af37af8501cc4522400218bea1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$86C95B17-B0ED-40E6-AB99-C226275E0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b09dffc2ef739781df05eede1c331b49e82e863","datavalue":{"value":{"entity-type":"item","numeric-id":3210201,"id":"Q3210201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$BA67A76E-60E7-403D-91E0-0D3474A3AFA6","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":"Q1874228$AA0D030D-470D-4C44-B25F-E14D30F96A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd070f67eb457d07dfbc72ded4b3c2924fb84a30","datavalue":{"value":{"entity-type":"item","numeric-id":749217,"id":"Q749217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$4C974A91-9F89-4680-800E-0683BEC1601E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200dcab52c2979107c1a7566de0a21a7f0bddbaa","datavalue":{"value":{"entity-type":"item","numeric-id":1322482,"id":"Q1322482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$9F768874-ED0B-4E43-84BC-B1D1F3D2B654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acc84c64e46319842ef17497b61b468633b165c","datavalue":{"value":{"entity-type":"item","numeric-id":5622168,"id":"Q5622168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$0CE9DF13-3A99-49CC-9D77-F50DA9C8D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbf5c044008ad0d8988394b0cb1d3ed726f8e4f","datavalue":{"value":{"entity-type":"item","numeric-id":1289014,"id":"Q1289014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$CCAA2642-156B-4FEA-8290-D5BC2FA82093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$FD698A80-200C-48E9-9982-D31781CE8ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c675a4c04e251722e8a872ad279b5487ac370eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3992228,"id":"Q3992228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874228$96766B22-EA91-4F28-9E58-D90C90496AB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e010bf6f07cef4a1859c3cd60081316bf62b3d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4473563,"id":"Q4473563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9396e174d39016c7bdf45e9c39b24e69787280","datavalue":{"value":{"amount":"+0.988407552242279","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":"Q1874228$2E467A62-F17A-4908-9F92-32B690C1143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3de3c4b5455cc6c40ca656564f51545fa8e7723","datavalue":{"value":{"entity-type":"item","numeric-id":1186429,"id":"Q1186429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccccee72ef1b9daee15c429400daaba545087a8b","datavalue":{"value":{"amount":"+0.8844630122184753","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":"Q1874228$40EA0C43-1D9B-4176-A9E0-CD50EA801FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadd6d37de3d523336ba140e5e8682d5df5999d9","datavalue":{"value":{"entity-type":"item","numeric-id":5285116,"id":"Q5285116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c49173d61e0517d6cbaf0add1186f826e90cde","datavalue":{"value":{"amount":"+0.8843288421630859","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":"Q1874228$6E93D049-98A7-41E6-A4BF-089DA0080D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592b713d4a0fe59496b000a784e48c1723a617ed","datavalue":{"value":{"entity-type":"item","numeric-id":1874227,"id":"Q1874227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"692d842fb0f544b85107449974f6348b936f49d0","datavalue":{"value":{"amount":"+0.8502864837646484","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":"Q1874228$5CAF92EB-3957-4883-9187-D907AEB66357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cb4ed6965f0c9cc66aa423925d14bc883f5688","datavalue":{"value":{"entity-type":"item","numeric-id":4202913,"id":"Q4202913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6135e9bdb64089ace6359a2b045079483302eec0","datavalue":{"value":{"amount":"+0.8320948481559753","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":"Q1874228$A35A3F0E-54E1-4D15-904E-C3D3B9D85393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advanced elementary formal systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advanced_elementary_formal_systems."}}}}}