{"entities":{"Q6939848":{"pageid":21142692,"ns":120,"title":"Item:Q6939848","lastrevid":84103859,"modified":"2026-05-10T03:59:48Z","type":"item","id":"Q6939848","labels":{"en":{"language":"en","value":"Formalized deduction of quantifier-expanded syllogisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8083166"}},"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":"Q6939848$9A80298F-C8F2-4AB4-8C6C-045BDD355022","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"787afbcff4ce0c6f78ac32017bb2c566a0f2d697","datavalue":{"value":{"text":"Formalized deduction of quantifier-expanded syllogisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6939848$BCC86BE0-C709-4B6C-B8F6-28AB4B36C737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8338383bdf9f6b9b66df028b83e5b8f552a00313","datavalue":{"value":"1568.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939848$A1D5E725-0256-48A1-9550-B5FFE41B25D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eecda33b975772659688036e272b020267aee76d","datavalue":{"value":{"entity-type":"item","numeric-id":5144362,"id":"Q5144362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$6226C436-C00F-40F9-A0CD-B1F1131D2B5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c23559e635538673d1d1e140019d35c2e377c37","datavalue":{"value":{"entity-type":"item","numeric-id":6836701,"id":"Q6836701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$CF1CF5E4-CAAA-446B-84D4-720CB1A45677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39cd8755390e929ed7f63dec7a125816a7a6532c","datavalue":{"value":{"time":"+2025-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6939848$E947DB88-580F-4F09-BA3D-54207FD6EE67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cea335b0eaafb333d02ebed1f1ad72c9491a424","datavalue":{"value":"https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-41-number-3-5-2023/mvlsc-41-3-5-p-417-440/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6939848$34C0FDAF-992C-4711-8D5C-E848B5BFB501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939848$101A4C2D-2311-4EDB-830C-F3E4AA47BB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939848$85586CA6-5107-40A9-8692-2DD0F37C7F42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e0cf851a073cb2cb9c7567da50a15913aea0590","datavalue":{"value":"8083166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6939848$37391E12-1F9B-4C8F-8EA9-D21C815E242E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f324d9ff26b92bc7dc320f120c5dc8ee05e2b64","datavalue":{"value":"quantifier-expanded syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$358980EF-C583-49E9-8D17-BEC988C31349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3940841b47c14540926593285bac45e42dfe25","datavalue":{"value":"categorical proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$C243265D-9069-4F71-8D4F-94A5565FB35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cfeaf65d761ec4af011fb11f73116b93c7fa7c1","datavalue":{"value":"particular quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$597EEC4C-E648-43AA-96DA-7514A7619EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534f5a9329c07af5a506a7a16a2a05ab7e1a06c8","datavalue":{"value":"partial quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$524B1ABE-AE85-48AB-8F9F-6B4B6DF3DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$613BAD47-B54B-46A3-A772-99D164A9F870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$288E45DA-4B01-4F33-B933-C1387D715932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$A625D6EC-1ED6-46E8-B6F8-B243915D35EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd5f53864489847e2eb5affa266bf6fa04f1f0a1","datavalue":{"value":"0-type grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$21FD7F46-9EA3-4610-BED7-B6E509869577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6939848$A0D116B9-0CD3-4AB7-ADE2-6AE7F149EE53","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":"Q6939848$3C8E92F5-1DBA-4623-AA83-600463246785","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab2f50982cb43c7153d3c5c5d05836276e4fd6","datavalue":{"value":{"entity-type":"item","numeric-id":4946840,"id":"Q4946840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$75F3CF4F-081D-404B-9D84-8C5C4B951E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"240db0b67b22aa15f920bc7c64c79a2706f7cd37","datavalue":{"value":{"entity-type":"item","numeric-id":918951,"id":"Q918951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$3C90E770-EFC4-4B0D-866D-BD2AF0BDB715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9993261cb9feb9238fdf888dbdbd3e1d00e49c12","datavalue":{"value":{"entity-type":"item","numeric-id":2795206,"id":"Q2795206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$6CEB467E-D92E-4644-98BB-38596A6DF875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39244329dc1ae06583d42faedc1a843cfa0ed4b9","datavalue":{"value":{"entity-type":"item","numeric-id":5731761,"id":"Q5731761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$B2F791B8-DC17-4544-A653-4B2BD2652ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c41f7fc62160a4bb7ab64d6e9e384111c6c36bf","datavalue":{"value":{"entity-type":"item","numeric-id":3281052,"id":"Q3281052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$C4FA4E86-C92E-4DE2-B9C4-7CB342EEBD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$7477EDB5-C84A-4992-88F1-41AA7C13BE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0876a1f213d1af7be7797b0083ccd086397561e","datavalue":{"value":{"entity-type":"item","numeric-id":5144363,"id":"Q5144363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$A55268E3-184A-47D4-8AA6-A6674224C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ccee4263534dc2eab2b5e8676a466a5a1ff728","datavalue":{"value":{"entity-type":"item","numeric-id":6939881,"id":"Q6939881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$39942919-A69B-4251-AD40-ED606AD5C5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6939848$D3238846-9C06-4EDA-ADA6-AEECBDBAFFE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalized deduction of quantifier-expanded syllogisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalized_deduction_of_quantifier-expanded_syllogisms"}}}}}