{"entities":{"Q1708103":{"pageid":1718844,"ns":120,"title":"Item:Q1708103","lastrevid":57489507,"modified":"2026-03-31T03:42:06Z","type":"item","id":"Q1708103","labels":{"en":{"language":"en","value":"The finite model property for logics with the tangle modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6855870"}},"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":"Q1708103$027B6BA7-0AD2-4756-B72B-1452FCC61384","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"695a7427585edc790693a28565b505913a1fb11e","datavalue":{"value":{"text":"The finite model property for logics with the tangle modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708103$ED349417-B463-412F-A179-DF505C8F818B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5fed0a6b1ffab9b85303ea6d5508552303aeab8","datavalue":{"value":"1437.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708103$3AD22FD8-3339-4CBD-AA5D-4378D760EF76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$27D84F9C-6993-4B56-ABAD-6C515F077D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$391984EE-E530-44F7-840C-3AC102EFD7B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$664F3B45-FA19-495D-9396-9A67255DE1FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8c11379e1af9eecedd8edafb2a17f000cccebf","datavalue":{"value":{"time":"+2018-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708103$0DA0DAF3-FB25-464F-8FE1-B084D0D87C8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edc7b33996a720de9f0c2abd1c7cd35b370f5c98","datavalue":{"value":"https://arxiv.org/abs/1603.01766","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708103$B7FA318B-B4E2-4C19-B80F-0DD2B9393945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708103$5411A8B3-E5E0-427A-9D44-5038B7A7EFE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3b95b910a4027e18dbb4ff54b26c612b048e4e2","datavalue":{"value":"6855870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708103$06CDC930-B5B5-46AE-BBAC-5C0C7EDF0BC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85914fcfa445295da38548b97c523d09cf00c016","datavalue":{"value":"tangle modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708103$41F1F34D-CE29-440E-BB40-6B2D2BF840B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708103$40A6F6C0-FBB1-41AA-81A2-213E327582CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708103$C5DB25B2-DEEA-4AA6-93A7-09CA58E7133E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708103$E85802D4-346F-4972-81BB-7BD2A315B2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994e9a961c2def8b98f88fa1276da2a000b5cb25","datavalue":{"value":"connected","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708103$E6C96646-197B-48C5-A24E-F7AB7CA49B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fba154baa628caab407b010a5472ee9b6d71e5","datavalue":{"value":"universal modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1708103$DED259CE-FDA1-4743-84AE-5387275E1A02","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8d693472a83a663b8807fd8da58e9850467997b","datavalue":{"value":"Q59614331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708103$7EBC111C-7CDB-419C-84EB-E52B46C997CB","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":"Q1708103$25D7589C-6174-430C-8175-7B873A440E62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"169e5f8e7c08756818ac031d1dcf8f48268bb51c","datavalue":{"value":"W2618560206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708103$9001EC84-300F-4FDA-8DBD-A0AAFCC68EFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$9DF0DFD1-E175-4C91-8A58-029153BC584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bffcfdc65c2a4a236ea3a2b5146ed684d3413aa","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$F6AFDC77-D271-4969-8EFF-DC8E4D279736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e24a7a268a4d86215dbc3bcfb7667335e267c3","datavalue":{"value":{"entity-type":"item","numeric-id":2915900,"id":"Q2915900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$E8DE2AB7-ECCA-4B87-9B82-065381A0AB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2134e0f82a24bd4337f31e9088b3bb5d93ac13bc","datavalue":{"value":{"entity-type":"item","numeric-id":763328,"id":"Q763328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$8503A49D-1E3D-47D8-89F4-48D0D90192E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66727055bbdcfc2605e78f74ef3c76fc1b29a724","datavalue":{"value":{"entity-type":"item","numeric-id":764267,"id":"Q764267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$42C44117-8B2D-44EA-8F1C-A9B476FDB249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa930a4e97da80c6689f7e7640c76695c3738cd","datavalue":{"value":{"entity-type":"item","numeric-id":3773852,"id":"Q3773852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$12C6BDDF-A337-4D3F-B005-752029731EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33f49071215bd1fb16f87f68dd7a73a48caaf0b","datavalue":{"value":{"entity-type":"item","numeric-id":515566,"id":"Q515566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$A3043F7B-2AD8-4975-BD6A-D314B1CDF6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e7f4e85ae6815ea38febf1a3020233b30ba913","datavalue":{"value":{"entity-type":"item","numeric-id":4636043,"id":"Q4636043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$B4C7910C-E901-454E-A26E-EB806A2CDEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38070a2324f6956e553f48ee431a7b1911e3140b","datavalue":{"value":{"entity-type":"item","numeric-id":6104378,"id":"Q6104378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$CA9C9386-03B5-4917-A146-0BC3CAE185B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9004f70faad4e787e437cba376a32dae0e519651","datavalue":{"value":{"entity-type":"item","numeric-id":5255799,"id":"Q5255799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$AA21119E-8BF8-4C65-9455-766134BB87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d4aff00a493266453eadbca656776a4efd559b","datavalue":{"value":{"entity-type":"item","numeric-id":4914415,"id":"Q4914415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$10977979-C2B1-471A-91AA-D85482881CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4b0809c211b7b2f4ceb490227ad58bc41fcec","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$65CEA29F-D1BD-4320-ACA0-C7E2C7681A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$6CBE9578-B928-4C3B-8B49-DAAD7ED9F34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$9D9F99D3-818B-4695-A97F-13CC29BFFF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49138e24cbec8ada0feb5d3f4c8c21a3f8ac022","datavalue":{"value":{"entity-type":"item","numeric-id":4291869,"id":"Q4291869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$C943A136-4549-4A75-9889-246C7B5E5591","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e255e94f23ad04de332de91f82bf1677e9f66267","datavalue":{"value":"10.1007/S11225-017-9732-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708103$169FAE98-DB07-4076-BEB3-640284D2371A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a01e4e3540347809a19d72b0f19664fa641020b","datavalue":{"value":{"entity-type":"item","numeric-id":4858814,"id":"Q4858814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146d9a9899e82d7628c7d5d06d26eb83b2eff115","datavalue":{"value":{"amount":"+0.761509358882904","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":"Q1708103$436C1E5E-B999-4255-9C92-4898912304F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1be4ce8c966efd6d5252748d8af90e82f47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4345015,"id":"Q4345015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a5d6b2b07e43ec58659b0dba391ec2d0a8cad3","datavalue":{"value":{"amount":"+0.755382239818573","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":"Q1708103$B40707A5-4DC7-49CA-9BF8-5505E1DEEBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1fde76e54a164698f64f0c248e9391e8843bc","datavalue":{"value":{"entity-type":"item","numeric-id":5937828,"id":"Q5937828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f802bb5ba5721ef81ec5bcde93c8e5d50b242c89","datavalue":{"value":{"amount":"+0.7223427295684814","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":"Q1708103$BA773E35-1A76-4F58-9A5C-68302DE89798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db755e0e57483d43d69aae43fb741771bc1f6161","datavalue":{"value":{"entity-type":"item","numeric-id":890969,"id":"Q890969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f802bb5ba5721ef81ec5bcde93c8e5d50b242c89","datavalue":{"value":{"amount":"+0.7223427295684814","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":"Q1708103$1C0CBBC1-EFE5-409E-A278-FDFD2997D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3954929b72ceda9ca93d89632cbde79b3e345a84","datavalue":{"value":{"entity-type":"item","numeric-id":764267,"id":"Q764267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1973e3a2be2e64d59cf2f9016e89c779ccac692f","datavalue":{"value":{"amount":"+0.7181386947631836","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":"Q1708103$38EA8CCE-F29E-4C9A-A7AE-235BAA60B053","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708103$AF81945D-87D8-4796-8F8C-6B79A60F7FCE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1708103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1708103"}}}}}