{"entities":{"Q1111540":{"pageid":1122289,"ns":120,"title":"Item:Q1111540","lastrevid":69668709,"modified":"2026-04-13T08:35:09Z","type":"item","id":"Q1111540","labels":{"en":{"language":"en","value":"The automation of syllogistic. I: Syllogistic normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075022"}},"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":"Q1111540$68EB2C5B-9101-489F-A86E-FB261D6E9547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93bb7a11326e7766c665ff953b64fb5425053fc7","datavalue":{"value":{"text":"The automation of syllogistic. I: Syllogistic normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111540$8BEB0DBD-02EF-4252-93AC-F0ABB43F369D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4a3eff6c55ac6632ae01ece70ea49a6c890e6b2","datavalue":{"value":"0658.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111540$A402B9E2-AE4F-467F-A071-23F1602A45F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"674c93a805f1ef530df7f08955413fb9bd5407ce","datavalue":{"value":"10.1016/S0747-7171(88)80023-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111540$F9DA5DFC-C1CB-457D-B2D3-CC79DA41350E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$8AB79F77-ACFC-4FED-A5EC-0816907026B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb3648d39879da8120ddefb33f0cad08847a1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1111538,"id":"Q1111538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$442CB935-4E2F-4EC3-B36A-63BD98B27A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$070FA6D0-0813-450C-8AC8-760EDF762CF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$1D3F19A5-4E11-4929-BDF9-C7AEE4A64D64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1111540$3F9DB9C0-200A-4815-B1F1-7E4F6AA8D9D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"450c0ce59dad29afc12aa355cc62a6dba37aab1a","datavalue":{"value":"In order to improve the man-machine communication and to get better performances in the automated verification of complex mathematical proofs compared to the traditional proof techniques based on predicate calculus, different attempts have been considered. The paper aims at the design of a proof verification system by means of methods based on set theory, which could be able to overcome the difficulties implied by the high complexity degree corresponding to nontrivial problems. The concepts of DAG (directed acyclic graph), DAG realisations, scions and grafting are introduced in section 2, as tools in the intended subject. It is proved that for any DAG G there exists an effective way to find a grafting such that its induced function realises G. Sysllogistic schemes over a family of set variables are introduced in section 3; some of their fundamental properties are established in the next sections. Finally, some further generalisations and extensions for the normalisation method are briefly suggested.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111540$38303A20-E613-406D-BF13-EFF58178F02D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111540$C6496641-AD32-4D47-B6F6-5FE7C5AA3DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111540$5561C986-F480-4A0E-8986-E59F51002C57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a04f51d6215997e9a5a791536f361f2963c0528","datavalue":{"value":"4075022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111540$534AB536-A5A4-4690-8026-34F556D2FF0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8797448bf92ac640143283e9afb0cc3be7746adf","datavalue":{"value":"syllogistic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111540$1F74A112-8B65-4BED-B596-EAAF00D08E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d8aa8118769b26f17835ecbf12f7a946fe2b65","datavalue":{"value":"syllogistic scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111540$B2DD5F93-476B-4113-9AD1-6C2CF75FB354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111540$6DF71A1F-72ED-408E-A8F7-F754BF304BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111540$14E1CB83-9AC0-4EA4-A40A-C494528FD631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b30413bdc80736aeecdc7f80229ac89c0446304","datavalue":{"value":"directed acyclic graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111540$4579E5B0-9E9A-49E2-9C86-06A9EECA26E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"00dcf12b9a602d9c5eb5566a233851af0f0ed4fd","datavalue":{"value":{"entity-type":"item","numeric-id":469832,"id":"Q469832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$2F9B2421-0125-4C19-A748-710176B80448","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":"Q1111540$505A5A8D-6A40-492F-9048-70527F067B87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb08d0e62430f1068b68fb05f050f639c0cce77c","datavalue":{"value":{"entity-type":"item","numeric-id":3237136,"id":"Q3237136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$EF5498EE-F0E5-4698-B88B-9755F2FF7F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94dbbd3e56e72db59f1f2b99ce2421f6ddf04a11","datavalue":{"value":{"entity-type":"item","numeric-id":3916545,"id":"Q3916545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$082BEBC2-7244-4DE4-803F-5A04AE242A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8170441bc1ff3855102d56c6d9318ac8e51af8","datavalue":{"value":{"entity-type":"item","numeric-id":795031,"id":"Q795031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$0FB15121-5FBE-4F8E-A663-347A8B9B0419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d71f3734eafdb455ff0e2dcab037c8997901465","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$57FABD44-859A-459B-A9C3-DEDEA79D4599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d92bd9d0bf258fd129e50fa6f7aaddda654263","datavalue":{"value":{"entity-type":"item","numeric-id":3819041,"id":"Q3819041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$D281525F-7769-4DBE-A318-CA071F89376C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ca17d19ea555d4a952245e904333a41717e1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3726080,"id":"Q3726080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$8C58A97B-8014-4067-BC00-A06128131A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f83fb13b7914b47a1c9bd84c21dc8d5ca2a74c7","datavalue":{"value":{"entity-type":"item","numeric-id":1096608,"id":"Q1096608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$0C95BC1F-497C-4AA1-B4FB-DAADB4200138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd3ce16f8d88a05d026ce62b6916ca7e4962fb1","datavalue":{"value":{"entity-type":"item","numeric-id":3803084,"id":"Q3803084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$B4E79B74-39FB-481F-8E08-EAD0E0930356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf9d2598910d4f61622ee3678c57a8373b11722","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$477E7604-2D0D-43C0-93B6-47E2559454BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd4183f41843e54831b6922dcec64a5f3205192","datavalue":{"value":{"entity-type":"item","numeric-id":3894959,"id":"Q3894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$1CEF9423-9421-4608-99FB-6D65C9BA5939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c55cca437d96f93b2f4f850ce6e8dd3142bcc7b","datavalue":{"value":{"entity-type":"item","numeric-id":3900014,"id":"Q3900014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$59A3F18A-E33C-4C5D-B40F-AB2106B3C0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa4f8dd4dfdc0c9fe765fa4c60ace59fa4f5cec","datavalue":{"value":{"entity-type":"item","numeric-id":3905254,"id":"Q3905254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$581A1757-44DD-4780-9764-AD7E45432FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c4f959052f641bbef8ba76ef4bcac247be48eb","datavalue":{"value":{"entity-type":"item","numeric-id":3712309,"id":"Q3712309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$D76DD190-16D4-4E31-9613-B9D35402F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec72a9f4884bbaf6523d65d51d30c775bf892fa7","datavalue":{"value":{"entity-type":"item","numeric-id":3803085,"id":"Q3803085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$B5C3B515-FB48-4417-B153-3661C7E97298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"876f064f16fea21c5cceffac3700ac5426a618fd","datavalue":{"value":{"entity-type":"item","numeric-id":3748267,"id":"Q3748267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$AD9230DE-97BC-41E7-83A3-6CFED052C9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a6d6a5aa9959eb8126a863e68338ea6d61ab93","datavalue":{"value":{"entity-type":"item","numeric-id":4168916,"id":"Q4168916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$652ADF8C-4F5D-4D1F-845F-30CE9987F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8986b1e11a8371dfacbaef4b3cb02784cd4f326c","datavalue":{"value":{"entity-type":"item","numeric-id":4180323,"id":"Q4180323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$867C37CA-9EFE-40EB-B2BD-624A224A8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f92b8d484de162b9d4079498d62972b096ce688","datavalue":{"value":{"entity-type":"item","numeric-id":3880324,"id":"Q3880324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$423F3303-4270-4F13-802A-09F1EA535D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f7641db6bfdeed0fe56838b19da9067855ffc3","datavalue":{"value":{"entity-type":"item","numeric-id":3228600,"id":"Q3228600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$B3F55293-07E6-4EFC-94E3-03B2D7398F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527a2b82e8f055adce8a33d4a824ac1eaeb50036","datavalue":{"value":{"entity-type":"item","numeric-id":3812202,"id":"Q3812202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$702F77C3-37EE-433E-ACAA-4CD6EB949730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19eb21dff0ddf845e9a6d120d0bcd53cff97c08","datavalue":{"value":{"entity-type":"item","numeric-id":3768865,"id":"Q3768865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$3A7EF564-D961-4EC6-9B9D-84DD6CA41C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$4405444B-9090-4BFA-A05B-A46DC7B3BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f38f03c6887d40db0efe17b75e1585b8b3e72f","datavalue":{"value":{"entity-type":"item","numeric-id":3741005,"id":"Q3741005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$8E4124D9-C159-4F9D-98D9-DEA958DCF944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a898b7c253f66474efbb6f1144b23dc3d2952ece","datavalue":{"value":{"entity-type":"item","numeric-id":5735229,"id":"Q5735229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$4F4AFBD3-6040-41F6-A158-F0BBE54F5A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d80378bbe0e64bc58007b01e25d18a0e378855","datavalue":{"value":{"entity-type":"item","numeric-id":5733911,"id":"Q5733911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$906681A8-6ED1-45EB-8D11-3B1592ACB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b8fbc4de17a97e5492230813b481113a95b732","datavalue":{"value":{"entity-type":"item","numeric-id":5622181,"id":"Q5622181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111540$13CFA16A-EE04-4724-8356-E4A95387904C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15128462266bb86a70731c93269bf8c72696ca7e","datavalue":{"value":{"entity-type":"item","numeric-id":1813824,"id":"Q1813824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8fb67cede3a610240f43dec9110dd415bc2697","datavalue":{"value":{"amount":"+0.7892109751701355","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":"Q1111540$60122655-73FC-4DF5-ADA4-FAD2AF1759C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f65e939d0926d8862e16c30d45424599235bc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3748267,"id":"Q3748267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31cb33697d51a2860f2cb9805cf2480a3f6d896","datavalue":{"value":{"amount":"+0.7365872263908386","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":"Q1111540$1670AFA4-D266-473D-9F2B-69BB29563F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c70b2a71a02fa4b325e46d025a8165c185372fe","datavalue":{"value":{"amount":"+0.7349230051040649","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":"Q1111540$C45239B6-C5E4-4613-9A3C-37F6DF474317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d53e3269671c3b829332645636422f0534f2837","datavalue":{"value":{"entity-type":"item","numeric-id":4707766,"id":"Q4707766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efac2acd67a144c473dfc424df9ecbb9ab4bb9f","datavalue":{"value":{"amount":"+0.7152959704399109","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":"Q1111540$70ECF062-927D-4AF8-8954-1749400F5439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dab4b25b4ace8c5087aa1299d0534ef40a563be","datavalue":{"value":{"entity-type":"item","numeric-id":759743,"id":"Q759743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb41b83d695e3b543683f4584c8ceab8fa1ec55","datavalue":{"value":{"amount":"+0.7090277075767517","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":"Q1111540$FFCDFCE2-0421-483A-9553-F7CBF8EB3FD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The automation of syllogistic. I: Syllogistic normal forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_automation_of_syllogistic._I:_Syllogistic_normal_forms"}}}}}