{"entities":{"Q1575923":{"pageid":1586663,"ns":120,"title":"Item:Q1575923","lastrevid":67938798,"modified":"2026-04-12T20:21:27Z","type":"item","id":"Q1575923","labels":{"en":{"language":"en","value":"On the intuitionistic force of classical search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495201"}},"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":"Q1575923$6D13F7A9-0614-4FDC-816C-1197B58B1107","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e405d6470ca48c1a3557609f967383f069b31f37","datavalue":{"value":{"text":"On the intuitionistic force of classical search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575923$82E977C9-3D7C-47C3-9159-180BBA2C7A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf2411d8b575cdc379f6786e0f14fb05c7c9966a","datavalue":{"value":"0952.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$4C6E5B68-DEFD-476D-B77F-7C51B270CD3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b7e9d9f3660e1dedb6b8a300008f8d7682bd73e","datavalue":{"value":"10.1016/S0304-3975(99)00178-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$CFDF17BA-9E9C-45C3-A53E-DBD7B98D26D9","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":"Q1575923$D6C68BEA-BF63-4D4B-88BA-66487193CEC7","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":"Q1575923$A8BBFDE8-F16C-4762-9D3E-A79463A7BBC4","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":"Q1575923$4EDA0332-11D5-4B40-8430-30527BB3DC6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$B3D66048-E969-4FB8-9CC5-69DFECBB6727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575923$40579476-ED6F-453C-BE8D-B9BF8D8E3BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$5A282C76-C8FA-4447-BAC3-801D1ED7E943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$2A4D9893-11EB-4844-9DD4-36D3F2123327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$5E88F5BC-5419-4C90-98C3-E2057A95CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$D73F3C3C-5280-41BE-9483-FE461712CD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$5F3D0675-F886-4E6C-AB9B-9662892153E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd4f60ca3d0f6f5c24c9683ed563a25bf618a807","datavalue":{"value":"1495201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575923$5C43E1D9-E9CE-4F47-B655-1F04AC0B3B2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b88b63e6d5e7c0dc5d6b960d90e495f942174bd","datavalue":{"value":"least-commitment principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$22B24E8A-B992-4713-AA7A-C1CD095DFF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$191A1F16-3A21-4999-A90F-8ECADFBED54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ee9e785de8d3b3305a369871f24dbe02cee6bb","datavalue":{"value":"classical proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$EE93F224-FD98-4E42-B64A-E8541E0B16D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a413000600f54cf92b243ae5399811c981cd56","datavalue":{"value":"intuitionistic search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$42C7C99F-D19C-40A5-B4ED-62A40D3DA001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce2a3682890778c91b74d0bf80ce479b7227e79","datavalue":{"value":"uniform proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$F4D4AB43-5C23-40E6-BE02-28C659AF6B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e3fbd3aa4373021dc54ce12158f24956a63baa","datavalue":{"value":"Harrop fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$89649A75-5A20-46F9-8D8B-7CCA0CAA2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575923$B61BD9E6-0322-44DD-94D5-21871BE54929","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":"Q1575923$AEC96CD7-924B-4789-889E-141FB3351F5C","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":"Q1575923$C4782BC5-6B2E-44B2-96BA-89207EB78D05","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$259F3117-C1F4-4C5D-8861-3FC098A0B474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2971e36daf64c5b785d4a13bea7415bd4a55030","datavalue":{"value":{"entity-type":"item","numeric-id":5234695,"id":"Q5234695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$6FB30F58-F7A3-4E0D-9D2A-14E32B9D529C","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":"Q1575923$661340AE-F6DA-4DB6-A902-88313D25783A","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":"Q1575923$42F2FE34-E8B3-4254-9C73-602EBEB7A4BB","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":"Q1575923$4DD9C5DD-128C-48F6-A8D6-B00AB686F1BD","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":"Q1575923$0F6D0B71-914D-4A1F-A6F0-C7F30E58156F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$8AAF04E5-9878-4107-9FD3-63EA2564843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$4F9AFACC-4BDF-48B7-A4A7-3A6EB2BBE8E7","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":"Q1575923$9511E7B0-BA23-4544-BAA9-A554CBEC9018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0741f5c18946e57297707854a1f296f47dce25","datavalue":{"value":{"entity-type":"item","numeric-id":5626300,"id":"Q5626300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$2E44A9BE-8D92-46FB-9A58-CFDB1071F1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$01BE4E04-B2DB-4FFE-87E6-907769447206","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":"Q1575923$CDF7BEA8-FF4D-46FC-9562-08214080B03C","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":"Q1575923$410D4956-6CC2-4066-ACB4-AE700100ABE9","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":"Q1575923$0E5B5E74-EFA1-46E4-BD83-BC8BBD8E1659","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":"Q1575923$ED3532DF-F70A-4FED-BF4C-F4D741E718BA","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":"Q1575923$26C619EE-F176-409B-B3CA-7DD08DBC0DA8","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":"Q1575923$14D40FE3-AF95-4FEA-BF54-F250A6C13B9B","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":"Q1575923$19ADE43F-A430-4E34-94D0-1267B2E9BB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade08df101537ea3478197262c1b574c49e74479","datavalue":{"value":{"entity-type":"item","numeric-id":4645244,"id":"Q4645244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$3DF0A8FD-43B3-45C6-84D7-92C4BFB9508C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da04b43024d7251799b9a885bcfdc4956013696","datavalue":{"value":{"entity-type":"item","numeric-id":4487255,"id":"Q4487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575923$81C3AD8A-C8B4-4CE9-B86D-0FFE06216C75","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":"Q1575923$152B4466-7DE2-4D32-BCBD-3E2EAE49121B","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":"Q1575923$ED551FB6-076F-452C-8B90-6021ACB806CD","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":"Q1575923$10C378F2-4670-4370-B6ED-8E4D77B9282F","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":"Q1575923$525B445D-66B4-4FD4-A2EB-5E1E3617BD52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61bd3300c7dc67e2bc56e6bd1256442b32e9f142","datavalue":{"value":{"entity-type":"item","numeric-id":4645244,"id":"Q4645244"},"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":"Q1575923$CB737B2F-680F-4969-9E8C-16A5ED776465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1467ecf1461e37806289a715c4bed8ffed16676d","datavalue":{"value":{"entity-type":"item","numeric-id":4487255,"id":"Q4487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deff569a8c50dcd4eb68677bfdb2172a820ec1bc","datavalue":{"value":{"amount":"+0.8331880569458008","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":"Q1575923$DD00FA1A-BDC9-4E8A-ABD8-0B017FA3E2D4","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":"b572b6afee18b8188b9f39bef9e700fb03f320ef","datavalue":{"value":{"amount":"+0.8324201107025146","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":"Q1575923$D44DAD33-B748-4BF8-9DF0-602A7638F3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570d3f437dca10c587f7fc8cc8cdece7436504a0","datavalue":{"value":{"amount":"+0.8058245182037354","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":"Q1575923$CD04AC8E-2490-42C3-BAD0-1A75DE8181C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the intuitionistic force of classical search","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_intuitionistic_force_of_classical_search"}}}}}