{"entities":{"Q2767348":{"pageid":2778087,"ns":120,"title":"Item:Q2767348","lastrevid":83185793,"modified":"2026-05-07T06:33:20Z","type":"item","id":"Q2767348","labels":{"en":{"language":"en","value":"Principal types of first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1697363"}},"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":"Q2767348$49C77F5C-5DF9-4FC3-86D3-25E214870DAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"031577bc1633f9c29b7a34f7ef463ba8c02958cb","datavalue":{"value":"0999.03509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767348$3D488F30-EA1D-4613-A5A3-D19D82C80C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a2785f3a7fb107a15da6cdfc4554da314b6c03","datavalue":{"value":{"time":"+2002-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767348$4B45C540-3E02-4533-8693-2A30BF33D9E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767348$DED054FE-2C41-44BE-86A1-A04D267867B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ce730c8d432ad093fa78c80e999a1a15f456d3","datavalue":{"value":"1697363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767348$87DC8617-5802-48D4-B3BE-895117533105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8120fa912cbb5d3eb140ff15bc7a1d51f832400","datavalue":{"value":"complete formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767348$2A53FC6F-FCFD-47F1-9970-2E2AD3E74E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b617518de0fe07cd6b2eacf7ca8fcc56d8879437","datavalue":{"value":"principal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767348$2728E39C-7379-4203-83BE-9814F78C5DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e2aea82bcbc1785116ba1a7fd2c55f61b952f1","datavalue":{"value":"prime model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767348$14B17317-08EE-4EBD-9C2B-0E6218A45CD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9deeaff292c44b0fc405c978fd98cff7669313","datavalue":{"value":{"entity-type":"item","numeric-id":839468,"id":"Q839468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767348$5A4A6243-17FF-48DE-9679-61665439EFA9","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":"Q2767348$C0F382E0-3118-4729-905F-DCF5C8C24427","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00e661d0723035609206ab55bdeb8aaff2879e52","datavalue":{"value":{"text":"Principal types of first-order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767348$EC14714D-AB0E-4180-926B-A8827BD9F7C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53daa90fc77a570319c637034be5955a1e734d5f","datavalue":{"value":{"entity-type":"item","numeric-id":6579860,"id":"Q6579860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767348$08A0F572-D83E-4D61-A63F-282C27397FF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principal types of first-order theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principal_types_of_first-order_theories"}}}}}