{"entities":{"Q817963":{"pageid":819811,"ns":120,"title":"Item:Q817963","lastrevid":64567587,"modified":"2026-04-11T20:46:06Z","type":"item","id":"Q817963","labels":{"en":{"language":"en","value":"Relational semantics for Kleene logic and action logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014658"}},"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":"Q817963$AA08B64A-44A7-4279-B553-1F4724AD28A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ca54633778b8e50bae0d6ce3fbf07b812554744","datavalue":{"value":{"text":"Relational semantics for Kleene logic and action logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817963$3881580B-D009-4BED-9078-13993E80DA61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdf08296721adbbb4612f2f1a2b991ee2b46d671","datavalue":{"value":"1099.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$DEAD665B-0EDB-482F-B9CC-A7D19FEF2E1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66f84fbf84627872ee8e4f09b27f58a25c3028cd","datavalue":{"value":{"entity-type":"item","numeric-id":266640,"id":"Q266640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$B03C7629-9395-4F98-8487-6257AB769B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2c9310ba4403f502f62bb76aa7c520204441b8","datavalue":{"value":{"entity-type":"item","numeric-id":358689,"id":"Q358689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$01ED8AD1-3855-4F30-8434-79FC3A7ABE89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$9F782999-6416-4773-967C-3DD78F6A626E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"786c24ead4bfc4d4b1ef44b338d65b3c3963c6f8","datavalue":{"value":{"time":"+2006-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817963$5E96306C-3DCD-421F-AD18-1E1FA4F83345","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47ecbd2ea37faf7f2cd401998aa0854f8da190cb","datavalue":{"value":"Recall that (1) Kleene algebras in the sense of D. Kozen provide solutions of the finite axiomatization problem for the algebra of regular sets by finitely many equations as does (2) action logic. In this interesting paper, the authors treat them as non-classsical logics with the usual Hilbert-style axiomatization and semantics. Several soundness theorems and completeness theorems are proved mostly in great detail. In their discussions of semantics based on a four-valued approach, the authors imagine a ``dual'' to C. E. Shannon's concept of information, which can be used to clarify the role of the logics and algebras. Finally, in the authors' star semantics, the reviewer wonders: can partial generalized Galois logics be extended with an operation, if the new operation is (1) circularly definable or (2) is the closure of a circularly definable operation?","type":"string"},"datatype":"string"},"type":"statement","id":"Q817963$62BD3B4A-2C31-499D-AEB1-A55FC963769A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$88C0BD85-8414-46AC-8FEE-EFCA7522FDBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$E929E787-795B-43DD-9574-270DCBB0363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$40E11760-748D-4E2F-89EE-9314630B554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$8ED1250A-DE22-4639-874D-A9C36958A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$08D74C89-3C49-4700-B2E6-867CF23EBD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$287DB785-9C9D-4715-9C2C-CFD9EEDAD736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$4C2526B1-CC59-4B62-B151-98E52030F544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d2b7cc8ca554eaba1cab5a4271a4f961f30b968","datavalue":{"value":"5014658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$190C5EBC-001D-4259-9309-3DA2E25ADEC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817963$B3E0718E-783F-40DA-B2D7-99A143A5B626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817963$128AD51E-7F1F-44BE-A200-9775B2BAA9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q817963$28570BCB-3E72-40AE-9CB6-665839B05BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a750ed2e0be4c476add56af31066d0d7bc339f1b","datavalue":{"value":"generalized Galois logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817963$4410FB51-0A11-490E-BBB7-E0789B08BB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cc92540a64df82dcf46c590b32c48c256814302","datavalue":{"value":"action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817963$0286DC94-50EA-47B4-9B3D-6F462F0DF61E","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":"Q817963$C482C72D-1A98-44F9-A694-41D4A082205D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0897c627ecc0d6977a958074b2a2d1bc34159e37","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1134397663","type":"string"},"datatype":"url"},"type":"statement","id":"Q817963$C3D5ECE5-4E47-4939-9D1F-6D469FF3588D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"498e8478bea93e02f6e827a6168dba389c91a9cf","datavalue":{"value":"W2026564669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$74D56A14-89DD-4A9D-BD16-191DEAF96539","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"078192816d95203f01e91497dad7cd1890e9f185","datavalue":{"value":{"entity-type":"item","numeric-id":3138010,"id":"Q3138010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$470D9D03-B88B-4891-A9B1-EB77FD1BF5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$8933A446-4914-44B1-B76E-01F20BC72660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186acf99ff02d164347274af36b6b9685bfa1f6b","datavalue":{"value":{"entity-type":"item","numeric-id":2743637,"id":"Q2743637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$193C629D-43B7-48B4-B973-90EC3A9647F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4c78aa704e79822baadd5dd331a7e3f4735a85","datavalue":{"value":{"entity-type":"item","numeric-id":1826434,"id":"Q1826434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$DDF19FCB-9CF6-41AE-A5E4-7B0466B4C511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67a70c139089a2132580c4a82d76d6052b537cd9","datavalue":{"value":{"entity-type":"item","numeric-id":4392658,"id":"Q4392658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$974A052F-7CF3-4078-B491-8232B148E96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c76942999963cfb4522ef86aed03ce8c423a44f","datavalue":{"value":{"entity-type":"item","numeric-id":1422105,"id":"Q1422105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$A11B0AD1-97A0-43CE-962E-867337C577D9","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":"Q817963$9AD8B75C-AF32-447F-BB03-60F1BCA85E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2ccf4fcd9d3d38026f2030849919c4cd7e8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5788423,"id":"Q5788423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$618A93FD-2222-4D9D-92C1-B7158305B94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$29214E3A-00C2-4BB2-8214-77404E2810CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$701D28FE-BC5A-4AFD-8BF8-57B1AF6D9A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb81c5b91fbc05a090177adc4268ae243c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":4342081,"id":"Q4342081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$BF2D9E59-CF40-4A19-8043-CE3B2A453CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7863f2174c0a55f7876d0a9cacbcef92afe17a8","datavalue":{"value":{"entity-type":"item","numeric-id":4287485,"id":"Q4287485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$10EB416C-1F69-4727-902A-1AE3342526A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071268363db23fa43b7898ece6bea1d084b6ca56","datavalue":{"value":{"entity-type":"item","numeric-id":4940724,"id":"Q4940724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$1BD3EC1F-E021-4FDE-917B-4170858C1CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f575d53f8f2ec798ba304cb4914c6da7877102","datavalue":{"value":{"entity-type":"item","numeric-id":2751047,"id":"Q2751047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$D894FD26-C148-42A5-8BEB-6133741CB712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60046217f283523aad66183e49e048151730cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4428873,"id":"Q4428873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$3E023208-73E8-4410-9B09-4A3A1159C34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc6882e8aa5d0a1c605a8721eb2c2c4416f4b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4424663,"id":"Q4424663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$B80A62DF-05E1-476D-9777-21695F18BCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a70f2ea607c531d6dd18caae6608fc0d3173fbc","datavalue":{"value":{"entity-type":"item","numeric-id":2753193,"id":"Q2753193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$689DD528-997B-4AB7-B4FE-7C4AE581364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd502a5ef0129ec6b722b64271c375aa4ecbbff6","datavalue":{"value":{"entity-type":"item","numeric-id":4353718,"id":"Q4353718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$3D9FDFE9-C183-47D3-9BF7-020CB68C7709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$4770DF9F-3C16-4338-B513-F2FE5A041359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$AAEC257B-4304-410E-8B5B-C4960CCA1924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$68EE5BD4-332B-4626-8F4D-8FC79DDA4017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481a441d538eae7c6a03f622bc0ee221721e0d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1272119,"id":"Q1272119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$FFAC6276-9E4F-4A5A-A5BB-5B25EF5D8D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$B2C47984-50A8-4C14-9D95-E0BE952CFD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$BDF65842-4DE6-4E21-AAF2-DF59A38953D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a34f4e568c2469f8063f69f8c16802976e475eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3392273,"id":"Q3392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$FA45B966-6880-459C-B467-02A557348CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fa167f9ce108e65e21e06aeead0ae751a82f05","datavalue":{"value":{"entity-type":"item","numeric-id":3950538,"id":"Q3950538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$F1B8AEDA-7D7B-44CB-84FA-8DE015AC1BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e2602422b1b9a961df0ba2025967b41fe30ab3a","datavalue":{"value":{"entity-type":"item","numeric-id":1247989,"id":"Q1247989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817963$036AB810-C15E-4B4C-910C-2010B8CEA490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bbd03461fa5d5766203fd0921fa839c3dc8ee02","datavalue":{"value":"10.1305/NDJFL/1134397663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817963$DEF7AFF3-0CC2-4A28-981A-907C0EC11B34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2cb9e5d3a4d69cebe43d79445a1c4de7b60788","datavalue":{"value":{"entity-type":"item","numeric-id":5465435,"id":"Q5465435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74029ddf5d0093b421cdb12aa5ea38aaf230752b","datavalue":{"value":{"amount":"+0.9110183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$3478CED1-52FB-48B4-878F-27B58178F96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ad55ff9d4a411da0a313d55045ee2d239f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":280840,"id":"Q280840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226fcb9c3971b116b876767916bb554aa53ac576","datavalue":{"value":{"amount":"+0.9096948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$002AAE78-0610-4B56-8220-8BC3DB1F1CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a790aec1066aeabde512cd587e272da222cf8f4","datavalue":{"value":{"entity-type":"item","numeric-id":2086532,"id":"Q2086532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4491f3cc7d133f5b6f5cc643eff8690ced49fc6b","datavalue":{"value":{"amount":"+0.9087477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$2CFD69B6-00BC-4108-9D1B-1EBB2FE96621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb257c7f40cb6795727aa8e0548d09006f987215","datavalue":{"value":{"amount":"+0.9065813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$D9419BE8-F07D-4718-9635-605183FD094E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aea730fea43e185064292050b68dd1058675866","datavalue":{"value":{"entity-type":"item","numeric-id":5302024,"id":"Q5302024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31503090e53e48f6717012c72e25058225a77ef6","datavalue":{"value":{"amount":"+0.905968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$A7A73BED-85D9-45BA-BA3D-6B4A790A7793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13147b28e84f22525997997b98c4ee55267dcb7a","datavalue":{"value":{"entity-type":"item","numeric-id":3585007,"id":"Q3585007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923e9430fb908c7d5cfb957dee34b414a3c59732","datavalue":{"value":{"amount":"+0.9041996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$6323FE17-DCA7-4F8D-B06C-DAEA396D8C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf7d9a7f5e2e335f80d9eb52c2a55457f11fd33","datavalue":{"value":{"entity-type":"item","numeric-id":2874885,"id":"Q2874885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a4a0f140970177e1725728dd577b8e3e1921728","datavalue":{"value":{"amount":"+0.9038564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$08339283-B1CF-48A1-88F0-9005A211BE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6592450d4ee64a63f880ebd9f77ab33bef3716","datavalue":{"value":{"entity-type":"item","numeric-id":3201035,"id":"Q3201035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f748ac5628cd5c6079a93a9df3346707427e9c3b","datavalue":{"value":{"amount":"+0.90139014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$70B17D82-94DD-491D-BB93-8DE736A4D77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47062b08b720c5a41c7bf7962c0538b9208e4387","datavalue":{"value":{"entity-type":"item","numeric-id":5224574,"id":"Q5224574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573b7bb017ff2fa8aae13101453629d7df741568","datavalue":{"value":{"amount":"+0.89903593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$E09BC494-FD2D-49B5-B3CC-518E78EE0275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e15fef631af27afda6c342f2631a2923f234ac4","datavalue":{"value":{"entity-type":"item","numeric-id":5758059,"id":"Q5758059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a26539b48e7362146aca945f5d72552638acd3b","datavalue":{"value":{"amount":"+0.898605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q817963$9C77583C-7DE4-46A2-A20C-045ED162A71B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational semantics for Kleene logic and action logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_semantics_for_Kleene_logic_and_action_logic"}}}}}