{"entities":{"Q3655199":{"pageid":5685105,"ns":120,"title":"Item:Q3655199","lastrevid":50867102,"modified":"2026-01-15T12:11:08Z","type":"item","id":"Q3655199","labels":{"en":{"language":"en","value":"Automating theories in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654238"}},"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":"Q3655199$C979A1CA-6E1B-44E4-8FAA-6C2281955D0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10af7a5a5cb70d769aa642ac01e889d39218c2c2","datavalue":{"value":{"text":"Automating Theories in Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655199$093CED6B-8443-43F8-9F13-06EC620D5D94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0ad8d5d71f7f14966199f3384a17c2ae75c2b25","datavalue":{"value":"1193.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$E62DDBC1-5026-414D-8583-D7AB49AACE4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b538b784b65b13ed86ace51d2e1fdd95186b1c54","datavalue":{"value":"10.1007/978-3-642-04222-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$3FD38778-5B9C-43EB-9E3E-1FE19982F16C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$E0BBBB71-7449-477E-B8C0-8F401D82040A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$2B4CF6A9-4DC3-4D4F-A00A-E7E757DC624F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655199$959DA4C3-5457-44F3-A804-F87EFDDAAB7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$F5307531-8458-479E-92EC-4C0450B857AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$8DA7C1DD-CC45-46D6-97D5-DD359AF39A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$51DBC074-05CB-47C1-A54A-6296E54CCC28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bf69d29a34e856830f92db32f5a06b52de1b4de","datavalue":{"value":"5654238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$4CA74174-5E90-4146-82D6-050E1DD9D6F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$21853298-56B0-471E-ACBD-5AE1BFE89410","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":"Q3655199$6832D60B-9809-4D9B-9682-D933755192B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55e5d162a381ef06231b189dd97c3c2f59c505ad","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655199$0D931655-AA87-4C72-A7F0-37C505CD06BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a129b79ab01d64d240e26c2e873f840de0b7ef89","datavalue":{"value":"W1548268448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655199$67D399B8-3729-4742-BA54-6142365CD587","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$B530910A-5BFC-4972-A578-DC0C925A2CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"209d8d2485df8b67eb0995cf9c6b04554f60cd92","datavalue":{"value":{"entity-type":"item","numeric-id":3617374,"id":"Q3617374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$B8B2395E-BF1A-468D-BCFF-1E15C1C4A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59bb3344b4f89870291c44462654819d8a7d7295","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$D1749ADB-3553-4ED6-B951-96230A4E95DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3257fc26065fc6b21abb1f854dbeabc439d655f7","datavalue":{"value":{"entity-type":"item","numeric-id":3612434,"id":"Q3612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$C4CEF20F-9DE8-418F-BC06-11066B9DD1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d127785e4a30a6f5581b7050067786742ea549","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$23430A09-E972-4C6D-9D3B-C414DAC5B7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426ca9ded4de1be1a8537da111e48343ed0e7f65","datavalue":{"value":{"entity-type":"item","numeric-id":2266989,"id":"Q2266989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$2DFD63A8-09A4-4A1F-9742-9CA2EA9C30D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19da05d0c6789c63173093a93fd45264ec0612c","datavalue":{"value":{"entity-type":"item","numeric-id":4736827,"id":"Q4736827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$A5E8124A-6FDD-4E12-9CCF-A3FD3ED57686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f07a0aa3031101a608bd93862c80d071e41f25","datavalue":{"value":{"entity-type":"item","numeric-id":4447217,"id":"Q4447217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$2233D46E-A11D-4F99-84EA-5EECEC0857E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a571653cb6ab1fa29a33b3cbc9d3383816e568e","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$7FB1D9EE-695C-484A-BC01-F476DDB82036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$226BE984-2DCC-4C25-AAB4-EAC91846A724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$66454DE8-D5FC-4C43-A0AC-4295F344D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$22333054-DF15-4EB6-ADEE-A7435CD897D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$1B996435-3996-46EB-A789-0DB602C7207F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$533A3EEB-02BB-4F03-8239-4993C8C6532F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$C7F5734B-B2A4-49BB-8A52-296700F18E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd45c991367a1535bb2cf03dfceb0b82a65dee16","datavalue":{"value":{"entity-type":"item","numeric-id":3612444,"id":"Q3612444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$186405F3-E814-456A-A6BE-88F27EF6F6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$EF478FD8-3199-4D96-A704-CEFC5BA69E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$9BCF1DF2-2865-4E93-B62D-1024CB64007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$24D5068E-4E4B-4297-9467-F6B549E3CF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee8fe1191b9d814a579183f943d97319419e687","datavalue":{"value":{"entity-type":"item","numeric-id":1845874,"id":"Q1845874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$57277DEF-430C-464C-A007-E889CADF0EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$23165B22-2BA7-4067-BA62-7D9968C86757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$627C58CF-2DC5-4A25-9078-D2A422EEBE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$C2643B68-259E-43E2-A41C-B13D7236F536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902ce9b157f4d644036f08f923fb4a1aa486e8bb","datavalue":{"value":{"entity-type":"item","numeric-id":2753600,"id":"Q2753600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655199$3A31D1E6-DB48-47C7-9E71-89FAC5ED157D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659f1715025c09fd42f29fb1a683227c1a598251","datavalue":{"value":{"entity-type":"item","numeric-id":2209546,"id":"Q2209546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1534fb75f8e3093bb0676ed030be49de02eb617","datavalue":{"value":{"amount":"+0.787497341632843","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":"Q3655199$C2855A49-B6BC-4944-8804-CD2E2712F7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7ef991317cb42ba6b39ad5bd12cbd14685f436b","datavalue":{"value":{"entity-type":"item","numeric-id":3612434,"id":"Q3612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c8db411095ef37d9929e5d58af8bc8d9049f7f","datavalue":{"value":{"amount":"+0.7823159694671631","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":"Q3655199$386F4073-5281-4850-AE18-FDBED7C01BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0cc84557b8b244b002c4e93a6a1a3e16beb4a4f","datavalue":{"value":{"amount":"+0.7614714503288269","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":"Q3655199$6EA1FABD-EC85-4AC8-898F-258949262A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65104a23e438c7085a33cfca9771736740b05553","datavalue":{"value":{"entity-type":"item","numeric-id":744331,"id":"Q744331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ef7795b0c68df722be51461b66132515893d56","datavalue":{"value":{"amount":"+0.7610211968421936","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":"Q3655199$247DCB86-B908-46E5-938A-52520E245464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d22b9f82cd9bd048e12fef8e502f52d443ca7e3","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8eddb8a5a4ffba9b4fa361b965a3e392982bfb","datavalue":{"value":{"amount":"+0.7598926424980164","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":"Q3655199$363EE0BE-D166-4426-9FE6-2524C7EF6C9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655199"}}}}}