{"entities":{"Q4279242":{"pageid":6308843,"ns":120,"title":"Item:Q4279242","lastrevid":46295352,"modified":"2025-12-24T12:34:27Z","type":"item","id":"Q4279242","labels":{"en":{"language":"en","value":"Admissible and derivable rules in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 502850"}},"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":"Q4279242$D8ED6717-17E9-476E-9878-40E5E90AE6C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b0d4e296b84430e321489c49e124ca0ae6f91c5","datavalue":{"value":{"text":"Admissible and derivable rules in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4279242$492919EF-D487-439E-A841-24636C7E0492","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e38810eec1e4a8e06414375821335485022f21d","datavalue":{"value":"0797.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279242$E2D88AF3-FB82-4582-A629-416A70E467A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d4290b287e8670d668b951963c735ff2d273edc","datavalue":{"value":"10.1017/S0960129500000165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279242$287D6EF6-1286-4AB9-B31B-D29426DD1950","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4865638c63c1d1664a21b2d8ce33dcbea5295601","datavalue":{"value":{"entity-type":"item","numeric-id":3035255,"id":"Q3035255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279242$FDF68C53-7866-41EB-A829-6CF8BC000117","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279242$5EAEC55F-319E-4096-A7A1-D9FC6B94BA0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84bd89f27c8cb1358368760527e3f52344795b6d","datavalue":{"value":{"time":"+1993-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4279242$4A158677-D238-4A1B-8D41-49555767968B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279242$276BA2B9-0A19-4D4A-96DA-7CE3738041DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230f1122d56921a0f6f6e60140ea02f1e063d4e1","datavalue":{"value":"502850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4279242$8B02EE46-C5F6-425E-8473-2A8E21C6E754","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279242$80ED1C7E-EEFA-4744-B162-9A99E4493FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e5e42402417cdf23ca266d820b7e771454a15b","datavalue":{"value":"derivable rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279242$0A76603D-E278-4BC3-9820-BDFACD55875A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279242$5FF09A13-4664-44B5-BFE2-3DF81CD55FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08eeecc9a313468589a951ec73bc00690883c8a","datavalue":{"value":"disjunction property for admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279242$7AB6FBB6-06AB-4D0C-BD6A-5490F5E3CD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238fd742794dc216acaf8927bacad7686033de68","datavalue":{"value":"Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4279242$A39BE40C-4B6C-438D-818C-44FB9692AEC1","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":"Q4279242$93238EAC-B474-4EBB-945F-3FFBE0FA1AA2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4057cbea795765c3e532392a7ce11106aad03","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279242$92BE4AA5-F35D-4904-BC77-8D6702D322A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279242$F2404021-97F1-4CE4-9927-69CE246B1319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4279242$59C2DBE2-73C3-4DDF-9A95-3EAFC3A300BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7310b06a39478a3b0b2cb3618454bb24070b5c93","datavalue":{"value":{"entity-type":"item","numeric-id":4133602,"id":"Q4133602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0314dbc4974fd13e8af765993eac4b3903d4915","datavalue":{"value":{"amount":"+0.8215996623039246","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":"Q4279242$82C78556-65B6-4305-9E5C-A2439E484088","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":"2b2f0aec1811d9ea3d0f90c94bafdfdc7514b1b6","datavalue":{"value":{"amount":"+0.819543719291687","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":"Q4279242$DD77D5CA-35F0-43E5-814D-B4EAA5229AA2","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":"b440fb6930f06c7367568616570ae5d3f5f8fd18","datavalue":{"value":{"amount":"+0.8145421743392944","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":"Q4279242$65C2FC44-C55C-44A7-B6F8-CCAD9512CFD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4279242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4279242"}}}}}