{"entities":{"Q894527":{"pageid":896375,"ns":120,"title":"Item:Q894527","lastrevid":52405352,"modified":"2026-01-22T14:05:21Z","type":"item","id":"Q894527","labels":{"en":{"language":"en","value":"An algebraic axiomatization of the Ewald's intuitionistic tense logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515149"}},"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":"Q894527$2B1DC1F6-52A3-4248-9F20-4114EDD4014C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ea00e3e04abebd1b0c374c9151c0ef158851bed","datavalue":{"value":{"text":"An algebraic axiomatization of the Ewald's intuitionistic tense logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q894527$76AE6378-EE06-42EB-9285-D96EA8F5923B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7951b0aaa06ebb3614bcb355a98a70a6cc4fe2d","datavalue":{"value":"1325.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$91379672-C34A-41A1-87A3-8D13F798C65A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ac8cc5083d8edca19e2d209ed8bdb2b5f4e0ec","datavalue":{"value":{"entity-type":"item","numeric-id":780235,"id":"Q780235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$68F0B8F6-EF1F-4B4F-9668-E98FE995013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"863cca2426d1137230fbd8ed6b21656783c6c734","datavalue":{"value":{"entity-type":"item","numeric-id":894526,"id":"Q894526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$4FBD81BF-CF6C-412C-9701-8766BBAEE3CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$2259845A-C993-4BF9-8E1F-4FB576ED7B2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da855e53f2567d39cf3030e0ffe950af64a120ed","datavalue":{"value":{"time":"+2015-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q894527$87334993-003B-4179-A676-EC39E3DF9878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$54C6CBEF-8C55-44D4-8186-E8DE9E903B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$5DCD5A9F-4DCC-499F-9BFE-5D80D2B5D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$1AD8C893-00A1-4518-B4EF-28E85A2B46B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c619fa24fbb9efcfe46dc1043ebc42a5520c86f","datavalue":{"value":"6515149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$872A927C-74B9-4AE4-98DA-2EEA8C71B211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q894527$B0D217DC-7570-4780-8E53-04523318AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62e3298ed0c91c77b41ca1ad2fdac331df0f7d4","datavalue":{"value":"tense operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q894527$C6A773C4-F9D4-457B-B230-44A2FF67E218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q894527$FD9516C0-2368-4BEA-ADFE-93E618956CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dadf3bd896af0b9eb7940df62ce9d55f10cdc9","datavalue":{"value":"intuitionistic tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q894527$C14273FE-0606-407D-8F27-DABF63741FCA","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":"Q894527$4E6460BB-80F1-43E4-B140-F0C1C9872AA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6b109ad669441e71839628de71f62be0fefa90e","datavalue":{"value":"https://doi.org/10.1007/s00500-014-1317-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q894527$88F94D25-7F6C-48B8-A731-B1F5F120BA78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a949725f30cb5e4dcfab02d224dd571154dbd0ee","datavalue":{"value":"W2122705115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$FED003F0-4335-4314-B331-0AD03721E80D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$BDB9662D-2A39-43A9-AAD3-0CEE4DFEC487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$CFE19761-1058-4877-BDC7-A1E89B5F09ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4d547ca76e4b86d8cf82e89e649681bd87bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":429927,"id":"Q429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$C383CA6D-C42A-4744-9CFB-BCD6DCAAF7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$8994E1D9-D0F0-4482-806F-2C8F7758B926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$8B80B055-271A-42B5-918B-743D8319A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2699ac4758641bc83897dc4751a40e8b2500c4c","datavalue":{"value":{"entity-type":"item","numeric-id":657427,"id":"Q657427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$004E7D61-3443-4ADC-B10D-9E862F259DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d14e5ced14fe6ab32d6a3afec935fec75dab54","datavalue":{"value":{"entity-type":"item","numeric-id":2392562,"id":"Q2392562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$9D7F9073-DE39-46A2-8202-233E292E9E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3849be10a4433a465fbc67aa1550a8117b20f45c","datavalue":{"value":{"entity-type":"item","numeric-id":2883997,"id":"Q2883997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$C5EA0F0C-1665-4893-B6B7-659FD86041A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97957893567d24ba7bf9f14877c3440ebe3d71cb","datavalue":{"value":{"entity-type":"item","numeric-id":5389310,"id":"Q5389310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$FAB6A13F-244B-4A1D-BCD5-EE1065152F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdafc2bf77f751addd44df0df3ffbc583f686c6","datavalue":{"value":{"entity-type":"item","numeric-id":1933793,"id":"Q1933793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$453B13E4-EC55-4686-B0AD-0E6441BCDB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$5C7E83AB-3000-4692-8984-BDAD9B613899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$736ED2CF-577E-4831-B452-4D9CE265F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488667fd8995f8f44701553653d15796fda3d407","datavalue":{"value":{"entity-type":"item","numeric-id":3145265,"id":"Q3145265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$9E5249EE-FEF6-42FF-AB79-3C9784E892EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56028fe3a9fbbcfeb634b9545c564db3e52df12c","datavalue":{"value":{"entity-type":"item","numeric-id":3223839,"id":"Q3223839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$7AB67474-A416-4EB3-9412-4469D87ADC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92a602d7219c2fb90893aa9e31db7c119eb384a","datavalue":{"value":{"entity-type":"item","numeric-id":5413332,"id":"Q5413332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$FA63D7D5-6988-4C97-A7A1-1E377EDF74EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf15f1a6144ca3486795db829ecb315cca80255","datavalue":{"value":{"entity-type":"item","numeric-id":5176670,"id":"Q5176670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$54FEAAC1-CCCC-4A56-8F53-D042E2592B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d55ceb688c679ae04421f58521735474f069e98","datavalue":{"value":{"entity-type":"item","numeric-id":3259695,"id":"Q3259695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$480C7BF8-4AFB-4D31-BB9A-A6E84B77E2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edea5638220bbd93cdda5d40dd90be13349da7a0","datavalue":{"value":{"entity-type":"item","numeric-id":4943495,"id":"Q4943495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$F1BCB8DE-9940-4667-B25A-A6F8FCB9E1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$89A62151-D888-49A5-83BD-70964B0A834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c14e5332484049924f45c44de566f49380d20e","datavalue":{"value":{"entity-type":"item","numeric-id":5445172,"id":"Q5445172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$A00F6BB5-1AE2-4658-B301-214FB3B478F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q894527$50799AD0-C907-4BB3-ACED-963D83C03485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"044ed3905d6209da554e58804b204451014c39bc","datavalue":{"value":"10.1007/S00500-014-1317-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q894527$AEF14AB6-F561-4233-911C-EAF2D687D0F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859ec4a836d077077de162ffdfdd71d262756063","datavalue":{"value":{"entity-type":"item","numeric-id":657427,"id":"Q657427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7824fc7efa8f854ac57afef3486ae27358432e4a","datavalue":{"value":{"amount":"+0.8347789645195007","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":"Q894527$2EC13A40-5A1E-4A7A-90F1-E7AC1011D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b278b01b1b189dec55f5c00a6abd039b21af8c","datavalue":{"value":{"entity-type":"item","numeric-id":2799965,"id":"Q2799965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959bf509db51529c44fae4a7ec98c7cb373846a2","datavalue":{"value":{"amount":"+0.8153557181358337","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":"Q894527$C9070331-51B4-4E58-AB5F-96110196557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6a42d74b939171c93b386fd0a435d9fda8c032","datavalue":{"value":{"entity-type":"item","numeric-id":5413332,"id":"Q5413332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744dab7e79451ec3182cebb7fb5a563599fa7b09","datavalue":{"value":{"amount":"+0.7862281799316406","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":"Q894527$EA8D1749-0212-4687-B57C-7FAE933AB016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6f445d542cd8ab2490d756cfbef35967978a03","datavalue":{"value":{"entity-type":"item","numeric-id":4918144,"id":"Q4918144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eea0583f59f48f56aad5ff076cd3a4b88467673","datavalue":{"value":{"amount":"+0.7747166156768799","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":"Q894527$A23F6AC3-DA06-41E4-800A-327D1455D7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148aedc62ba4ca33e660fb9156583006a1587ef7","datavalue":{"value":{"entity-type":"item","numeric-id":904480,"id":"Q904480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8006e864d8939edf8d0382054dc4675ac84f6b69","datavalue":{"value":{"amount":"+0.7673410773277283","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":"Q894527$AE3A57E2-9E2E-42C5-B772-13E59A621BEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:894527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:894527"}}}}}