{"entities":{"Q3384899":{"pageid":3395602,"ns":120,"title":"Item:Q3384899","lastrevid":55395619,"modified":"2026-02-17T15:29:21Z","type":"item","id":"Q3384899","labels":{"en":{"language":"en","value":"Admissible tools in the kitchen of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447751"}},"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":"Q3384899$311E2758-E8BD-4339-A26D-C3BAED5A6C62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"944de3c148505e9bd7f37b35fcd86acc3240b17d","datavalue":{"value":{"entity-type":"item","numeric-id":2287898,"id":"Q2287898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$84E501DC-9161-4EFF-821A-0D99979AC546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a4d2cc3032ee5776cf0751b0019bab41916c8","datavalue":{"value":{"entity-type":"item","numeric-id":3384898,"id":"Q3384898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$0B2A18CA-CBBC-4022-B7AB-5B6C2ACFB489","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384899$94F3AF5C-411E-47DC-B679-36493FB66006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bd8f386fa7671d70b5001c1b76c2658b665de24","datavalue":{"value":"https://arxiv.org/abs/1810.07372","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384899$38BA29A2-AF71-4D4A-B9C2-7834BF0AF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d38c95a65bb02d2100be3197a91c075bc24c6d1b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLC2018.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384899$24A2B17F-AC29-47B0-93E7-9D7FED693062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384899$EDD4A056-FA14-42B1-B76C-A578C26F8341","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f218c231b25f23d9292cdd051a700430ca8ceab4","datavalue":{"value":"7447751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384899$FD8E8333-F72A-47E5-B1AC-34E7256AE738","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":"Q3384899$7E35A14E-BCFF-48E9-A7E0-0EF0BA668664","rank":"normal"}],"P223":[{"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":"Q3384899$97B3564B-1C3F-4941-A05C-DA171B6CA273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$1A6D5777-5956-437F-A835-FAC9F0FC62B7","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":"Q3384899$C7C39070-1BF0-403B-8E80-8515F7EDBB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f377fc5a4183c923431aca96f59c7e66969f8715","datavalue":{"value":{"entity-type":"item","numeric-id":5957911,"id":"Q5957911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$68F7D865-657A-419D-8FCB-A822A9776508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$6FA5E94D-93DC-4A01-B8CC-ED015FA3E322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$E3E3F1DD-BB73-432D-9D23-36AF2F1CC8D6","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":"Q3384899$644F09C5-6375-47B3-8500-ED14B955576C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7765983df057facd1b56c3296102242db08be75d","datavalue":{"value":{"entity-type":"item","numeric-id":4279242,"id":"Q4279242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$D0470929-4C31-4B9D-8711-31AEA53E469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$E6D18D52-1446-47FE-9AED-F3197342A088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b937da0dd9bb2e82591f8d65bd9050f5bc70f6","datavalue":{"value":{"entity-type":"item","numeric-id":5957858,"id":"Q5957858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384899$207D2280-A2BE-471C-8DE4-F42EB6793CC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f977d5881a8761622798d9475a9fe0b8c1378b","datavalue":{"value":{"entity-type":"item","numeric-id":3970454,"id":"Q3970454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b7eaece7f216c6b474327b271d9227844eddbf","datavalue":{"value":{"amount":"+0.8125874400138855","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":"Q3384899$06251EE5-6B03-4264-BE78-E0C4C5C12BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04faf11fca7938c757f623fca22ea567ecf6d436","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc970d3f83c69e1aa90389f5406dea85d8c67cf","datavalue":{"value":{"amount":"+0.8094670176506042","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":"Q3384899$E1CF7091-D6A3-4E5B-BF93-EE2B2D3FA342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33adef9a29aa5d470c0392884899028de18245bc","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7b571407d600a7919ac62c811d92397736654a","datavalue":{"value":{"amount":"+0.8039157390594482","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":"Q3384899$87702C04-2F83-4D4D-A87C-75D6B938FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabf0cd0bc3ce0504d14d1d37c6b75c919480a0f","datavalue":{"value":{"amount":"+0.7937759757041931","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":"Q3384899$DE070FDE-69C3-4127-BCC4-B5750ADC0663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac97c08cd0b3306d59e224cac8e266a86759826","datavalue":{"value":{"entity-type":"item","numeric-id":4279242,"id":"Q4279242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22946bd34529b5015b8a4f7f2aa97bee92a86d3c","datavalue":{"value":{"amount":"+0.7891303300857544","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":"Q3384899$14DCF5DB-2743-463E-A12B-280009754E58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384899"}}}}}