{"entities":{"Q3335763":{"pageid":3346471,"ns":120,"title":"Item:Q3335763","lastrevid":45991423,"modified":"2025-12-21T10:21:10Z","type":"item","id":"Q3335763","labels":{"en":{"language":"en","value":"Addendum to \u201cLogic of reduced power structures\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867300"}},"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":"Q3335763$BD4BDE48-3A56-4B04-8216-D24FCE93E883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13fb5b7f00ec799bc552e3f11ee2dbf6d9965632","datavalue":{"value":{"text":"Addendum to \u201cLogic of reduced power structures\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3335763$AC7AF27F-E147-413C-9107-AF8E974133C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c300b562b967510427858cb4113fafad37009416","datavalue":{"value":"0545.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335763$3AB9B4FC-E461-4439-B6ED-5702A3D99FF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbc18af4ca1a8355fdf10614b695cb7225173d7b","datavalue":{"value":"10.2307/2273678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335763$1611F60C-E1F0-4C06-86F3-97FE289589B7","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":"Q3335763$AE942B4B-0A7D-43F8-AF7A-687D8152E2A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3335763$E9F08499-DD1A-44ED-9DCD-B989B596ED7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335763$0033DC25-D6D1-4E1E-96EA-6D30D3573BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335763$CB899A01-9EA2-45E0-84D4-B9060196A169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d597ef1cf5dd9c96b2c30ae047d2a01cb7d8c970","datavalue":{"value":"3867300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335763$8C4D33AA-465D-4692-A6B4-7FAF4F62DCEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3e7d26a33478864ba460a81541b92366ccfcc5b","datavalue":{"value":"first-order sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335763$13A9F221-D692-4327-9FB7-93C83DFF7622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7bcf1e4cbbaa7f7cc6adbe435297b08fac9fa4d","datavalue":{"value":"reduced power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335763$9743A402-A7F7-4EAD-8EBF-999ECE2F0D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e86721407a190fc86f4407042cca023c69576cb","datavalue":{"value":"recursively enumerable Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335763$29D64A7E-313C-4840-92EE-8352DF8387B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335763$16256459-3951-4AC1-9482-7FF48A57AA1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fd299808b2bd729989b147845dc10f20eca500","datavalue":{"value":{"entity-type":"item","numeric-id":1577352,"id":"Q1577352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335763$63326944-4CD8-4F4F-92BF-C8848A79B1E4","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":"Q3335763$F242BDE3-4136-4007-83F1-84F13F1DC8FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa28819477328470a2adf9c41b5366710cd46624","datavalue":{"value":"https://doi.org/10.2307/2273678","type":"string"},"datatype":"url"},"type":"statement","id":"Q3335763$360DEAA4-6B9D-49AA-B2E8-2B77130001E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26673d4fa54a29d118d8d2a5d1673f4232f85050","datavalue":{"value":"W2146071564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335763$1981E133-3330-4AE1-889F-50308EFAC974","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54bec423ca94e63741d7eb6f9a371707e6ab9da","datavalue":{"value":{"entity-type":"item","numeric-id":5536656,"id":"Q5536656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335763$E366415C-7742-4AA1-8094-F9BDE68C181A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3335763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3335763"}}}}}