{"entities":{"Q361868":{"pageid":363635,"ns":120,"title":"Item:Q361868","lastrevid":61286073,"modified":"2026-04-10T22:22:54Z","type":"item","id":"Q361868","labels":{"en":{"language":"en","value":"Proof theory for reasoning with Euler diagrams: a logic translation and normalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199440"}},"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":"Q361868$56DE17AC-DEDB-4BDC-BE6A-6618F7104EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da0304ad585f0ef99c2380661aa76c4a81c9db04","datavalue":{"value":{"text":"Proof theory for reasoning with Euler diagrams: a logic translation and normalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q361868$E21BA38A-62C1-41CA-854C-D2860169D750","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb0bd0a33b593847ca9871a08a191f204cca18b7","datavalue":{"value":"1288.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361868$6278B481-D7B2-46DB-ABD2-A07CE79F29AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7489c6ee2f6b00541d36810d81bbb03b1d8c436e","datavalue":{"value":{"entity-type":"item","numeric-id":361867,"id":"Q361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$5E5FC737-621B-4946-9A04-14DAB18D2C46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$09600AB0-13DB-4CDF-ADC2-38473929E9A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q361868$17AF2AE8-7D98-49F7-8624-B78F385BDCEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361868$F0917474-D2D7-46FD-8875-1AC7EEDF19C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ef8b53cc8c2ed686b3fd7101bc29e19fd2235c","datavalue":{"value":"6199440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361868$77773344-E507-4511-B1CB-C8603A9B2A09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q361868$A4ED2CE0-12CF-403F-B79E-AF2722AD871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q361868$C3A70664-6B2A-4B32-876D-4D85BCFB34AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8003014c48dedf408addca3e7b5866c9dba3af1b","datavalue":{"value":"diagrammatic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q361868$63FE4309-2E57-4776-90DB-D95F84EC176C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9be20c8828c9fe6e0d1cc2cb19b6d94ef0f5c33","datavalue":{"value":"Euler diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q361868$DBA74382-498C-4798-B392-D6294CD29D37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$245BD18D-A027-46E5-9662-919FC1C15C96","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":"Q361868$52BE69CD-CE36-4818-864A-B5193E681524","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07a3541af229292edef75afb7f2b02c55d58b216","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9370-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q361868$10A31769-7043-408B-8DAC-62D8FDB211EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d5a9e92bb04b5a5fdbde14cc4c257c7a8fa8a82","datavalue":{"value":"W2091861215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361868$775F897B-6AE1-40A9-A9E0-59B1F024548D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ebf5b9dfa7fdbfb080077fc8703b0c5ffba37e0","datavalue":{"value":{"entity-type":"item","numeric-id":4888736,"id":"Q4888736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$BB738C20-D075-4DE0-849D-FE63C9DE9CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"342a5b0b31f0f05ad26f2f5b664833f7a02c9ca5","datavalue":{"value":{"entity-type":"item","numeric-id":4229040,"id":"Q4229040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$37911D31-096C-4F3E-8240-F088C0CBC81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822e3104d6a40cfdd4c15d4f4c0a6e67edb1c659","datavalue":{"value":{"entity-type":"item","numeric-id":4263835,"id":"Q4263835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$C00C2305-F455-40CE-8BD6-10AF30591759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0211db2c37f97a2472341db17600370696704fb","datavalue":{"value":{"entity-type":"item","numeric-id":5697473,"id":"Q5697473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$5015B07C-507A-46F6-9987-6E713F4ECDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def0c415bde289b3d858362d003577b0275734e","datavalue":{"value":{"entity-type":"item","numeric-id":2255200,"id":"Q2255200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$F1058FDC-D1A4-424B-BF93-461157B177E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeb965e0717c17473e57066002b1b99dfe63116","datavalue":{"value":{"entity-type":"item","numeric-id":1931306,"id":"Q1931306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$C51734BD-986B-4CB8-80B5-5D5227DCD923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd381879e8db7c89c257646f944186c88e348b41","datavalue":{"value":{"entity-type":"item","numeric-id":3016126,"id":"Q3016126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$EBD11059-40BD-416D-8968-0D1177721074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$A81D47D4-C423-432D-9C21-0B44FE5A4926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$09B0203E-C2DF-40B5-8ABD-159A6B6D64AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b4bd3b7b8a7890c5282e392feccf18e1f29b7","datavalue":{"value":{"entity-type":"item","numeric-id":4847218,"id":"Q4847218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361868$F8A48476-1F1D-49F0-94E0-2C846B2F6F98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3422d5effa0046fea896aee871ed14ad72d5d1a6","datavalue":{"value":"10.1007/S11225-012-9370-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361868$5D38C5E6-F3C3-4A11-88F8-08D3083DAC05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5fa17a5628f18b69a1b3df08efd7995a785f60","datavalue":{"value":{"entity-type":"item","numeric-id":2255200,"id":"Q2255200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f979077e477cb56aad9fe04d833bf9362710fb9","datavalue":{"value":{"amount":"+0.8691153526306152","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":"Q361868$7EC8EE58-A339-4E57-B32C-4D1CA076DFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1431f09254dcbf9fde426619bb25c61bad83efb3","datavalue":{"value":{"entity-type":"item","numeric-id":2238136,"id":"Q2238136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd37f4011f0fa5b3da608be7be3602cdca8a35eb","datavalue":{"value":{"amount":"+0.8064796924591064","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":"Q361868$C8E565C5-1F85-4638-8905-FD203BC02C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fc16a77583aa07b77b4fc28cd0dab4dcf56132","datavalue":{"value":{"entity-type":"item","numeric-id":495828,"id":"Q495828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7300afd6c7053c5b014672e652f87b162ec99d","datavalue":{"value":{"amount":"+0.8028749227523804","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":"Q361868$08ADABFE-3240-43E1-9CAF-F10EBC50314F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44dbe38cbc91f5b76245e84ee5d00695ee6c11c","datavalue":{"value":{"entity-type":"item","numeric-id":2671627,"id":"Q2671627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac4a6ff40b7f56f6f824917a10d8ad65b4bfbe1","datavalue":{"value":{"amount":"+0.785515308380127","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":"Q361868$FB39BE36-305A-4D7D-9B6B-69CAE867903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8048445f0ec9edcf6f600ec4091a91298dad0ede","datavalue":{"value":{"entity-type":"item","numeric-id":2467560,"id":"Q2467560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fe478e565e1854aa28c1c94c0fe130e9fa8c22","datavalue":{"value":{"amount":"+0.7833257913589478","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":"Q361868$DE7658FD-3850-4306-A033-88A0E07B2D5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for reasoning with Euler diagrams: a logic translation and normalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_for_reasoning_with_Euler_diagrams:_a_logic_translation_and_normalization"}}}}}