{"entities":{"Q5403474":{"pageid":7433048,"ns":120,"title":"Item:Q5403474","lastrevid":75509431,"modified":"2026-04-19T07:44:38Z","type":"item","id":"Q5403474","labels":{"en":{"language":"en","value":"\\(a\\)-logic with arrows"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274308"}},"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":"Q5403474$AB1617EB-27A1-4CAE-872E-339FD7492470","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b49a8cdfe0c66f556963a4354b0fe258b0613ef6","datavalue":{"value":{"text":"a-Logic With Arrows","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403474$2F5FDFF7-A923-405B-9261-8E49BA870EDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecefa389931b65a412b59889f7a0934783f0ad23","datavalue":{"value":"1283.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$B4C968CF-B18B-4797-BD3D-43D9BB5383CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a81c1dc4fd6107d655f5cdf28aa4baf06ab79e","datavalue":{"value":{"entity-type":"item","numeric-id":603903,"id":"Q603903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$A081A387-6C37-48FE-966B-746C3D243804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db57da05f7a2528db77ce79579650b12005cc558","datavalue":{"value":{"entity-type":"item","numeric-id":1744403,"id":"Q1744403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$5C5AC331-136C-4537-B390-4FDEF7B72A09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$9D79AA80-5AFC-46BC-A510-BD3403FD6E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403474$DFDF9A4A-C5C9-4CC6-B1C4-71CBDEC181EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$1EB4264F-E09A-45D8-81A7-7E104E44064B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$1DCB748B-1A32-491D-A41D-EE7BF1FE9CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$08720F82-9944-42D2-ACCC-E1BE2EDB0E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$BDD1D345-EB9D-4574-909C-44B91BF69CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$3171FED0-3626-4C22-87D9-B008A0CA6FA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a08da074921a3b00950c7e469843159ca049909e","datavalue":{"value":"6274308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$44042C38-17A7-4D6F-93C9-6F41F8AED5AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403474$8A6F8A8B-3B82-432F-9345-59DB7A129D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403474$8B0817BC-ED0F-48DE-BE76-AF5162B1979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403474$9254FCD1-891F-4B0C-90B0-0F1D94F541FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403474$6984068E-7CE8-46D7-A84A-E6095377FDBC","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":"Q5403474$AA232AC6-2716-4D04-8260-A322CADABAF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8eca2065b7409c15343e86ef4d3490c43d1a67d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403474$C5D3B8D2-4456-4E92-BCE6-C0E4B06AEA1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9afeb42c64ae9160f60b60df7952e5e8a9c2ba1","datavalue":{"value":"W2110141919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$7B6F6C41-11E9-4C5F-A1AB-00884230BA65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c082e98be692707bb504260580c778ccd80f234b","datavalue":{"value":{"entity-type":"item","numeric-id":4940887,"id":"Q4940887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$86B9631F-4DDE-4368-8899-B705288CE2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$397634BD-239F-486E-BA2A-4437B22DFD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$CCEE6B72-C0EF-4040-96B3-6F8076DC3FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$08BE0018-20A4-4CE5-9132-38A9EF7A19CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd54e40ec5ea763c89e44953a228a38348ab721c","datavalue":{"value":{"entity-type":"item","numeric-id":3199391,"id":"Q3199391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$B8E9DFF2-F0F9-4BE6-BD8B-1C1777D9B3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$32B62E88-1603-436F-B2A9-5B2F4D454CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bdf53e9c0e1010dd328f3b0111157b7266a57d","datavalue":{"value":{"entity-type":"item","numeric-id":4821649,"id":"Q4821649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$84DA7AAC-82E0-4C0E-8304-5CE41B35C6B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$4A6B18CF-A769-4159-B1E4-534175A8E255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9738a54ce3d19f905a4c6043b7f3154bcf623cf","datavalue":{"value":{"entity-type":"item","numeric-id":1061731,"id":"Q1061731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$C881DC59-31CA-48A6-895E-5A4B84A4A703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae661bd294f9436f142a231c41b5a405fa6fd353","datavalue":{"value":{"entity-type":"item","numeric-id":1785528,"id":"Q1785528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$765B7925-3A04-482B-A88F-EAA6CE2C711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196230e63f5198d8b6c56f2338b38a665d4a8e9","datavalue":{"value":{"entity-type":"item","numeric-id":3007266,"id":"Q3007266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$C680B8A8-DEAC-4249-ACFC-D22C7D68CFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92f6322024f57edd9f188e505e033d3c1f18710","datavalue":{"value":{"entity-type":"item","numeric-id":3525150,"id":"Q3525150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$4645CA8C-514D-4703-8CC3-CE6EC4FB55D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762b43d948cd82d9f4af52f22f8fa8112e0ca064","datavalue":{"value":{"entity-type":"item","numeric-id":939160,"id":"Q939160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$9E2FC5BF-2D98-4340-B025-BCB72468B109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$C5671F86-9A54-409F-8FAD-32CD27AE0C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$21352718-DB85-485A-842E-BBAF38842B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$0B8972C7-B07F-4B6F-8B42-E44ECDE6FD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$8ECEFBC1-A5AA-472E-8416-4B825469CDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2827c478b9a1776a17885b10dda39c051b159251","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$3421F19F-DBF4-4C20-B16C-1569A993969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf9bb16368406d756f1ee1585890c89fe7bb1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5267435,"id":"Q5267435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$01A1FFC6-C123-4689-A017-C86AC46CF198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5194c8ec77c31e80a5e899e7c781a57067e1669","datavalue":{"value":{"entity-type":"item","numeric-id":2470764,"id":"Q2470764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$8C9D8DC5-275F-4BFD-8DF0-FF55B9156422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cb571752706c0bf4628a52352a1a7f232000b9","datavalue":{"value":{"entity-type":"item","numeric-id":2566026,"id":"Q2566026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$A3A901E2-1793-45AD-952F-1269A14CBB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$B7E62002-D63C-4A3E-98B7-9777EB63F946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$BB048140-9003-4F5D-8366-0D216A301CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48af5adf09c22725f6f724fe9db0206a76af8fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5464658,"id":"Q5464658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403474$01BDC60D-74BF-4995-B489-1726C9181CD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28c49d5a86efcb7f3a4e1a3eccb181c80260fe3b","datavalue":{"value":"10.1016/J.ENTCS.2008.06.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403474$A088EE5F-79A1-48FD-A950-A93C12056E5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7723f5c3c6fc6b0a21079c4bd63fa1db7bdd52a2","datavalue":{"value":{"entity-type":"item","numeric-id":3007266,"id":"Q3007266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a495af21eaaa3cf7ebc12fe066ea1b868ed27a1a","datavalue":{"value":{"amount":"+0.8076882362365723","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":"Q5403474$A60FB41E-03F9-4086-96ED-88E4A057833A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf350f0a68ae31c3a77001f70502e15891d1e707","datavalue":{"value":{"entity-type":"item","numeric-id":5313058,"id":"Q5313058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50ac5ebc865e4a7afadf81282c0b48ba61e75c0","datavalue":{"value":{"amount":"+0.739804208278656","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":"Q5403474$0435F691-8EB0-40AE-A6CB-B0957917C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846237803633e03d95d894ff7294fa375a3c415f","datavalue":{"value":{"entity-type":"item","numeric-id":5307080,"id":"Q5307080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"383c0af3ac9cb2f344bc60adf384cea47b5e3290","datavalue":{"value":{"amount":"+0.7225458025932312","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":"Q5403474$6689FD61-EE5B-410C-A84F-29C8DE832828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2e1fcbebee0a8d41a0a02b33c070a8bf2fb565","datavalue":{"value":{"entity-type":"item","numeric-id":4537520,"id":"Q4537520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64a2088f1ffba254f9511d57b8b0204fe5bfd32","datavalue":{"value":{"amount":"+0.7119144201278687","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":"Q5403474$1E9D1E8A-2ECA-4225-9007-7A1A97D34BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fca4b2119315fdbea89ece24f473bedcebb90f","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d079616d7a7d4375597c168242d38aec2dd3d730","datavalue":{"value":{"amount":"+0.7078905701637268","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":"Q5403474$CEBBA3A0-FBEC-48F6-A41F-4C85590093F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(a\\)-logic with arrows","badges":[]}}}}}