{"entities":{"Q2499290":{"pageid":2510033,"ns":120,"title":"Item:Q2499290","lastrevid":49892320,"modified":"2026-01-11T17:15:46Z","type":"item","id":"Q2499290","labels":{"en":{"language":"en","value":"Socratic proofs for quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5045635"}},"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":"Q2499290$FFFAB2F8-D588-4B28-B350-8B24F9EA2413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe43f333e14aed822c745bc6b3a6c5762b28dcd9","datavalue":{"value":{"text":"Socratic proofs for quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2499290$A2FFA92A-1A38-40B5-B8DF-374E3777B041","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ec3a07704561e53e140ce72c948fa61a77401f0","datavalue":{"value":"1101.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$E71C0A4B-7F79-494B-9187-D9D1C48C2827","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$E3AF5C9B-8134-4FFE-9C41-273B95A81A3F","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":"Q2499290$444ACBA3-1B59-4095-AC37-D6268E7C2C5B","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":"Q2499290$8BE8FD31-C6AB-434D-BF15-32C5D3E2ACD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$E0C5DE59-44AA-475C-847A-162205C319AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$25C7D6F0-3C35-4BE5-812D-602190728E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$73676129-79C3-4451-B4EE-B6FFED9C882B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7470288da47a31e662afd483bc4e2ac5cf3a3909","datavalue":{"value":"5045635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$3EE7B09B-F444-46F3-8A2C-D1D47FD1DD0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499290$10464791-32A4-4707-A60E-52D7664071F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e737f654aa10f7c97324f9288232a806989712b7","datavalue":{"value":"logic of questions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499290$3871903F-4EB5-4911-89B1-409529B3E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20dc627a8262b022d51aef4686b31692eec8bc","datavalue":{"value":"Pure Calculus of Quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499290$BD11A979-390C-419A-8D7D-02614B498014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2499290$205215B9-D20F-4B51-8EB1-2D471FC2C5EC","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":"Q2499290$0E49E1C7-4C56-431B-9881-A51B4B2E361D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b5177813f77173af21f2eeda059b8e6df3de504","datavalue":{"value":"https://doi.org/10.1007/s10992-005-9000-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2499290$2A8D0CB0-988F-49A1-A611-F3D0E9FF4BFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8697aa8736b904db140e2ea2091aa73a54031820","datavalue":{"value":"W2053254769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$AD2FD4DF-C3D5-45C8-ADF5-6CED7953929C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$C5BA5E48-0B5C-4943-82A4-4085EB81C7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde43bacb4492897e48a839163789926856d7fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5695175,"id":"Q5695175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$DCEFE713-F407-4A0D-842B-9A7949DF65C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5906a3f48670210bd3cf26d335f7bea64625af","datavalue":{"value":{"entity-type":"item","numeric-id":3279278,"id":"Q3279278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$343EFF48-E56E-430A-9AFA-2EBF6B9C390A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$246F3CF3-2E0D-4C68-92F1-44BFAF00995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$84B6226C-30FD-4C44-91A5-CA3AE50F9413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c129a7a6afab58f17e7d409f96b4088a2fccd1ec","datavalue":{"value":{"entity-type":"item","numeric-id":1319265,"id":"Q1319265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$87EBA9DB-1493-47F6-B8BD-81F6DA5EBC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea3ab305c915740658db9aa5993867fc983b632","datavalue":{"value":{"entity-type":"item","numeric-id":1292999,"id":"Q1292999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$8E3BC098-4E76-40ED-9144-4EED76706821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af002d474431f1ee30c55d6837906861e7d3d2ca","datavalue":{"value":{"entity-type":"item","numeric-id":4811767,"id":"Q4811767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$E4F067AF-9740-4864-9DE9-05E443A59B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c78cdfcb5522837b65a574546a4b21a5164ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1876085,"id":"Q1876085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$D565C8EF-0572-4A1C-A482-327516B38FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e53ac15c4e298f20aab0306489bf59e7ac95e2","datavalue":{"value":{"entity-type":"item","numeric-id":813092,"id":"Q813092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2499290$931BF9B6-B761-4C97-9279-75B3DD8B77F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"302bd95cf7da487554aae71de3a6bf6f211e047d","datavalue":{"value":"10.1007/S10992-005-9000-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2499290$621DBB02-EF01-43C1-8D84-007AFCB39CBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311858170bebac8105f6adfd709c7f6dd56a37eb","datavalue":{"value":{"entity-type":"item","numeric-id":1876085,"id":"Q1876085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61541f827ce8728e9755edf836816fdea7e8da0","datavalue":{"value":{"amount":"+0.7823715806007385","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":"Q2499290$F30B07CC-FD5C-4CE1-8E90-FDAC0F367FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4f950150a27193108f1097075b69ed87c8c983","datavalue":{"value":{"entity-type":"item","numeric-id":3063977,"id":"Q3063977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25066478650dd1ed6812f7c84b2b188a7084f5b5","datavalue":{"value":{"amount":"+0.7327767014503479","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":"Q2499290$3E56A35E-F89E-4A8C-AE3B-CBF0BE619F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bd8028998d4211dda8e941397b8b4f6e121092","datavalue":{"value":{"entity-type":"item","numeric-id":1065783,"id":"Q1065783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08cb9b526e123f76f4d7677fe305ca02fac8111","datavalue":{"value":{"amount":"+0.7265769243240356","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":"Q2499290$586D7415-B384-4959-9ADE-8D068D2D34FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462dfb9b688feeb0ec5aac247b163041151dce02","datavalue":{"value":{"entity-type":"item","numeric-id":4858948,"id":"Q4858948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc101ce4923f625424a4df5b1becefe0e54eac7","datavalue":{"value":{"amount":"+0.7233178615570068","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":"Q2499290$6018F828-48B6-4C44-8774-2FB042F483B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e81af9150a1aedcd8b11578daf03bcd06530318","datavalue":{"value":{"entity-type":"item","numeric-id":2534160,"id":"Q2534160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e10b939d8ef4841b0c3db941c64e24af97c5e27","datavalue":{"value":{"amount":"+0.7223324775695801","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":"Q2499290$0D6BCEDA-C18B-4CBC-87CC-39BBF0073E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2499290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2499290"}}}}}