{"entities":{"Q1813824":{"pageid":1824566,"ns":120,"title":"Item:Q1813824","lastrevid":73016988,"modified":"2026-04-14T09:24:55Z","type":"item","id":"Q1813824","labels":{"en":{"language":"en","value":"The automation of syllogistic. II: Optimization and complexity issues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5213"}},"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":"Q1813824$BB1F3E41-FC68-41F3-9411-4FE06685B909","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c33fdfdb9a0edc39278582fba51412fb9bc182e","datavalue":{"value":{"text":"The automation of syllogistic. II: Optimization and complexity issues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813824$DCD83861-9549-462A-B070-A1304FF9448A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173cd9efb64089817361a5d6f5e2af442b9eb925","datavalue":{"value":"0744.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$0CE434AE-AFCD-4B4E-97D3-D8AE5DC7471D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"573eb9b577fc25ea90912e3cc35bbd3d82764d44","datavalue":{"value":"10.1007/BF00245817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$1AD49520-6798-4D87-BCEE-83B9641BF394","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$AEF0D46D-7310-4DF4-8030-7E9D47D9ED5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813824$BB13694C-3801-4C17-AD83-75D22DE64DC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$E54BF2BE-A59D-439F-9013-21452E58463E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$8D319DDE-E54E-457F-B37C-C86AB166A6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$208AE868-4D7B-4AAF-8BD1-5222D5B6920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$47748CDC-8E08-48FE-A4F2-2DFF8C69787C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aa483a4a84f09058351454b0140739a3f60d5dd","datavalue":{"value":"5213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$B4DA94AB-4102-460D-B541-361C47218386","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85be8405da476ce6b8a413793bdfbfe210cbdde1","datavalue":{"value":"model graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$71F75711-5742-407F-8C99-7AAA134C18F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc30c22396dfc899030a9b610f2f9d96673b78e","datavalue":{"value":"multilevel syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$D862DD75-F1F5-48F8-8E11-11A9DC291377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5c9c83ab93e83ed6f4564493320b1da4bcfa57","datavalue":{"value":"set-theoretic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$AC8717FD-A053-4CD3-8F83-F27FBB79A1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76f6b1709dc3ae4e6ab9723e83857191064d3c82","datavalue":{"value":"syllogistic schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$8A7602D2-14A9-4E91-848E-642800290F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e54a1bb42bf4820ccc4ea99839c03bdefdc11a","datavalue":{"value":"searching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$A667B52D-D9C2-450C-B66B-E5A5A94D8CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$E1ACCCD8-920F-4D71-B04D-698017B36788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$C4A34901-E176-4617-80EF-E2D59130698B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813824$660CA20F-8AD3-4E6B-8596-95E20746828F","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":"Q1813824$D6F1CDF1-D436-4656-91EE-D5303F9E0E3E","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":"Q1813824$C27FEF6B-7899-49D9-93C2-9DCD2DD97E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$0BB0060E-701A-4938-A802-72DF0C1E02A6","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":"Q1813824$A4A1C54B-CF10-4527-B117-BA35ED7AFE1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59b9a95c5ede48fa66f5efb685b30e863d99e05","datavalue":{"value":{"entity-type":"item","numeric-id":3948568,"id":"Q3948568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$9BFE41A7-8DFC-49AB-8D49-DB62AB5E6B1B","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":"Q1813824$23B82849-6BAC-4BAE-BABA-E845D11236E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83db9477c4ae2190e7f46a0c945788952ef7965","datavalue":{"value":{"entity-type":"item","numeric-id":1111540,"id":"Q1111540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$E26A1DA5-5775-41A3-A074-B912F7A28848","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":"Q1813824$1D660E0D-56F5-4F1D-AF0B-916A7A9E70AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685d4fe972603335a2433d392bcd78d8d907ed15","datavalue":{"value":{"entity-type":"item","numeric-id":5736317,"id":"Q5736317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$08672D09-A1E6-4718-866E-21FFD92B3AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22c8227514fc28acbd069eff3cc910c9513b4a2","datavalue":{"value":{"entity-type":"item","numeric-id":4729777,"id":"Q4729777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$8467DA33-D031-44EF-AAFA-1959B40B7C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12572f10082de6fdc7f0923a115477c0582b2576","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813824$1652CB34-7E5F-47E9-A504-853A405132FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ab56a0fdbb6e4c37e30bffbe033f9958bb3cef","datavalue":{"value":"https://doi.org/10.1007/bf00245817","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813824$D64F472F-36B5-41F4-84F5-2DF8FE81716A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1881d63f513ad459429cfd06a5a68e75de19bc7","datavalue":{"value":"W2025586204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813824$C1E7C291-CF05-42BC-907F-7AD24BA78F02","rank":"normal"}],"P1643":[{"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":"193f0e888bb32c966c22e1ce87749217fb25d957","datavalue":{"value":{"amount":"+0.7821364402770996","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":"Q1813824$7DF47AEB-622C-49C7-893C-40D55FC34091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0f9d72255f3a9d04e85b3de066595cd788858d","datavalue":{"value":{"entity-type":"item","numeric-id":4234182,"id":"Q4234182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6897578a741edd1487bc97d817b535289ae46716","datavalue":{"value":{"amount":"+0.7709153890609741","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":"Q1813824$D0683593-5365-4467-A6A5-BCC2492A72CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f172fa9f614d7a8a71c89b57aeec60204720e5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3705420,"id":"Q3705420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b391d335c95f8c6ac6e3985cf15e1ce1dc6dc0","datavalue":{"value":{"amount":"+0.765921950340271","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":"Q1813824$A59344B5-7730-4238-A5A5-054E567E2337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f64c1900c5994b9b69ffecb5f38c970d55c40a98","datavalue":{"value":{"entity-type":"item","numeric-id":3475242,"id":"Q3475242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f6a32b7efb853b42731c316ee88cecd3245856","datavalue":{"value":{"amount":"+0.7636346817016602","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":"Q1813824$2C5DED8F-341D-46D2-9AF1-2C8B53EED9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c558864d6566fffc729639a40d959d7e75f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":5387294,"id":"Q5387294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1698bdff5e26e044b08de316dca0b44580ad94","datavalue":{"value":{"amount":"+0.7630538940429688","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":"Q1813824$F2E19E4E-F365-45DD-A4A4-211100915F34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The automation of syllogistic. II: Optimization and complexity issues","badges":[]}}}}}