{"entities":{"Q1346217":{"pageid":1356956,"ns":120,"title":"Item:Q1346217","lastrevid":70207983,"modified":"2026-04-13T13:10:19Z","type":"item","id":"Q1346217","labels":{"en":{"language":"en","value":"Towards an adequate definition of distribution for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 736389"}},"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":"Q1346217$03BE3B84-3971-4D56-B382-8B8FBC457095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838a48320c8c6a52b61ac0c9b5e782d08ed42a88","datavalue":{"value":{"text":"Towards an adequate definition of distribution for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346217$A11FDD57-D206-4800-9CD9-9E8FE2D3C3F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc5213e321d713a44f4819cd091ffc8fae464a4e","datavalue":{"value":"0820.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346217$4D2F22C3-4609-4927-859B-C5706C1051F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05cedb369acffb5144c3264fb60636badc863a66","datavalue":{"value":"10.1007/BF01048530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346217$FF8F6E85-CC1E-4596-9A33-B81D05697A48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96849c1df93c004b5a03b8f99a88125f71b6cd46","datavalue":{"value":{"entity-type":"item","numeric-id":1346216,"id":"Q1346216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346217$503DA859-A91A-47F0-A78F-47A924599ED4","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":"Q1346217$25DF03BF-8F4B-438B-A164-70EB77FD3AF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63363922c803e5bf02b091d219b37a0b52aee2e3","datavalue":{"value":{"time":"+1995-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346217$1C4A28EC-9374-4B44-99FA-A1E24248854A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ed47cdc9d323934bf42c33800a55d6818a317965","datavalue":{"value":"The paper defends the traditional syllogistic notion of distribution against the attacks of Geach. A monadic predicate, \\(F\\), is taken to be distributed in the sentence \\(A\\) iff for some formula of one free variable, \\(x\\), not containing \\(F\\), \\(A \\vdash \\forall x (Fx \\supset B)\\) but \\(A \\not \\vdash \\forall xB\\). This definition is shown to satisfy a list of desiderata including the traditional law of distribution: in a valid syllogistic argument any predicate distributed in the conclusion is distributed in at least one premise. To find a definition of validity satisfying the same criteria, but extending the law to all inferences in first-order logic is left as an open problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346217$89D1838A-860B-4705-92ED-BA12144E5133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346217$6C694099-EF0C-4F16-85EE-30EC79A55CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346217$E237DF22-4A63-4DA9-B5B3-9B17DB35F2A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d1a7b0336d9c2c239aa8dda5652461cbe15caad","datavalue":{"value":"736389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346217$9E6FD709-77A5-4014-9ADD-1179CD91BFA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cda5af0ec062525f3fe768c8c433c44d72a6c5","datavalue":{"value":"syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346217$D3FEA98A-E4C0-416E-8B8C-812CBD153F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a125a2b8c88c30e2e238d34505df4ceaaf5f41","datavalue":{"value":"distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346217$37BAF34A-CFD5-4F4E-9BA7-B783E326AC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346217$C765B30B-0686-4019-9E4B-D09887D8DE82","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346217$CB5AE58F-6401-4683-A764-302F9D85C8C4","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":"Q1346217$8BEAFC20-EDA8-4F46-9ED7-F504FF99DED3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc34e4549a52392c6c1379cb3ce01c852a5e4c3","datavalue":{"value":{"entity-type":"item","numeric-id":2524679,"id":"Q2524679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346217$99BFCF82-CBDF-4D56-998C-F35C3933A9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4423d898a1e837a701f88cd19e1a24ff20d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":5553242,"id":"Q5553242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346217$6FD5E8B3-8EB1-4395-8EAA-09FE5DC02430","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":"Q1346217$3280A8A4-1F33-40A5-8889-1331FC4177B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fd7647055319cad40b5953cf3bfe9f87332e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5761282,"id":"Q5761282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346217$FE79EAF1-4FFB-4D08-859E-DD2A969DC090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4dde90629a0f906286bd1c618755e7b729633a","datavalue":{"value":{"entity-type":"item","numeric-id":3323911,"id":"Q3323911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346217$B6F6B47F-3FE3-4499-9A64-2C548CD6ADD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30c2285470cbf56fb0d25ce31ad41bea00f3f579","datavalue":{"value":"https://doi.org/10.1007/bf01048530","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346217$EFBFDEB4-5FC3-4FAC-8913-15E983282244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f62923ad69df47ddc62f4ee24d5a0bf20c581048","datavalue":{"value":"W1993418697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346217$73F5AA5A-0A12-45F0-9D1F-098FE39217B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0218b1368e8ced5786312c86251e347622c5e0c","datavalue":{"value":{"entity-type":"item","numeric-id":5937816,"id":"Q5937816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c89d070937df6fe6b0266110ac26adc10278d8","datavalue":{"value":{"amount":"+0.7841893434524536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346217$3FB5FEE3-CE0A-49FA-8269-2000F98FC3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85beb6dd36d5b33eac239f3452e08b171fe271d3","datavalue":{"value":{"entity-type":"item","numeric-id":1332145,"id":"Q1332145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea53997e077d210c9c0ec0f94a85a289f38841e8","datavalue":{"value":{"amount":"+0.7841891050338745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346217$4CE87E89-0C65-4368-83F7-2939451B5A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640f8bc02cb83d9786110d1662b54ced265099b3","datavalue":{"value":{"entity-type":"item","numeric-id":4769035,"id":"Q4769035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3912948ace576bd2459c3beec68884583c496894","datavalue":{"value":{"amount":"+0.769978940486908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346217$4752FE19-9BAE-40B9-B256-F68A774858D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29de41652e199ff1d9297634eccbfe711845e51","datavalue":{"value":{"entity-type":"item","numeric-id":1346218,"id":"Q1346218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea10c6ebbd525492f642fb49ebb2638d163fd26","datavalue":{"value":{"amount":"+0.7625266313552856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346217$3F0070D7-72CE-44F3-8CD9-F5EDF133FE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020338ad28548079f925993a9c3e4fc3df0f3fe3","datavalue":{"value":{"entity-type":"item","numeric-id":778737,"id":"Q778737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8f6ec84289544fd50165194199eaa6afcc4964","datavalue":{"value":{"amount":"+0.7517725825309753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346217$48AE56A2-C5C0-4A29-9AFC-58DD7A4FB01E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an adequate definition of distribution for first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_adequate_definition_of_distribution_for_first-order_logic"}}}}}