{"entities":{"Q754174":{"pageid":756023,"ns":120,"title":"Item:Q754174","lastrevid":42676161,"modified":"2025-07-08T09:26:22Z","type":"item","id":"Q754174","labels":{"en":{"language":"en","value":"Predicate-functors and the limits of decidability in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3646846"}},"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":"Q754174$890715C0-146F-4630-AC51-A497A275B8AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e76a4043e4ea05a121287bfc43e1dca372ad137","datavalue":{"value":{"text":"Predicate-functors and the limits of decidability in logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754174$C732F18C-4438-493B-B9C6-3FCD165D7020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39dd789dde1ae3806877ba79d9f7a6ea6f9e7086","datavalue":{"value":"0416.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$206E22D2-FCBD-44AC-A7C9-BB61B83BEBA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf27fbe6bea35b94264852e3dd4f1ebe68f1622","datavalue":{"value":{"entity-type":"item","numeric-id":754173,"id":"Q754173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754174$341A1785-E4F2-4652-9658-068DC0927BE6","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":"Q754174$DE6AE813-1EF0-4E83-A216-BCDFC205CF96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q754174$84668FE2-7076-4146-AEE9-1B6B1A0DDB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$CE4B348D-72F2-406A-AE35-D321E70975FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$AC8DD94A-5E51-4E03-8AC9-305F882F668C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$F9D3ABF6-020A-4AC3-BF93-47364E4EEBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$777F7880-3504-40CB-A91D-C61152E6CBC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"577577b4d12b30f04fce72557386959eb2b019af","datavalue":{"value":"3646846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$1219394E-D987-4C75-8910-AF9862109C43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q754174$DAF66719-A956-4E99-901F-1532AC99569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa01d77b88f4b7948c856706204b2432fa3f2c7","datavalue":{"value":"polyadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q754174$C6052E2C-ED40-4787-83BC-695DEFC965F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd08d21cf42626a72fbe64ab54bb2c0ccd236adc","datavalue":{"value":"predicate-functor logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q754174$E86E843C-E905-43C2-9007-21E8067598DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a768dbe11d67e8f096079ce437ef20ecda2a6300","datavalue":{"value":"quantificational schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q754174$2C88035B-1036-4A92-9B25-8B040F9954DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e5cd35949101b66e5d05462807498bfc03a4f86","datavalue":{"value":"permutations or recurrences of predicate places","type":"string"},"datatype":"string"},"type":"statement","id":"Q754174$67355CCC-C758-4203-BD5B-EA7D4401A0B3","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":"Q754174$365203BF-3B1F-4453-BDE2-B59EEF98F14C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36da97736c9c586e4600c16266924ae26142dd44","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883255","type":"string"},"datatype":"url"},"type":"statement","id":"Q754174$8DD29D01-068C-424A-BB48-74AA570CD377","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a1a2c4dfa4e9dd266549ced13a1adebb48baca9","datavalue":{"value":"W2043553949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$596A8A7A-E263-414A-82F0-35AB0412E39F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a3dd4a1946b56ed62b0552f8ff81968cb3e1d2f","datavalue":{"value":"10.1305/NDJFL/1093883255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754174$C5AEC222-2AC8-4E4C-A1D9-977D7E43B615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:754174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:754174"}}}}}