{"entities":{"Q4593253":{"pageid":6622838,"ns":120,"title":"Item:Q4593253","lastrevid":56868333,"modified":"2026-03-24T09:19:08Z","type":"item","id":"Q4593253","labels":{"en":{"language":"en","value":"Monadic fragments of intuitionistic control logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6810882"}},"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":"Q4593253$9406A9FD-AC85-4FF9-9B22-42E9B62AE2A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"218b9eede3ad0525cee87e45844f97c6bcd57724","datavalue":{"value":{"text":"Monadic Fragments of Intuitionistic Control Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593253$34AB6EEE-AAEF-49CA-A1B7-984AB3754A9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d26aaaad9563ad2c3dce4edd45b3c2ca78c39231","datavalue":{"value":"1423.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$326C2359-324E-42CA-9180-65552DE548CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89a6828a842707fb6778f6beee0e184252fafa9c","datavalue":{"value":"10.18778/0138-0680.45.3.4.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$027F0018-B013-467E-97B5-00894E5DDBAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a05d84d5706e7a1e1d3448335c443f6e229f528","datavalue":{"value":{"entity-type":"item","numeric-id":897472,"id":"Q897472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593253$74C1EAB7-B40B-4A42-87EE-1DF3EBFA00C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593253$4A081954-9E06-444A-8D90-E22D8F1E0B6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32c62cee3d47e19137a413daa987cc4081aea061","datavalue":{"value":{"time":"+2017-11-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":"Q4593253$FB237F8E-6BC8-48C9-A549-17B76150958D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$ED7169AB-BA7E-4482-8BD0-30FCF823AC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$055E2CF3-3749-4BF7-A4B2-21D548C9B019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$65475041-EFC5-44DF-99C5-7CC689A8CBB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6958078538f3a483096b5c954831b8b154835674","datavalue":{"value":"6810882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$8ABA6CCA-75EB-4FED-AD19-92E7905672C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fd39637d6c536bc7f7368216464a340e60fd483","datavalue":{"value":"intuitionistic control logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593253$116288CB-ED63-4674-B4B8-57B68A909B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593253$761644A3-34C5-44D5-896B-4F51DA58C954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d920749a999b50bc570426e4b8355218cbca7857","datavalue":{"value":"combining logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593253$51BF146F-A9A6-4CDA-B550-5BD1BA565A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593253$419C724E-B42A-49B9-9E58-EFA9F4524970","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":"Q4593253$D72480E9-3E53-4E22-9DF1-B7250291224A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"878aab53b4894491cf442377cd41a189e0df4ce1","datavalue":{"value":"https://doi.org/10.18778/0138-0680.45.3.4.01","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593253$776A4B96-6E14-48D1-B652-6E8A37AACC27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b8dcac7aa7a38bc1b92d0a23b4fb183a5457d28","datavalue":{"value":"W2734680306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593253$A499DEEB-D7C4-47A1-A633-6FBC1AB69B5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9236029bd4b87f7e0665e33926088321f7ec811","datavalue":{"value":{"entity-type":"item","numeric-id":897473,"id":"Q897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc477fb72d2756abae633a6b948bce8ec83d363a","datavalue":{"value":{"amount":"+0.9288219213485718","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":"Q4593253$4D9D59D2-CC84-4415-B398-589A95FAB849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d3e04fba1d917b70d5327ebc025a98f2066024","datavalue":{"value":{"amount":"+0.7730069160461426","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":"Q4593253$9F17CD0C-AD8B-4B42-B972-DB04ED4474A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d63586cbec6a2dc4a917b3c0ae0b568d724bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3486539,"id":"Q3486539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bde520657309dcd33da4cdec864bde2b7742cc","datavalue":{"value":{"amount":"+0.7548933029174805","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":"Q4593253$B29F953E-E690-44EF-925D-79962B088F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b1dfd4c2eb078bf9e5f08f63dab87a3eb46496","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73fa47c8bd2a09d2f35744e32d18c4fff8722d88","datavalue":{"value":{"amount":"+0.7522447109222412","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":"Q4593253$DF53AB14-A29C-4646-B6B3-49F4B3352BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0522efca69039012a3aed205fca5833cb13426d","datavalue":{"value":{"entity-type":"item","numeric-id":3705453,"id":"Q3705453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7f81ca1fede6b3a1220e2aa5f765798d85741c","datavalue":{"value":{"amount":"+0.7376053929328918","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":"Q4593253$4B54D6DA-28F0-4428-9A99-2F7EB95B1F1F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593253$ABE4CE0C-323D-4440-B601-34D2F7E387A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593253"}}}}}