{"entities":{"Q2284497":{"pageid":2295240,"ns":120,"title":"Item:Q2284497","lastrevid":53632949,"modified":"2026-01-25T11:29:01Z","type":"item","id":"Q2284497","labels":{"en":{"language":"en","value":"Universal models for the positive fragment of intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7151293"}},"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":"Q2284497$67B64519-74BB-42C5-9544-22DAB920BC7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"621cd0920f138b28cfbfd9f442e253fc8ed43c90","datavalue":{"value":{"text":"Universal models for the positive fragment of intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284497$A019CB8D-000B-4556-8F16-65434EBA1118","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e3b31656601b8f74f2bb414500085cb4841eda8","datavalue":{"value":"1428.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284497$BCB3F364-CC53-4670-A69D-1886C070FD88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f79ab83158324870247ba8c27e83f22a9e0c1e9","datavalue":{"value":"10.1007/978-3-662-54332-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284497$E2BEBBC7-7506-4844-9C9C-FFB3A17783F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284497$D56764AF-2FF4-493B-B645-CE7541944132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4ea9ddfb2e8911c7e7aa8e3d9ae49b7851395f","datavalue":{"value":{"entity-type":"item","numeric-id":2035342,"id":"Q2035342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284497$49771A4C-EA55-4700-A8FD-A4B187EEDCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b629150dc8389cc517dc534e1d95ac83fa4185","datavalue":{"value":{"entity-type":"item","numeric-id":1685914,"id":"Q1685914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284497$C9A7735E-281D-403E-9F22-4A6890DF3FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284497$D5A41674-3D09-441E-8331-9F567F995688","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363a1a86dbfe88ce92b504829a3c7cd78eef14b6","datavalue":{"value":{"time":"+2020-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284497$11BE2723-9A94-43E6-B92D-710739BEBBB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284497$D99BAB89-49A2-4479-AF54-4C1184E941D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1b4d7deace3bf41965f9c2c1e1db4633395b8c8","datavalue":{"value":"7151293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284497$268FAB40-C830-4129-B3C9-B522FE9FB3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f9b6115196125d8bbfc147c690a4509dcd86d5","datavalue":{"value":"universal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284497$BD545563-2D13-43AD-93EE-D96D45989679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a13c55e979e57e5c0d7f635de7f664e6687e4bae","datavalue":{"value":"positive morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284497$D8E2F40D-2DE2-4A8C-AF35-BB2FDF629312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0736cb74b99db5a52608e16fabcad300bf49073e","datavalue":{"value":"fragment of intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284497$077BC8FB-65B6-4455-BE4B-E96B9722BA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54f2c844612beaad1129fb0b02c89f2eb932dd4d","datavalue":{"value":"Jankov's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284497$2FC7ADDD-FB34-4243-A469-0B8610066495","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":"Q2284497$3F1AC8CA-623E-445D-802A-F25362D0D112","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9259166f9b4952e0e808ac1e0d1dd2416a82e360","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54332-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284497$0C2C965E-4F90-4FA3-AF0D-9ECE484E166A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"265de53e7f41b8c746534e35b4c1a969c234e6c2","datavalue":{"value":"W2590929880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284497$D9374104-3FC7-4CBB-B9C7-A3C807B64CE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0fc36a04d3be5ddea26d89856d6460a42095dc","datavalue":{"value":{"entity-type":"item","numeric-id":3019970,"id":"Q3019970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c566b999e3636e01671ff8a6e2bb113e9577227","datavalue":{"value":{"amount":"+0.8831281661987305","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":"Q2284497$67B14CF5-13E0-467B-BD70-9FE13EFF9677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406a1b1e13b995afab3f3ac7e9a54d6e9fe89571","datavalue":{"value":{"entity-type":"item","numeric-id":3455187,"id":"Q3455187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1de14a69f3d560933ebf9d51fd6bd031c415bf2","datavalue":{"value":{"amount":"+0.7759401798248291","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":"Q2284497$909657C9-5C1B-4A7D-A665-6A466E8C9E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0cc9c172e002fdfa3255e49a9d46b4a6eacf08","datavalue":{"value":{"entity-type":"item","numeric-id":3455183,"id":"Q3455183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b913bf2364e697afd7e4e41c4b0d7e7977769457","datavalue":{"value":{"amount":"+0.764663815498352","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":"Q2284497$01404B6A-A715-4B02-AAA7-ACDA8456C273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c5ff9241c625dfaa8e73ceb5f8a8f39a50f3b7","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b216aa87d245f352337423961bfb2954f7c5a6f","datavalue":{"value":{"amount":"+0.7598056197166443","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":"Q2284497$CC9436E0-E578-4FB8-8993-8F03B69C3990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82af895f7d2dc27b0f45d46fd0c983c1c830a6af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ae98659493f5774071e432ca3cca0c51a5b8c5","datavalue":{"value":{"amount":"+0.7570937871932983","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":"Q2284497$61D4C6D7-9B7D-4C7E-84C7-9C146F9C0FD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284497"}}}}}