{"entities":{"Q1263571":{"pageid":1274321,"ns":120,"title":"Item:Q1263571","lastrevid":68331732,"modified":"2026-04-12T22:59:21Z","type":"item","id":"Q1263571","labels":{"en":{"language":"en","value":"A first-order logic with no logical constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4127171"}},"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":"Q1263571$FE539E35-6D2C-4604-ABE5-7A83EED2D1D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91f216fe6e2abd9c92db00d1fb8f3954304d2627","datavalue":{"value":{"text":"A first-order logic with no logical constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1263571$B69317DB-E4A3-4EF9-B1FE-41ECE5DCE2ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b158dc882b2a6615458d59afeac5ca03e293866","datavalue":{"value":"0688.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263571$3C7153FE-8265-4857-8B63-9EC129286177","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b7fa13f1e90930c12a4371d1ecf899cf1746229","datavalue":{"value":{"entity-type":"item","numeric-id":581391,"id":"Q581391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1263571$C4693C42-FC93-4A24-B899-6C29596C5E1E","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":"Q1263571$26772D02-929C-43CA-B6A3-4B457DA080A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1263571$0E5A214A-40C4-40FB-9B8A-B2DCBF4118BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0d0ad3e988ecc40529f31d96e6f319eb98a929d","datavalue":{"value":"The author considers a first-order language LQ consisting of a denumerable set of individual variables, for each \\(n\\geq 1\\) a set of n- place predicates, and a denumerable set of atomic wffs. For this language he gives natural deduction rules and obtains semantical results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263571$3386D237-AA13-46AC-AF14-F4357C275976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263571$A4A4E51F-FC94-474D-8A64-B8A00B6724A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8710a0392385079dd569b15bfb49a6e9e702664","datavalue":{"value":"4127171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263571$E8FB16FF-08F4-4F24-962B-837915A7ABD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ba0222dc6ce1b764bd56c0dbd75780ffe384ae","datavalue":{"value":"first-order logic without logical constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263571$693E1E5B-DC01-44E3-A11B-E45240F6D0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263571$D3E8A8FC-A526-4C12-B2EF-4AFC4935D77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddfb0674a911ede8a167739f6927f839bc0ee9cd","datavalue":{"value":"first-order language LQ","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263571$E31C5E79-66F1-4984-A8B4-DD9D54661741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6591587764c22ce70b1d18c7166af01e51e63f","datavalue":{"value":"natural deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1263571$EC9130BB-2F9D-479D-B731-175EA2CA42D5","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":"Q1263571$E8863E7D-03BE-4FA6-A6C9-2598B42A71BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5b814e3eb4564a4c800e13d3bfd67bbaf41e705","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093637561","type":"string"},"datatype":"url"},"type":"statement","id":"Q1263571$F5AF5555-6872-40DB-8845-306C6CA70B94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cc38245db2e6d68673a94fce458bdd6cc56abdd","datavalue":{"value":"W2021775342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263571$29F07CF6-C560-4B1D-8738-925BF976599D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f516639fa170a70ab7cdcb074e336d7e32ed156","datavalue":{"value":"10.1305/NDJFL/1093637561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1263571$A3B09B8B-407F-4B06-B81F-F99B58D2C1C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f886194d35bb43d2f5889d3ef7609bd2cdcb072d","datavalue":{"value":{"entity-type":"item","numeric-id":1262299,"id":"Q1262299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b70c3828cd84d72a9e2f2d237d0041080f3565","datavalue":{"value":{"amount":"+0.8850192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$C94EC6BB-F289-4B22-AD17-9AE7F18A32A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d799e30370106ddbc62b0e552a89e115f1153812","datavalue":{"value":{"entity-type":"item","numeric-id":1791054,"id":"Q1791054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4ca3be330616f1bc3d2c43afb572676d119df8","datavalue":{"value":{"amount":"+0.8839409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$7CC86C20-B042-4836-A85F-14BF94B98733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfacadffd283ed6199f695bfef347f502ad6322","datavalue":{"value":{"entity-type":"item","numeric-id":3680807,"id":"Q3680807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c76e45c10622d42c42650820784c6c609745f8","datavalue":{"value":{"amount":"+0.88073885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$0907D83D-431E-4B2F-926D-95EC7140B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113f7362d5497ce99eb1fc8e00b78c6605a7a92b","datavalue":{"value":{"entity-type":"item","numeric-id":5868872,"id":"Q5868872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17777bfa894c6946e52a83a5f51f4879453b1c98","datavalue":{"value":{"amount":"+0.88006395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$52748993-8DFB-4968-989E-B2A9942BD3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a49446b60c5652df2b3dc3ea673f2e51cea05a","datavalue":{"value":{"entity-type":"item","numeric-id":4342019,"id":"Q4342019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17777bfa894c6946e52a83a5f51f4879453b1c98","datavalue":{"value":{"amount":"+0.88006395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$E853958D-8188-4DC0-90FD-3FF0D24E3D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4a9d4ef32ead7fa656f4a36820173839f32cac","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3462be6790e3e68181480907b55a2a0cd9002b82","datavalue":{"value":{"amount":"+0.8800638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$D6C27AF8-7F91-46D3-97FA-D40AD82AF21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44273a8ac65d435c2f40dcc447ee8e1f4de44311","datavalue":{"value":{"entity-type":"item","numeric-id":3987717,"id":"Q3987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9212ad7191942ee8e9f97a3b7324907e2de821fc","datavalue":{"value":{"amount":"+0.8798601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$77ACD3AF-E770-40CC-8B8F-6517380653F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5590f1bcacc5a877f7f7bf9654834a0bb5f10183","datavalue":{"value":{"entity-type":"item","numeric-id":4395548,"id":"Q4395548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efc1ba8123180c3a3ebcee6b140b51fa5cae043","datavalue":{"value":{"amount":"+0.8789406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$B79A2620-1E17-4A53-ADD7-B1F8C223863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023ec1c9fae40928496819f3036f4b2ff7e8206f","datavalue":{"value":{"entity-type":"item","numeric-id":5536236,"id":"Q5536236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216b7b7b56065fb03f71d5d8b4d33895a5936922","datavalue":{"value":{"amount":"+0.87462276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$273F05A7-B4A5-4AAC-A2AB-DF451A8CF17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8136ecaf1be94862bda7249a39717265f2d600a","datavalue":{"value":{"entity-type":"item","numeric-id":1840346,"id":"Q1840346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281eebb593973d223829155e398c8145337c367d","datavalue":{"value":{"amount":"+0.8738291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1263571$0FB6D19F-0096-4FE5-B7F7-DAC939DA4066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A first-order logic with no logical constants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_first-order_logic_with_no_logical_constants"}}}}}