{"entities":{"Q6098653":{"pageid":13232960,"ns":120,"title":"Item:Q6098653","lastrevid":102621098,"modified":"2026-06-06T04:56:29Z","type":"item","id":"Q6098653","labels":{"en":{"language":"en","value":"The Deduction Theorem (Before and After Herbrand)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7695896"}},"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":"Q6098653$94F089F7-49B1-4D58-9E03-3020A4589E4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dcfea4665ade8ba7db42225161829d03aa92474","datavalue":{"value":{"text":"The Deduction Theorem (Before and After Herbrand)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6098653$AAD521FA-7C96-405B-9CCE-B877EE426001","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f763900af3286c3f6d2bbc26e3370dac6551fe9","datavalue":{"value":"1512.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$7663D956-27AD-4BAE-84AE-17CFA0E697A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a12f53987581b11438c92e06a84f5cf4794cf05","datavalue":{"value":"10.1080/01445340.2021.1889117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$FDE75937-D219-4F74-8FE6-E1D3E0C948E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d62f03b59c8b0a2631143d4484ecc45db89b91e","datavalue":{"value":{"entity-type":"item","numeric-id":3019774,"id":"Q3019774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$18DB7524-8BE0-486A-A103-B2308DC79D05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$2BC8761E-7EB8-44B1-AEC2-E9D9D3AF4B3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e078913baaf6e58e465be4601d94b7e1928c7c65","datavalue":{"value":{"time":"+2023-06-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":"Q6098653$191E74A0-F9AF-4B78-8BEC-47E7C7E4F5B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$7B4899EA-775E-4725-835B-2348494774E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$AF295BE5-6E08-4D4A-A087-E2B806379395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$BC50D7AC-6893-4608-9CC8-55C43AADC876","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b6e9c8f7f6e1510bbb87495b96dcf0d259e9168","datavalue":{"value":"7695896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$AF39C4BB-7D80-4B6B-87D5-F1503A47178E","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":"Q6098653$D8941562-7314-4742-BC5D-B5ED8BE37448","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fb5efad255db69caafaf3e7dcdb6a8304e3d691","datavalue":{"value":"https://doi.org/10.1080/01445340.2021.1889117","type":"string"},"datatype":"url"},"type":"statement","id":"Q6098653$EFFE52FE-3FC5-4828-BDB3-372B5CF42954","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f2f9640ea080eb9e5587a4e1ec17d622204c5cc","datavalue":{"value":"W3137246604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6098653$49A91D47-DD7A-4D87-868C-115C7B0A9E3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c3a2fc034a7c7faa0765e9ae1586daee1601d8","datavalue":{"value":{"entity-type":"item","numeric-id":3096993,"id":"Q3096993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$F74EADDA-898B-4C71-A3DF-4B55137B8AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d191be075edf078ad1c05a6e2cd44690337d26","datavalue":{"value":{"entity-type":"item","numeric-id":1083442,"id":"Q1083442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$276F43CE-D826-4CEA-A5BF-645DC184E24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414ff478075da6ed3a37a40aa68960580097e7ff","datavalue":{"value":{"entity-type":"item","numeric-id":2366361,"id":"Q2366361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$B5A8D634-6DC5-41CD-91BD-20DB8E5483F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$D327581A-B162-4699-A5A1-1543B144E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6d2064bc4c7bce9673585d41e7e60dce4d06f8","datavalue":{"value":{"entity-type":"item","numeric-id":5689262,"id":"Q5689262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$4EF51290-DD9A-4814-8BB6-FCC7C468D6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9f006d727f3acf3298f51fc9745240df942ee3","datavalue":{"value":{"entity-type":"item","numeric-id":4650310,"id":"Q4650310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$D0881798-8614-4007-B694-979690C73E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a61da26b2f9f87af4617d09ba4be4184971ffd4","datavalue":{"value":{"entity-type":"item","numeric-id":2500815,"id":"Q2500815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$22E54D0B-73BE-48F4-9934-AE3C96BA7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0b21a3e73cceb2c321db1aa3702d14a47375b7","datavalue":{"value":{"entity-type":"item","numeric-id":3019775,"id":"Q3019775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$C4A1BFBF-C8AA-4268-96E0-B1F522D1D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69b016870b81dba41c91ec6686683e7ce06ff12c","datavalue":{"value":{"entity-type":"item","numeric-id":3464647,"id":"Q3464647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$D4BBB4B3-FA36-469B-989F-1E48024B12B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731644614773ef4427e8fc5be6bd03c55e4b8de8","datavalue":{"value":{"entity-type":"item","numeric-id":5208107,"id":"Q5208107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$BBAC4925-093F-4E21-B477-03FCB673E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e664c53debae71bd3947b36756de2ad2859884e","datavalue":{"value":{"entity-type":"item","numeric-id":4008758,"id":"Q4008758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$1DE589FE-08C8-49E0-B113-1099059F7925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfbdba4d61283c4aecfff5bb19cabf08a5ab634","datavalue":{"value":{"entity-type":"item","numeric-id":767454,"id":"Q767454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$A126473B-9B43-455A-A9A3-65B7E352CC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c8fe2dcf48c1f8ed0c52c2979908a15e26c3ca","datavalue":{"value":{"entity-type":"item","numeric-id":300835,"id":"Q300835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$2E281758-FDBD-49D9-875E-A60B830D7321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$2EDF7083-F69A-4AF4-9121-DBF4D8B60AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd535933ab2f9b959a6cc397cffedaa5556e271","datavalue":{"value":{"entity-type":"item","numeric-id":3594444,"id":"Q3594444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$C437215F-1FBE-421E-A7A3-A7246FDAB6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$1121EF73-A21A-4C15-910B-A71EB2A53AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$18AB48A5-F238-4985-A9CB-E6C2A7BA711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$221EE4ED-D929-4353-81BA-2334E7B9EF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164b04eacce1c6bf12e9bf6d617f42b221e235cf","datavalue":{"value":{"entity-type":"item","numeric-id":5655525,"id":"Q5655525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$C49AC18B-D82F-4CAD-A7D2-C4040F4E15DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380a6881518831323f255a15626e883724615dd3","datavalue":{"value":{"entity-type":"item","numeric-id":4767105,"id":"Q4767105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$7AEDCB57-E0FB-4162-8887-CBCCD1D8498A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$B220C3BE-27C1-497D-8A48-2A70B3E0ACAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9319897033367139d7a000b3884ce28819ac7f","datavalue":{"value":{"entity-type":"item","numeric-id":5565073,"id":"Q5565073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$F9B7DB35-CB7D-456A-B7A2-BC9A1D51C987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af5a840eac9faf37731ad779ca035c115dec0ab","datavalue":{"value":{"entity-type":"item","numeric-id":3962962,"id":"Q3962962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$0DA19BC2-5920-4012-BE8C-E48E8E0E4BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882523e37ad913042f71c070863856bceb539267","datavalue":{"value":{"entity-type":"item","numeric-id":5802121,"id":"Q5802121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$CE102896-BDEE-4159-AB75-E107DA646C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c247c8da53a6b9013b7b3bc71c9d52cb2cddf69","datavalue":{"value":{"entity-type":"item","numeric-id":5807658,"id":"Q5807658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$8C58E907-A5C8-4F0F-A93C-B9A59EF1ECD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23007ba80f870bf7af8b25681114e41fa87447a2","datavalue":{"value":{"entity-type":"item","numeric-id":4223096,"id":"Q4223096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$AE3E049D-6F5B-416B-99D1-C3503B40157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$100BFBAB-D1AA-4DD8-8A97-FEA5D7EB711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$6C6B0B19-1567-4452-B613-15C2E7252D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18ff31afb674bd0fbd3a39f9b092a80ab767175","datavalue":{"value":{"entity-type":"item","numeric-id":5207924,"id":"Q5207924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$9C54F539-6ACF-4018-979D-330537D8AF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0627ee67643240f1eabca59a516fe859beb667","datavalue":{"value":{"entity-type":"item","numeric-id":4753169,"id":"Q4753169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6098653$24A5BA6E-EA4E-44A2-B8BF-30E559F1708A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Deduction Theorem (Before and After Herbrand)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Deduction_Theorem_(Before_and_After_Herbrand)"}}}}}