{"entities":{"Q3229411":{"pageid":3240119,"ns":120,"title":"Item:Q3229411","lastrevid":80470460,"modified":"2026-05-06T16:16:23Z","type":"item","id":"Q3229411","labels":{"en":{"language":"en","value":"A proof procedure for quantification theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3115118"}},"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":"Q3229411$03909753-1F18-4E0E-8D84-DC010E4C8541","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6970f8fde07b2d2d7dc6b196bd57aafaed95970a","datavalue":{"value":{"text":"A proof procedure for quantification theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3229411$F9EA8C40-ACC7-4A25-819C-B277E0D9FCD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66cf70264f560ed9c549ba45f902e03452662b77","datavalue":{"value":"0068.01401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3229411$39374AE8-9524-49BA-B28D-56BF3A639C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34548eb8b5b280c275d64e21e319a440f21bd9ba","datavalue":{"value":"10.2307/2266900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3229411$0BD8FFC9-F351-4440-BEF5-FE82093F1308","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e28a06750b9888665a19ebf987547300b0216eed","datavalue":{"value":{"entity-type":"item","numeric-id":562839,"id":"Q562839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3229411$A67BA1E3-485B-4881-A1D8-75036F11813B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3229411$AB417E7D-D33C-43D0-A1B0-C484C17A9663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"acfd38e94a9ccdd55a39f7dad808f5737f9a54f8","datavalue":{"value":{"time":"+1955-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":"Q3229411$A95C262A-21C7-41F0-97A5-B1A0B23A49D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf245ddf3225fe5ea1dd6616f9ea0273495a9fa5","datavalue":{"value":"3115118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3229411$214DFCBF-58BF-477D-A54F-B037E4BB9A60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3699fc6dedc81b169481a234045f201baa5a5f4","datavalue":{"value":"Philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3229411$D73375E6-56C7-4C7E-9562-998F85F7EFD1","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":"Q3229411$B551FFC9-545E-48C0-BA36-AAFE98C22E4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"734810390efc20d3f93bd1fbb666957daf2f7fac","datavalue":{"value":"https://doi.org/10.2307/2266900","type":"string"},"datatype":"url"},"type":"statement","id":"Q3229411$CFE7C7C1-E4EC-4B09-BC8F-0869CF4F0F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"057d5c132fc1bce79034fc4a6d3848dabe819a5f","datavalue":{"value":"W2097038024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3229411$843EFAC4-8933-4EC3-B9B1-8889B95C5046","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76042b9258a85b4c2e9a2e8ddf1d21347a853a1f","datavalue":{"value":{"entity-type":"item","numeric-id":5816697,"id":"Q5816697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3229411$D8322450-A076-4DD4-B1FE-52E78D77FFE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof procedure for quantification theory","badges":[]}}}}}