{"entities":{"Q1264137":{"pageid":1274887,"ns":120,"title":"Item:Q1264137","lastrevid":70031745,"modified":"2026-04-13T11:58:15Z","type":"item","id":"Q1264137","labels":{"en":{"language":"en","value":"Directed frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128789"}},"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":"Q1264137$3CDC1ABD-2238-4177-AA84-08A5FAB267D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"614319bc60c317322bd4726b60e69358e296466d","datavalue":{"value":{"text":"Directed frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264137$BC32F3F9-AE0C-48FF-BF5A-8AA4B32E151D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518ac60482e912790fd4723a34dc5313ba4da7eb","datavalue":{"value":"0689.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264137$6D7FB653-3065-42AE-95B0-4C9C5DCAE239","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1c123efaf2cf27dde8eecf187c13d0ab36fd9a8","datavalue":{"value":"10.1007/BF01630811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264137$62CE9FDD-27F3-4BE6-AF33-99B12A131FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d68aff69cfae7de4ec58702322f4cd709e9314","datavalue":{"value":{"entity-type":"item","numeric-id":1092035,"id":"Q1092035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$72E7B6A4-DAE6-4948-A124-9DCEE43F2FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$02F7DA42-0FB1-45A5-9FB6-3925DDFE61EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$34E478B4-9B35-4476-8560-63D1FFB9758D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264137$D00512C4-38D3-4D03-9BBF-A1211E4C5CEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11e1ae7f33bd9898f7036290f60d710fcc4ae105","datavalue":{"value":"A directed frame is a frame \\(<W,\\leq >\\), where the relation \\(\\leq\\) on W is reflexive and transitive and for any \\(x,y\\in W\\) there is a z such that \\(x\\leq z\\) and \\(y\\leq z\\). Directed frames frequently arise in mathematical practice and are associated with the logics which are stronger than intuitionistic logic because the principles of the weak excluded middle are provable in them. In this paper some questions related to their axiomatizability by first order calculi are investigated; in particular, it is shown that the class of directed frames with nested domains, and the class of directed frames with maximum element (and either nested or constant domains) are axiomatized both by first order intermediate calculi and by modal calculi. Furthermore, the class of directed frames with maximum cluster and either constant or nested domains is axiomatized by first order modal calculi.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$BE42E379-4991-4F92-A905-168F899794D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d8a223071fe2fd8762483ef53ce76dd67517481d","datavalue":{"value":{"entity-type":"item","numeric-id":807610,"id":"Q807610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$AA298E6E-6632-410F-B27B-E648C8DA46FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264137$B4417B1A-D943-4C47-A53A-69BF1150A18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264137$35E0126D-5491-4A5E-B2EF-7A01FD2D6F6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c5c8378cdf57cfea364a73699042b3f2b5d92e9","datavalue":{"value":"4128789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264137$AFA5C53C-9BDA-45C0-B92E-A3346DB583C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$2D2F1247-12F9-4EA9-87F0-D955E7350D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$61036B4C-6C28-4B3C-BC9F-A910808A6BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"788c0e9e3118c8651c2f8d08ce0c521d28655b9c","datavalue":{"value":"directed frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$31DF2E25-AD4B-49E0-9908-9B365AFD745B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2235881a45e6b60ca720791fe3a5fac9c1878135","datavalue":{"value":"weak excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$B60FDCE3-6891-4788-B123-92E82D63ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156bf20e40bcd86171c484eab69c44542bd31720","datavalue":{"value":"nested domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$B5D88079-788E-4364-A3AE-6C4F1AE735B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"693a9e9a5b0fdc8c7ffdb5f269ff9a7f725c267b","datavalue":{"value":"maximum element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$85948728-9AF2-4407-8CF3-A214281CFD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aaf8d00d700faa62e77fae546f3d4fb60da072f","datavalue":{"value":"maximum cluster","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264137$283BBAE3-001C-4060-9C6C-A3A3E9877E96","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":"Q1264137$3A2D3BC7-FA53-4637-8794-E9FEB33E08CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8a08bd48e1588893c90232586033a609b82fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3791115,"id":"Q3791115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$CA8C1226-9600-41B8-AB80-0A13C556C9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2f9e2ad93b06ab1b713950faadf42f86b42e23","datavalue":{"value":{"entity-type":"item","numeric-id":1264135,"id":"Q1264135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$B891FE0B-FCB4-4E87-863C-524DCB68632A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$BE6004D4-370F-443B-9F9B-4D1E5BEB8AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$F9A723C8-7D7B-438E-AB89-3CB6FC010A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$ABFBB1D1-A1E9-45D5-92CA-7BA970D7F9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264137$A46A21BF-989A-4CB6-A7EF-1A99F90EB067","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2da0435249bf2463f04d20a2deeacc7adcdf9666","datavalue":{"value":"https://doi.org/10.1007/bf01630811","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264137$5E26A203-9BDF-4D15-B10C-C044419FEFFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1c694d11a9bd38c46d12ccbd5de7c92065d9eb8","datavalue":{"value":"W4246772431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264137$B89A6518-FA59-4A9D-9397-9BD67D08B86C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beffcec4b90f77b8bbb35573d98e8c6b0bc3790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094149,"id":"Q3094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6146f951afbc2987111ad0c0dabb4624ef6945af","datavalue":{"value":{"amount":"+0.7160994410514832","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":"Q1264137$5C71F7A8-A696-4B08-85EE-7ED0A718EE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc785785acd3dee085c27a86ac3569e86175678","datavalue":{"value":{"entity-type":"item","numeric-id":3360841,"id":"Q3360841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930f318a479404376cd985c55f3ea7820cc00121","datavalue":{"value":{"amount":"+0.7056087851524353","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":"Q1264137$0F162B3C-E510-42F7-A215-A48E7AC40484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05cb5508de2cb427def8c6d7bbffb5feba85a406","datavalue":{"value":{"entity-type":"item","numeric-id":3509065,"id":"Q3509065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b1fa3133602cecc840b50365000f0c2cdabeeb","datavalue":{"value":{"amount":"+0.7020001411437988","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":"Q1264137$7B4FA1FA-2257-4C28-B204-7B76A6E04FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ff5a83915aa0d90ba282e1ca7104a2474d8d7ad","datavalue":{"value":{"entity-type":"item","numeric-id":519848,"id":"Q519848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f3e7d73afbe8dfcd044ee0b6bd1b2b0b8ab98c","datavalue":{"value":{"amount":"+0.7018826603889465","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":"Q1264137$68A7CC94-08CC-4378-A061-DC2769D41FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56f10a6c5bc12b3703911d1ee69231e2131d059e","datavalue":{"value":{"entity-type":"item","numeric-id":1005954,"id":"Q1005954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd1ad4acbfbc3f286f7a4cec1bb39ec8bbb036a","datavalue":{"value":{"amount":"+0.6982071399688721","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":"Q1264137$2995AEC8-306F-4378-A468-93EF39D10E1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Directed frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Directed_frames"}}}}}