{"entities":{"Q2709301":{"pageid":2720040,"ns":120,"title":"Item:Q2709301","lastrevid":47596375,"modified":"2026-01-02T04:26:46Z","type":"item","id":"Q2709301","labels":{"en":{"language":"en","value":"Interpolation in superintuitionistic predicate logics with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1585424"}},"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":"Q2709301$AABC01A1-3396-407E-9307-E25121C5FC47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96fd6c7902fd171fe2d1ad6f37c75e48d3324f7","datavalue":{"value":"0969.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709301$81187007-BAAB-42EE-8974-DFA619C4787F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01025e4e0db5ed45cddb918946199fe4c9ef64ac","datavalue":{"value":{"time":"+2001-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2709301$1C7C432A-5EEE-4ED6-AF59-4B01B1E0E92B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40746351bd8836461c0dd9828ef641bc74299478","datavalue":{"value":"https://eudml.org/doc/187828","type":"string"},"datatype":"url"},"type":"statement","id":"Q2709301$C4550EE1-E27A-4BDA-861B-B7CCEDE19B7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709301$03306C64-D783-4A5B-B1BA-C738DE843800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709301$11A709C8-7E90-4790-923A-4020D5793674","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db5ec8f5f3404b8de8d82f5b642633db3c31dd35","datavalue":{"value":"1585424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2709301$9F3C416C-A479-4E98-AF5A-5BD76BD5AF81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709301$82D0B484-7698-4B53-A159-DEB6965FC4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a797c65dd907c92eac74ea955343571935d1aba","datavalue":{"value":"Craig interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709301$E6D950A7-2234-423F-B3FC-6E2DC469AF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffb4b171a5610cd6d287afc3582496be31122a9","datavalue":{"value":"Beth property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709301$21A5F948-73AA-4881-96EF-5C4CEAFC15B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47f0497d0d613f178027766636906f1c5ad9bcff","datavalue":{"value":"equality-free fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q2709301$8583EA9A-3D79-406A-9821-B5830E5E1004","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709301$5301E943-7F8E-427E-9504-51B70156A4E0","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":"Q2709301$B6F823C6-C9C5-4880-92A2-6414819FA859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"317f8601d878bf001d0ae9dcebc663453dad8a10","datavalue":{"value":{"text":"Interpolation in superintuitionistic predicate logics with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2709301$A68A7C5E-63C5-43B4-B940-30463269DC9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f08eb16300f59329ffcfb1ce2c954ae75f9ae049","datavalue":{"value":{"entity-type":"item","numeric-id":6768234,"id":"Q6768234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2709301$EEEB40A6-DF6A-4E1E-B746-95260B44F617","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6ca55590e3faf0cfda020dac9ab5e00f6786ca","datavalue":{"value":{"entity-type":"item","numeric-id":4215598,"id":"Q4215598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc11bbdbdb28f34371c4158c1d5b5dd7157adff","datavalue":{"value":{"amount":"+0.9121168851852416","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":"Q2709301$D5645887-F67E-4EF6-81A5-CF966757CF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21de3de614e699cc9a3622d178aa49a519252d7","datavalue":{"value":{"entity-type":"item","numeric-id":1288274,"id":"Q1288274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2786bb0d9e9e97f556499a47114d71a5584cebb","datavalue":{"value":{"amount":"+0.8785072565078735","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":"Q2709301$E70AEA50-8A60-4570-A3F7-DC906C182C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14fe6c12f05da1c98114a5e8b6b7dea1aa9fddd","datavalue":{"value":{"entity-type":"item","numeric-id":4948641,"id":"Q4948641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2786bb0d9e9e97f556499a47114d71a5584cebb","datavalue":{"value":{"amount":"+0.8785072565078735","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":"Q2709301$12D2C9A0-EB47-4DAA-A8F2-0B7A1C77A3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5484f7ef69650689d64afb9a8c6279529043c975","datavalue":{"value":{"entity-type":"item","numeric-id":4210626,"id":"Q4210626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89472231778fb7d726db185f6ab5ab5ac0f7da80","datavalue":{"value":{"amount":"+0.842168390750885","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":"Q2709301$52CAD37E-3CAA-49E9-B398-82948DEFD877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80fd685c36fd67a8e6ea49489305c7c4bc4e0e2","datavalue":{"value":{"entity-type":"item","numeric-id":431670,"id":"Q431670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89472231778fb7d726db185f6ab5ab5ac0f7da80","datavalue":{"value":{"amount":"+0.842168390750885","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":"Q2709301$EAEF6975-ECED-49F8-BB87-2124329E7978","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2709301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2709301"}}}}}