{"entities":{"Q4698607":{"pageid":6728184,"ns":120,"title":"Item:Q4698607","lastrevid":39839064,"modified":"2025-01-27T18:43:40Z","type":"item","id":"Q4698607","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 753774"}},"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":"Q4698607$83F11C42-1618-469E-B635-310EA8AE18FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e9fcd5a50fc9a726a389735a358e926f611fdc","datavalue":{"value":"0824.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698607$910CE662-75A5-4586-AD20-F54A30BFA35A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"870f54d3b5c36ab024bbe86b2f4a8332983cee6c","datavalue":{"value":{"time":"+1995-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4698607$6571E625-2944-444B-8C15-161698CDE198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698607$063CB176-7403-41BA-BFB3-250C623EA594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698607$ED85E38C-38EE-4DAA-8337-9DA181E67AB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75650e4a5aafb5feb874e564b4037cdd54e4b124","datavalue":{"value":"753774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4698607$2F7E8871-23D7-4156-9D34-A5CDB8364AA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$CDB174EB-B47D-48C7-83A7-8DF48E7CC272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$2B0F5A1B-AFC6-4C07-AD1A-BBEA82C1A580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a6f1d03a26e35879c1398104434993d8a060a1","datavalue":{"value":"algorithmic proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$BE98D98B-7825-49D7-890F-36E2B0BD2471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3a29b283d478dbbc5e5063717bed95b813913a","datavalue":{"value":"Labeled Deductive System","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$62AEA6DC-70E8-42A0-8FBA-1A9544FE3026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06e358e68a9e3a6bf4c57c953c009db5d2abb80","datavalue":{"value":"logical language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$F42E59A2-6FA6-4684-B6D7-347F00D1E3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdf9f9996c240a5178bb7fc87d3f34499208c47","datavalue":{"value":"deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$DE2937B4-C701-4631-AEE8-4D70D520548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4698607$6A3F091D-4D4D-4FCB-B6EC-B7ECE176FE06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4698607$8299BBA4-630D-422A-A81B-002F252F19CB","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":"Q4698607$D991C12E-6149-4697-8FCE-2CCA6C61AF87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c40061e9a73f6cf41cab472db620fd2bff9cbb0","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec404929172ebc5153a28fb55f7276570e43645","datavalue":{"value":{"amount":"+0.9269736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$2E52D489-F54D-44FC-9E17-7F8486903705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc94b3cb42958e877f99ed421eac6435ef3fe970","datavalue":{"value":{"entity-type":"item","numeric-id":4281253,"id":"Q4281253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24247e60c8e818b58c90b9945f8dcb88a39b04d7","datavalue":{"value":{"amount":"+0.9210256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$12B87B13-D674-451B-8600-E062269A06F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb5d3d98ec2d85b5a3e308d515b35782d323d14","datavalue":{"value":{"entity-type":"item","numeric-id":4817212,"id":"Q4817212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c4cfcb1c2e06009f51b7a0c75b6e13f4669212","datavalue":{"value":{"amount":"+0.9049796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$3662E67E-9F77-4A28-91E8-BFD9ECEF257E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9842b5d86175fe53fdbc14034842b1e94d2dbfb3","datavalue":{"value":{"entity-type":"item","numeric-id":4946231,"id":"Q4946231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dda708909d655c1e957a0c878c8cf56ed5c570a","datavalue":{"value":{"amount":"+0.846452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$0F6BA4A4-E638-4BE2-A1BB-210CFBEB4C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf13a5d1717211fde0c759f089edf0982891d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4357321,"id":"Q4357321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee105e3dee8b09e600a886bb4edb02d33facb4cb","datavalue":{"value":{"amount":"+0.820345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$4A768912-FEA8-4F5B-AD67-180B05A48B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22b4c30e7a2574aa3d94726833074d5cb8aeb89","datavalue":{"value":{"entity-type":"item","numeric-id":4549486,"id":"Q4549486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a91de84bbcf25f778a3fe4cd70953dd87262fc0","datavalue":{"value":{"amount":"+0.8095689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$F25B7B9B-DF1B-4906-9607-37D5D36D63BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fbb634ae1aa7228f2d70f84d4dae9d826a9994","datavalue":{"value":{"entity-type":"item","numeric-id":1344886,"id":"Q1344886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f57f495459f34b561bc244fd0a1dc32db60caca","datavalue":{"value":{"amount":"+0.8068626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$515736B4-74D8-4260-AB3F-CD387C901810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb65ef8c25d8ed1ca597651eeb5ee353299692b","datavalue":{"value":{"entity-type":"item","numeric-id":4385437,"id":"Q4385437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27163a0d5eac5d8388559a5e92a6e7b3d776242d","datavalue":{"value":{"amount":"+0.8051026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$4572935E-B68B-4213-B64B-3492B7237E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02433f44277f5930eeb0a5551df3d050cb939cd6","datavalue":{"value":{"entity-type":"item","numeric-id":1905167,"id":"Q1905167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9df7197da1ccc897b2995886f45dd78594bb9a9a","datavalue":{"value":{"amount":"+0.8042438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4698607$FC19D2A3-B1C2-4A0C-86EA-C28D6D94DC5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4698607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4698607"}}}}}