{"entities":{"Q5466794":{"pageid":7496353,"ns":120,"title":"Item:Q5466794","lastrevid":49836178,"modified":"2026-01-11T04:16:27Z","type":"item","id":"Q5466794","labels":{"en":{"language":"en","value":"Intuitionistic phase semantics is almost classical"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5025121"}},"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":"Q5466794$1D58E809-4B69-4256-B36B-4F9ADE858229","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"857fc5f0ad68dd7244bf4498d871f94dcfb89cbc","datavalue":{"value":{"text":"Intuitionistic phase semantics is almost classical","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5466794$11C7F5EA-D9D1-4FBF-9372-9A6A1A99DA55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e349e6e98268a570f25d0428e6d8b1983e6ced1c","datavalue":{"value":"1095.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466794$23D49D92-F733-45BD-A7A0-7ADB4D1E1CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d4a6a6a525727e410a8cc57ee11eef7eb6e3ad7","datavalue":{"value":"10.1017/S0960129505005062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466794$F67BC92F-AB4B-4801-A9A5-36510F42923A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466794$715C0B95-1801-4887-BB48-3911896F4BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466794$E2372F2F-1A0B-4EC1-84A2-587CD25B8E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466794$29047686-1202-474A-99CA-2E41014FD8AD","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":"Q5466794$F6FDB9FC-AB75-4951-AF3F-E2EE284D7B74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fd17e02b7903575abfa982c59ed964483c43dc","datavalue":{"value":{"time":"+2006-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5466794$937DAAAC-8254-4893-BB2D-FC8BD426ECA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466794$9C21D373-5331-4870-91A0-899A7996FEE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f76c15b985cac6d420d862683099ce628a9a149","datavalue":{"value":"5025121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466794$D9D3F6A6-55BF-45F0-9FC2-885E2E6B6D96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466794$C179BF44-C78F-4CCE-8318-02D492A70526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0077a8f3ee7a3e9641775c68ecac296a4a8d252f","datavalue":{"value":"classical linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466794$AC18166E-F14A-45F1-9C8E-BF7D2D8EE09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466794$61E795D2-D120-4EA4-B784-61455A35B971","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":"Q5466794$5060570D-B107-4830-9875-7DF53C496A65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d37ff3576dbfab2c32b069f5c864441d971034c2","datavalue":{"value":"https://doi.org/10.1017/s0960129505005062","type":"string"},"datatype":"url"},"type":"statement","id":"Q5466794$91E9E7D7-5FEA-4D36-88D2-F9E4EC13BB65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03793f87293fcd17693964e8545be6b3bd0464ed","datavalue":{"value":"W1978186221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466794$0CCCD0B8-3993-4511-845A-FA0A0489900D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7ec0eb5e8f017d8c636db8b23b6051c947ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5145339,"id":"Q5145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f355600ec6e88d134a6c4759217d9ce42beb500e","datavalue":{"value":{"amount":"+0.7681997418403625","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":"Q5466794$E7BD5576-0067-4FB5-A621-BAD1CA26B981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df5c547007b7da5fb9d4fcfeafe86b94c736965","datavalue":{"value":{"amount":"+0.7670530080795288","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":"Q5466794$4AC96523-26D1-4D5E-8DFB-95658C69D6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41999ccfa44caebefb8de575a7fd25d9ec2ab055","datavalue":{"value":{"entity-type":"item","numeric-id":4847311,"id":"Q4847311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54b2620797df75eae3e0dcca03c6b1a678e1a99","datavalue":{"value":{"amount":"+0.7635334134101868","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":"Q5466794$12435EE1-BE9C-4619-AB1C-379EFD64576D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cfc6803eeecaf4dc3eba35d3a9d24d9ce1b912","datavalue":{"value":{"entity-type":"item","numeric-id":5892514,"id":"Q5892514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ab63f02ad93ff64849b8da7c0adb49ef4463f5","datavalue":{"value":{"amount":"+0.7622970342636108","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":"Q5466794$AF84FB73-ED0A-4B00-8822-02C635E87408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea70ba171b852e8efc26bea54c918fc8c8372fe","datavalue":{"value":{"entity-type":"item","numeric-id":1210141,"id":"Q1210141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c47d4b8459df816ffa6f065d607d2f8d76a66b3","datavalue":{"value":{"amount":"+0.7619655132293701","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":"Q5466794$F134F385-7044-44D3-9175-962DEA1569BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5466794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5466794"}}}}}