{"entities":{"Q2363414":{"pageid":2374157,"ns":120,"title":"Item:Q2363414","lastrevid":72606855,"modified":"2026-04-14T06:03:06Z","type":"item","id":"Q2363414","labels":{"en":{"language":"en","value":"On a new semantics for first-order predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748698"}},"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":"Q2363414$6EE3E761-4C2C-483B-BD25-65DEDF2214D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"863cfa1066a2d2c275ea7740d6e544ad17f26437","datavalue":{"value":{"text":"On a new semantics for first-order predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363414$02DD688A-F785-45D0-B514-95971B6E50EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8a2c5e218526481276fa058f56b0fa8df466840","datavalue":{"value":"1417.03118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$26EED033-10F9-4D61-935E-3361239DB1B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$28BE9230-E78D-4424-8FB5-B1AE5C8E981B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$F0B71C5C-C244-40E3-94F8-5242E4C2F5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$187FFA18-F7D1-42EC-BF1D-9525D1C89D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$A8EF4C72-55FC-46A2-B62A-F6F53AE392AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363414$229BA0DC-4EA8-4696-90CE-6080366001CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$1FD9634F-864F-4586-8F2B-2438490F7B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$0D9489AE-F564-4F1C-9404-9A5AE9E6B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$21C0A74B-D844-4A4F-8B88-4A655B0619E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7bcdab74f410b13c810bc690bed1d62c20b3673","datavalue":{"value":"6748698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$38CD0E1B-37F7-4D35-8D5F-6C2919C67845","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363414$E04D9B43-C6BD-4B8B-975D-9431AD702617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd07dff6a45d5b164e0ce7d3f17ce496dff6426","datavalue":{"value":"generalized semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363414$15C0FAAA-6499-4C79-9362-1FAB5D34A2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363414$CFBCD22D-46EA-41F5-B9BF-5C31BE2123D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363414$9660B378-09E9-4DA1-AF49-588D992C46EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fb0d71837290ec855acaa97dddfa7b7ea0efa458","datavalue":{"value":"Q59525197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$1338F16E-6DAB-4638-87CD-AA4D79376F5B","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":"Q2363414$6F1F61AA-07A0-452C-B6AE-14B93A5F1118","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8308d4ff80b92813286c4f16d8354a0a7d3003b1","datavalue":{"value":"https://doi.org/10.1007/s10992-017-9429-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363414$E01CF0C5-887E-451B-9F1C-6459F567E9C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c5674dc6cc7e6b445a6d3551711ddaca58347f8","datavalue":{"value":"W2607069434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$5E8504D6-3992-4963-9F1B-177805794FF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2833500903817ff0f64b0d4d135a80d6c7b2d76c","datavalue":{"value":{"entity-type":"item","numeric-id":3941387,"id":"Q3941387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$5A1ED226-14BD-43D2-AA46-B5586DF4B434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54724e6618538986f94bda2c0a18bed26e372034","datavalue":{"value":{"entity-type":"item","numeric-id":3454820,"id":"Q3454820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$F97EE186-8B50-4C67-A5FA-1F6FD92457A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$09AC1B9B-DCB2-463C-B9FE-C80649E669F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73ef649e37de0aaff9eb73ef43b5c66d9e310ec","datavalue":{"value":{"entity-type":"item","numeric-id":5414135,"id":"Q5414135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$7BB6E5D4-AF2D-48F4-84EA-38A3C2B2F8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b9f33234315a87ef408e0b549e16973b67ceee","datavalue":{"value":{"entity-type":"item","numeric-id":2363413,"id":"Q2363413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$169E424C-70E8-49D4-A0A6-FF752E288CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef7abba46272910e9ba99fbc2a81b57cea783c","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$81C68AB3-0A16-4F32-8BD4-5D62F2797BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e74a687711aa5be425bf85c7212fda84bd1475","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$379E34F7-71BA-4C7B-B80E-D05E45C4D141","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"cf87bdaf0fa22b39de87a0a177e073eed0cae515","datavalue":{"value":"journals/jphil/AndrekaBN17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$3F8651A7-6614-45BE-A855-4C695AD0C7E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc024acc5bc1c3f19b948eb51d05bde4879cd100","datavalue":{"value":"10.1007/S10992-017-9429-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363414$26B7B9C6-1C33-4B74-9A70-608B95BF068B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363414$6E495E32-5C5D-4700-B0DC-7043277167D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a new semantics for first-order predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_new_semantics_for_first-order_predicate_logic"}}}}}