{"entities":{"Q4645244":{"pageid":6674825,"ns":120,"title":"Item:Q4645244","lastrevid":53315747,"modified":"2026-01-24T17:25:41Z","type":"item","id":"Q4645244","labels":{"en":{"language":"en","value":"On the intuitionistic force of classical search (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999527"}},"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":"Q4645244$15E4744F-A3A9-4D6F-8C33-7F1567B9003E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0865ec83140e6079c5bf5324b8fd9128b419eab","datavalue":{"value":{"text":"On the intuitionistic force of classical search (Extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645244$B3FB083A-FF0A-4638-84A3-7A243D5DAF2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c936c846580298dc626f6d374fc7867aa9c7868","datavalue":{"value":"1415.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$B91D6C06-1694-43C6-91B3-4AA039741563","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a79fef0ee83317d6442d5100d3323bec037c8a","datavalue":{"value":"10.1007/3-540-61208-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$761922C2-6562-493E-9459-0F395AC7A8DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$E0D9F5A0-9C27-4037-8729-2D2BCD5242B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e7882536af51bf6c5753ff9b9d81493dcc804d","datavalue":{"value":{"entity-type":"item","numeric-id":1575922,"id":"Q1575922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$173E13D4-C89E-4165-ADE0-4066EA63CF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f49fd2ae3d1da3d59eca25d7c6331cf7590a3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1826633,"id":"Q1826633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$6C7472D0-6A4F-45DC-9E94-54F264BDF04E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$5D1F276B-1F7C-4AB3-84BD-5BC78BCAAEF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645244$DDA2F9CA-20DD-4485-91F9-9640DEBAD28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$3EB97F6A-CED4-454D-AD10-DA390FAA1F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$47841733-7431-490C-8377-7FD7C16C43D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$A6299DD3-1811-49DB-A7E6-365FE3020BC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6637b898ec16beb935400654714b7990c7d8d4fa","datavalue":{"value":"6999527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$1C8BF7D8-90FD-47B3-BCB0-37A534495676","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645244$D49E5235-586A-40EA-926C-DB833210F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645244$E2F3363C-A90B-40F4-A58B-8C9053414F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645244$0E064D1E-C2D8-4B24-9376-4ED989242252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645244$1532EC3D-DF8C-4722-836E-1E8B6D166AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ad873f19b9b7fceec8ae0b757baea47c091408","datavalue":{"value":"proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645244$93546F74-933B-42A9-B1C9-B1DCE2BDAD93","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$1329A583-73A7-406D-9E2B-F31FF24A0A98","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":"Q4645244$A36B88F7-59BE-48A1-8D60-F45428D7EBF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"000d99d3965ba22b3e7f40835b49c7801777f123","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645244$9164A092-0AC5-48D6-B557-02369108A3BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"609591fd08a84448120ee85aa3df733f667cf6d8","datavalue":{"value":"W1587919740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645244$699F8288-F6B4-462A-9A16-D17A58E77E8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5d395db8c5eb1d5217f78fd08b7a7b6e8b5da5","datavalue":{"value":{"entity-type":"item","numeric-id":4492739,"id":"Q4492739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$6DB67660-FA9D-4F44-B3E9-2A264A92882A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$B276D66E-0DA8-4C67-A46B-A99C24B93004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f35ae7566b8bbe9c52c7114fdab5f84a63a423","datavalue":{"value":{"entity-type":"item","numeric-id":1840143,"id":"Q1840143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$3701CC37-255E-4018-8B18-3AFF63A8C74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$E639ED6F-433C-4BEE-AB0E-A4C19F22A4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$47AC9529-9616-4F2E-B5A8-B91A07B120C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$778BB80A-8AA8-4018-BEA3-A468893F97DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bade6a36335738f89d892b702a4106b53a340bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$8DD94192-29CA-4A4C-B6F4-1EA8814BDEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$C502B07D-3237-44E9-875A-40275DED7FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$186EE2A8-61B1-4C97-B549-9533AD381432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25bbd7cc42d7c5e8c958b027c832f86cf993fccc","datavalue":{"value":{"entity-type":"item","numeric-id":1891931,"id":"Q1891931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$158D31F5-F8F3-47DD-A3C8-FDF6F92CAAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da3bd604f0a8895e8e0238ab57acb60bfefc200","datavalue":{"value":{"entity-type":"item","numeric-id":4291039,"id":"Q4291039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$64A9DE60-FC31-48B9-ACBE-EF295DA9C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996546e15b6fbeb64dd43e0ea4bb4b45c952f698","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$6CF99F31-5A12-4759-82F7-84E969AA3832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cf7a10bff66d836e836dc6763a8738e552c50f","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$E30CE895-3DB4-4D97-8CBF-1389AF707D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$D7D207AF-DCB0-44A6-ADF2-C37A86B4D174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$C69A3A9E-A902-4360-BF7C-0430D1B12226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645244$65AE822E-FDBE-466D-B3CD-3C8291E96AF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c715127c8e152ee2bfee86db84fa47a5e01e6591","datavalue":{"value":{"entity-type":"item","numeric-id":1575923,"id":"Q1575923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ca99275307f64ac88b5649f02731de08cf37fd","datavalue":{"value":{"amount":"+0.9491990208625792","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":"Q4645244$5F75CB6A-A8E6-44A4-B0EA-8E80FC151160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ca99275307f64ac88b5649f02731de08cf37fd","datavalue":{"value":{"amount":"+0.9491990208625792","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":"Q4645244$60B75491-D2A5-4E94-9B18-7A632DD824B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a835dd9c6efcaf191bc959f61206b9990b2f705","datavalue":{"value":{"entity-type":"item","numeric-id":4647497,"id":"Q4647497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8010b587cb46395e5ef2d5bb7a9255bc82d23a","datavalue":{"value":{"amount":"+0.8168118596076965","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":"Q4645244$339AAC03-5D88-4D9E-8BEE-A38C9D89DC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688d70b9a52a9bf06c47ba7be534ece0d5846c37","datavalue":{"value":{"amount":"+0.8166583776473999","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":"Q4645244$B3CA0A5A-DCFA-4496-82C8-5E0F94AC3902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb1040f20c43ba4b6c8f99391534f60de883ca","datavalue":{"value":{"entity-type":"item","numeric-id":3455774,"id":"Q3455774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f180e0312d84f5864fcc591a65d68e12fdcb5a57","datavalue":{"value":{"amount":"+0.8135802745819092","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":"Q4645244$3987E447-D96F-4C47-BC07-CC3C2B183E2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645244","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645244"}}}}}