{"entities":{"Q3638143":{"pageid":5668049,"ns":120,"title":"Item:Q3638143","lastrevid":50699378,"modified":"2026-01-14T20:38:33Z","type":"item","id":"Q3638143","labels":{"en":{"language":"en","value":"An Algorithm for Generating Arguments in Classical Predicate Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574037"}},"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":"Q3638143$B566CB56-BD29-4072-AA40-AAA471CAA9F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efe1109376f6e55f18d0fa954e95bced5dee44d","datavalue":{"value":{"text":"An Algorithm for Generating Arguments in Classical Predicate Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638143$383A0DBC-811A-4CC4-A166-5B0D45E64D9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e6688b0a22edfef6fc0b10da299a5d8340efb1d","datavalue":{"value":"1245.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638143$CE1188C1-F91F-4983-AD40-AFFF8EFC3C0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"650e932e9f613fce45bfb86b103fd2a1ab41fce2","datavalue":{"value":"10.1007/978-3-642-02906-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638143$3A931539-EB5C-4A78-A995-46F5CEE87EB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1efc677e6a2b7cff4dd0e9819ef70226c666b25","datavalue":{"value":{"entity-type":"item","numeric-id":648353,"id":"Q648353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$73EDC77C-5553-40F5-B728-820ADCF8423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3864301cba9b10ac52129995b7fe437f7fb60c36","datavalue":{"value":{"entity-type":"item","numeric-id":324664,"id":"Q324664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$09ADCD4F-DFEC-4565-BE00-9A8895463B99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$4BB233E3-1C8E-4A02-A9DB-C5B8A2129D88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638143$420FC1D3-39F5-4992-A168-506F3D016C7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638143$D86F5A57-1FF3-4FEA-80FA-5FC8871AC45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638143$DB9D171F-AAE8-40BC-9BED-D70438487F8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0eea7d764313dd032b8e0e5feeeae1f32376e3f","datavalue":{"value":"5574037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638143$B735D095-D3FA-482C-95C5-9E562B61777F","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":"Q3638143$8E17215F-3A47-41D6-8415-7F8A2F155110","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbb7c9ce1d45c8e662213bdcd9deabf564bd3f91","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02906-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638143$118AF5D0-07CD-4132-BC84-4392124B96A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ebe6bfc4ac16fda9ace647f6adb7504acfb16b4","datavalue":{"value":"W1897081024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638143$7058E56A-0F5D-4243-B77C-98F7147A6B7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a285e1c10d6daedc2cc9f7b045273c3a3c22774","datavalue":{"value":{"entity-type":"item","numeric-id":1601892,"id":"Q1601892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$AE58412B-2E3A-4EBB-A259-D0102E8036C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76976b7b8d12e43bceb1d92eff4101267df29f65","datavalue":{"value":{"entity-type":"item","numeric-id":5941137,"id":"Q5941137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$784109B3-B223-48C2-82AD-54906A47ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a7e216f7aac7407ce3c53785099a89811e0e81","datavalue":{"value":{"entity-type":"item","numeric-id":2457643,"id":"Q2457643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$59A31D0C-B04F-4061-B591-C1CFDCBD5A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f65a28832b90829d71bb0f46f16e1c96ca12ad","datavalue":{"value":{"entity-type":"item","numeric-id":5445306,"id":"Q5445306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$B61DE769-9BF5-4AD9-AF52-A4B4C6230737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94714868e2346c217668da5cb7c6d7252f1db86c","datavalue":{"value":{"entity-type":"item","numeric-id":4819006,"id":"Q4819006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$2037122D-9681-451C-903D-00DD2DA2E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$1EACBFC9-9B6E-4993-9908-4C5DF284529C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$B301A3AF-72C9-4F51-A0A8-C73BED051088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f2dd65c2c506804dbf1ae981a1cd106ee4954d","datavalue":{"value":{"entity-type":"item","numeric-id":3128365,"id":"Q3128365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$58704D9A-6289-4263-BF94-9B086ADF68E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38bbebcaa9b77370514da270b20f72dcb4f7b55d","datavalue":{"value":{"entity-type":"item","numeric-id":4789446,"id":"Q4789446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$30E3DB21-4982-4D5C-A0AC-24F289B68FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638143$0EC8C261-8F96-4E5B-9139-21E3700E7E84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9246cfb3ff67f622541af90e89ae359f65037f0c","datavalue":{"value":{"entity-type":"item","numeric-id":5445306,"id":"Q5445306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd968880da9efe8a96699fa5fcae6eb0998927c1","datavalue":{"value":{"amount":"+0.9112109541893004","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":"Q3638143$C53E86A3-3E51-4E27-9D7E-00FECAACAE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ef30f50275f9c6a62df039e2f20f45d92fc0b","datavalue":{"value":{"entity-type":"item","numeric-id":648354,"id":"Q648354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f97bdc24153450c9f909e2b5a473f3490dd3ee","datavalue":{"value":{"amount":"+0.8686054944992065","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":"Q3638143$A1C73675-B473-4FB7-8986-5C429680F4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0987db3ffa1a6ab311eb02ef5c2d1e2ebf46c128","datavalue":{"value":{"entity-type":"item","numeric-id":1045994,"id":"Q1045994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222d5547c1be61bf937778ac3efcacc8470be8dc","datavalue":{"value":{"amount":"+0.8158682584762573","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":"Q3638143$71664B58-EDE1-41CB-8D91-F05A2F810328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ca4b9e2a09e44be3c7a983a493ccdc9e7c42ab","datavalue":{"value":{"entity-type":"item","numeric-id":3122520,"id":"Q3122520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950a1fa659c37a6a838ccc3e2870d58e67e7bcd5","datavalue":{"value":{"amount":"+0.7542524337768555","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":"Q3638143$9C3DE65F-D105-4DA6-8B3C-A16B5761EB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc54836187b3deae7b7eec93f96c047790a3abf9","datavalue":{"value":{"entity-type":"item","numeric-id":3638145,"id":"Q3638145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f08c9e9510d9db5665981f1d91d9b72f2135689","datavalue":{"value":{"amount":"+0.7480937242507935","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":"Q3638143$5C61947B-2819-4A94-AB20-22FCBBA6FFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638143"}}}}}