{"entities":{"Q5250314":{"pageid":7279882,"ns":120,"title":"Item:Q5250314","lastrevid":52263038,"modified":"2026-01-21T07:25:20Z","type":"item","id":"Q5250314","labels":{"en":{"language":"en","value":"Intuitionistic basis for input/output logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6437118"}},"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":"Q5250314$C95DD1EA-D47F-48EE-9563-B74E8179F1F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8793e97448dd9e8f86dad621d728c29e698a52d","datavalue":{"value":{"text":"Intuitionistic Basis for Input/Output Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5250314$ADFFD670-2BD9-4D06-A186-620F80573093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c85a94ffc142ce2c47d89ca2adb1b52ed9cdbbe","datavalue":{"value":"1311.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250314$FE7FB32B-D857-4A01-AF84-290C41799FD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82b896a74372fca86ab2cc5bfc88fac2886db55a","datavalue":{"value":"10.1007/978-94-007-7759-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250314$B07C6F0D-EC9D-42D8-99C7-532598DD1A70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07e0564590a6b8b48e6591b0958830c188e9fe1a","datavalue":{"value":{"entity-type":"item","numeric-id":383045,"id":"Q383045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250314$7A1A1CFD-8762-40E2-8268-7D561525EB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8562637550295888a676099b1ca72fba25ae5858","datavalue":{"value":{"entity-type":"item","numeric-id":185573,"id":"Q185573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250314$BC6314D6-250C-44FC-8FAC-7B0D473050D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250314$F6E1D17E-F5A2-4EB4-884E-5324BADD88BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e3b5873eb4953ffb416d1a7f0e40b5ad97d2c2ea","datavalue":{"value":{"entity-type":"item","numeric-id":5250301,"id":"Q5250301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5250314$7665B677-8C3D-4A49-BE48-F1F4AB811266","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af872b12307f6e59fbb027cc58fd8691f1dd3f6","datavalue":{"value":{"time":"+2015-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5250314$C612626E-D2A4-488D-A58A-537C67175CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250314$C83B52E3-A297-4BAC-B8E5-25F3F2FB5C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250314$D8D718D2-48C7-4460-A4C6-44CB5C718B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2088db5cf170769d78192dba8630e894a19a4894","datavalue":{"value":"6437118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250314$D0A3ADFC-1A61-4175-8B04-47E93096C2DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250314$3C7E9670-FDF7-41D8-B00D-15B0D0E17B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9a07d023ba667ba96ba3843222548047837630f","datavalue":{"value":"I/O logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250314$2FD75C32-C589-4282-AA56-6512DE884D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250314$D300BEBD-C877-44D8-AAD2-618888B8D301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250314$A9675411-E867-45D1-8799-4A4BC304FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accf14b1f4c136bbc725f7158f92ae0977037e88","datavalue":{"value":"saturated set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5250314$6AA520FF-8033-47C5-A3F3-70CC2A5B09FA","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":"Q5250314$7929CB40-B4B8-48B0-8831-6BF163642383","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec0f07d46f163172cae3904998dbd7a19cf0be8d","datavalue":{"value":"https://doi.org/10.1007/978-94-007-7759-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5250314$8019169B-F966-40E4-99B7-776FAB861D04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00e60db9841bcd5d780b0a5af0ef120dd10fd75a","datavalue":{"value":"W191511039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5250314$E8790E16-100C-4590-9FF5-7603AB4A80E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c31ca188e013a92699037cd8e636ea667623c87","datavalue":{"value":{"entity-type":"item","numeric-id":5039164,"id":"Q5039164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72558b506d184939fb080ef26acbb6de2545fd6","datavalue":{"value":{"amount":"+0.8188323974609375","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":"Q5250314$568142E8-2F3A-4790-BEF2-379624E61ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35b8d156ee4ac04e79e9eb173d6cbfc45fb05e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2921963,"id":"Q2921963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72212ca920c17da65332d981d747048ca0eb5db7","datavalue":{"value":{"amount":"+0.7722154855728149","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":"Q5250314$B2B0C4DC-ED7F-493D-B863-46C2339400CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06a88ed2281bdb1ab4d63ef6b4a01b4a2e71b17","datavalue":{"value":{"entity-type":"item","numeric-id":1582229,"id":"Q1582229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21da66c5a32c13c7b89686582c55e4aa92f6f0c","datavalue":{"value":{"amount":"+0.7656535506248474","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":"Q5250314$1AC21AC2-DC1B-4618-87F8-347732FDB039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3790561f0513e72a96c6f4c272d26681ee62b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":332074,"id":"Q332074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c62830f5a4b30772066abb7b895cb2e149560e","datavalue":{"value":{"amount":"+0.7630221247673035","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":"Q5250314$8B4221F5-8F16-43B7-A7CE-5B8D69E7688F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8348f87f1c5f677af2a599bc6ae0f9c06c51271d","datavalue":{"value":{"entity-type":"item","numeric-id":4440545,"id":"Q4440545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e6546e9d6a96b43dd07161d0c1bcee8f12e4aa","datavalue":{"value":{"amount":"+0.7586997747421265","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":"Q5250314$AD22F5B0-16DB-490A-B035-E0A13FC9B954","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5250314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5250314"}}}}}