{"entities":{"Q2499299":{"pageid":2510042,"ns":120,"title":"Item:Q2499299","lastrevid":44217258,"modified":"2025-11-20T22:46:09Z","type":"item","id":"Q2499299","labels":{"en":{"language":"en","value":"A brief proof of the full completeness of Shin's Venn diagram proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5045643"}},"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":"Q2499299$A267375F-B51E-47C6-ACE3-4331739A2AD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d002deff75bbad43f52becf68551e8d728cb9d6e","datavalue":{"value":{"text":"A brief proof of the full completeness of Shin's Venn diagram proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2499299$286196F3-3DB1-43BB-91D2-539A9EB9B197","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bb4a2a264e52934c0100e835d78bb707bd08376","datavalue":{"value":"1101.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499299$B0D470D0-FE3C-4E24-9334-2A6961184635","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88dde886d58b77a16ff988bba60e8ebe55e91a86","datavalue":{"value":{"entity-type":"item","numeric-id":424576,"id":"Q424576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499299$405ECD8B-1590-45AC-9CC6-AD187F09CC62","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":"Q2499299$D08DEDFA-94C9-432E-BC50-A0BD76CF40DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d16893a2881e21dd54b3d85e13a15572e7a543f","datavalue":{"value":{"time":"+2006-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2499299$CCF884FB-62CA-49AC-87BF-A4D0EB9D1F14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499299$5AAC47A9-28D9-4E75-AED7-98F7D3DF6314","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ea125fdd8eae6828c5ff4ce29a4007afce4daac","datavalue":{"value":"5045643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499299$5209E8BA-D580-40FD-95FC-DCFF8EBD37E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499299$BBD309E6-1DE6-4B4E-972F-3C30FA56426C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c44429b66b0eb15ed9fc0c9b01f66acaf880ee","datavalue":{"value":"formal system for reasoning with Venn diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499299$F8ABE6D1-F03A-4C0A-A791-523508A1B001","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":"Q2499299$FB457615-CF51-4E20-B976-67CFDA6CCE1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11e97e3e941bc1f325983477d9b26c2bb583ecb1","datavalue":{"value":"https://doi.org/10.1007/s10992-005-9016-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2499299$576E2D58-9948-4AF4-A1F1-311DC5363F0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c2d49e7da4e6148b929e08462d55de153b9b153","datavalue":{"value":"W2063241262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499299$2442AD98-16ED-4B83-9339-DC375E1170C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0953c9f761960dc30425d81e33b8f2967523aa","datavalue":{"value":{"entity-type":"item","numeric-id":4875400,"id":"Q4875400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499299$A8D7212C-EFC4-4236-AA0C-F8D8AD8C9B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51cb00007d84ea2a7e752638c2615baf317d6320","datavalue":{"value":{"entity-type":"item","numeric-id":1815406,"id":"Q1815406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499299$3718FF05-F6DA-4A77-9B62-F65B21815B13","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":"Q2499299$1D6A7E47-EAC0-45C6-BA87-7C503DE6D86D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"955322773e6ea1bc0ce0bd75f6350ffbdfd6b3ff","datavalue":{"value":"10.1007/S10992-005-9016-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499299$E8EF9ABD-CBBF-4E67-8ADD-52A4978DFA22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbf8bb837043ae9828c76186b4fd7093d4d6c24","datavalue":{"value":{"entity-type":"item","numeric-id":4019364,"id":"Q4019364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba2b49e59a73cc4ad4b840cc77a9dbe6e866e67","datavalue":{"value":{"amount":"+0.8150151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$A494C46F-53B8-4269-A5DE-C1F484BBAE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508597187d5924d7cbd27fc391886a77a67f04f0","datavalue":{"value":{"amount":"+0.81377363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$FEAB4A63-DDED-4968-AE77-5097A7878F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe776d3fe927c40ec99f1c0a53436cc939d25ea","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a8de69042570e70fa053d6daa5699b4b587733","datavalue":{"value":{"amount":"+0.8052325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$9A337EDB-C278-4004-8F78-70F9C6F1B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ecb63bfb8d354a5958288cf0cb6386ee59005e7","datavalue":{"value":{"entity-type":"item","numeric-id":1186590,"id":"Q1186590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d73a4cd172f77811343596b352ab2afa76982a","datavalue":{"value":{"amount":"+0.80435646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$0E1A606B-1329-42C4-B76A-8F0A05DE57EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47579769ccd98c9a8ba9ed8c1a364404e6dda48a","datavalue":{"value":{"entity-type":"item","numeric-id":1924241,"id":"Q1924241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ef953c3ee88fbe429fd4368f18425bf7c7c762","datavalue":{"value":{"amount":"+0.80284345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$D17DC6F1-E15C-443A-812D-ED829B507A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e865a40c06aabf0dfaf66c396b606c984db7b776","datavalue":{"value":{"entity-type":"item","numeric-id":436624,"id":"Q436624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4930b9b2d53e750a43a99bdfb63ba936ef3382d8","datavalue":{"value":{"amount":"+0.8023511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$CED794FC-6B0C-4AE8-B5D1-953A404B04A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76ff0bde6a24b2813f153b23768d2fdc3ce3d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4653719,"id":"Q4653719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356b3806ed1366013de26045e26367be9a7e9045","datavalue":{"value":{"amount":"+0.7976177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$F73E0421-CC5D-4BFC-9752-3BF5FC464A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58535ca4d35f905e807fddb3730d98ef36b02af","datavalue":{"value":{"entity-type":"item","numeric-id":5483299,"id":"Q5483299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468df15dd0c58d5858eee0c8d5935b84b7f7648c","datavalue":{"value":{"amount":"+0.7974217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2499299$866049B3-655F-43EC-9357-5C937003DE4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2499299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2499299"}}}}}