{"entities":{"Q4194947":{"pageid":6224548,"ns":120,"title":"Item:Q4194947","lastrevid":34626898,"modified":"2024-06-13T00:25:06Z","type":"item","id":"Q4194947","labels":{"en":{"language":"en","value":"The relative expressive power of some logics extending first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3634240"}},"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":"Q4194947$4153D4D0-F776-43CE-A075-48AE6AB54297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"332d81ebab7fd33d2c6f971ae0a68bdd502b1ce9","datavalue":{"value":{"text":"The relative expressive power of some logics extending first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4194947$78186D96-797C-42CA-858A-EAECF7179EA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd4d95f6bd76b419bf7cff696902dc70ef8df91a","datavalue":{"value":"0408.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$441D7BE1-0330-4067-97E2-0E94A98A2B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b8da4b4208ca8dd555752e0ebf5ca023fc21fd3","datavalue":{"value":"10.2307/2273723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$12E72911-4C70-4A3F-8B37-70BF15A983AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3064c548fb238d71dbd15832dc9b2117bf93634","datavalue":{"value":{"entity-type":"item","numeric-id":1135305,"id":"Q1135305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194947$472B1BF6-BCAD-4288-9DAD-6204C904901C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194947$D8910900-7745-43D0-B569-A85BD498A27D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4194947$E38EB805-FFCC-439F-9C98-7021033CB5B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$4170AD58-5848-4FC3-9467-6E3461B859F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$8F411F36-7F7F-4F57-9928-58D57F60EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$C025D550-9A45-4A72-A1FF-22415CD92240","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107fb446d7108cf3f55d0bd6c865a20b7af4bfa7","datavalue":{"value":"3634240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$7CE1D9A0-2642-4DA0-BDBB-4244C1FD6496","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec2e718c51ea523e9d945e63487f23d3f437bf9","datavalue":{"value":"Expressive Powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194947$8B6B4403-8F39-45EC-B52B-1443734F181B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd169fed1dabe2186c0091b823ec35a570d8078","datavalue":{"value":"Real Closed Fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194947$43307CD5-0E9E-4D0A-B20E-C4A1E55E6CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f355ba4776a787e48256c4b6ba566948748842ee","datavalue":{"value":"Algebraically Closed Fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194947$8B3F78BC-D9E5-47C8-965E-CFB6D64597B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b690a4d5245d6cc9da83f54020aeaf199578f34","datavalue":{"value":"Logics with Cardinal Malitz and Chang Quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194947$C4961AFF-E851-4066-BE3E-451400B4D4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13e2e1e2de1d0b158c51f785bb2c96b79f58407d","datavalue":{"value":"Weak Second-Order Logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194947$F1996CAC-00B7-4F28-BF19-D3BD69CDCAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"197d18d4b298e680e6845b0e651bee8c914f8c33","datavalue":{"value":"Infinitary Logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4194947$B800C8DD-752A-4B55-BF5D-C5618E3E6418","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":"Q4194947$58FCFB28-F948-45EF-A98E-068C794C9CB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cfc777f8a185f31dad5c4dc0f943519f902f98f","datavalue":{"value":"https://doi.org/10.2307/2273723","type":"string"},"datatype":"url"},"type":"statement","id":"Q4194947$58A06DD9-0524-42E4-810E-5B78FCC2CC5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d5b5d46cfa6161129ed100471216fb531e0b0dc","datavalue":{"value":"W1969151120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4194947$6A214073-0908-4143-8A7D-48A5682F3190","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53049bc2c5e709c5bdaebbb2dfcdc24aa07e420e","datavalue":{"value":{"entity-type":"item","numeric-id":4128785,"id":"Q4128785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4194947$D59778CE-20DC-4400-BA80-AE2267068CB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4194947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4194947"}}}}}