{"entities":{"Q1153908":{"pageid":1164657,"ns":120,"title":"Item:Q1153908","lastrevid":69751539,"modified":"2026-04-13T09:08:30Z","type":"item","id":"Q1153908","labels":{"en":{"language":"en","value":"An axiomatization of predicate functor logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3726348"}},"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":"Q1153908$81836E53-E306-4F70-B322-BC225EAE23D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edb6ccdb60e71edbf0c262b180670e33c16e8e12","datavalue":{"value":{"text":"An axiomatization of predicate functor logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1153908$0239C633-5716-4184-B74A-A376C50E3F73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eb61bf5417a77d08f3dea140bfb5f99be0483e8","datavalue":{"value":"0464.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153908$FCCF27A1-2F4D-4A7F-965D-C1D8D5294380","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153908$AA23C88A-C348-4E42-8094-A077B4455870","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":"Q1153908$84A84378-4809-408F-907F-B95E184105CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153908$2C919FE6-D347-4CB8-BCD2-F6E2169DF7E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa78431b29bd6fb7464dc9626fdd11958c2da35c","datavalue":{"value":"3726348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153908$BCC4CE2B-5317-4A03-9D5F-395C6CAF486F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3f56eac87511f9b9dbe7f36abc55836710d01c","datavalue":{"value":{"entity-type":"item","numeric-id":519860,"id":"Q519860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1153908$177D1A77-0639-40D1-A02F-B292C41EAFC8","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":"Q1153908$B678D5FD-EFEB-4DFB-8423-A96C326FF5F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f25dbf97a286c36a1065ce058439b633259ea91","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093870313","type":"string"},"datatype":"url"},"type":"statement","id":"Q1153908$7F6AEA9E-ECE6-40EA-A1E4-7E84BF148B86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e524f9533b7960b0892b5cc533a778b60efaeb1","datavalue":{"value":"W1979327763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153908$A4BDD78D-843B-4C45-B485-55018E2C61C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c034922cf8f6f6ad2c894bf75f84d4a22d69f8fb","datavalue":{"value":"10.1305/NDJFL/1093870313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1153908$273EDB36-0016-4424-9B06-3824FF3F867B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatization of predicate functor logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatization_of_predicate_functor_logic"}}}}}