{"entities":{"Q3437263":{"pageid":3447966,"ns":120,"title":"Item:Q3437263","lastrevid":50093683,"modified":"2026-01-12T22:21:59Z","type":"item","id":"Q3437263","labels":{"en":{"language":"en","value":"On Action Logic: Equational Theories of Action Algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152653"}},"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":"Q3437263$B696E9FF-9092-41A7-ACBF-954E57A95D51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbc09f10c16c1130e1239554fdaa9f399e5cbe06","datavalue":{"value":{"text":"On Action Logic: Equational Theories of Action Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437263$A7F285D3-0A95-46CF-BBC8-8AA67026E54D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d80b9cf879a189aaecc3c7f5864df84d450f2f20","datavalue":{"value":"1118.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$37BC825F-0235-4485-A6D5-69BC143CF3E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437263$83B04EEC-FFD8-4076-8189-91493FED1F0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2af428023bb1f64e3e9e7c392bd08e7b812892","datavalue":{"value":{"time":"+2007-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3437263$2E9945E4-420E-4989-9E5A-2283AC3BE7FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$957AA7B9-22F0-48FA-A6FF-8AA99B45ACD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$C391CD56-8AB6-4454-ADF5-9BCDB60F7496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$79A07A35-5C0A-4FD1-B0C2-C4E267ABDE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$A24D5AE9-B934-4CE4-BAD8-727B0F887C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$AD0130E8-F435-4760-9016-D7F99AD12934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$FAAC7922-E80E-4AD5-BC79-2A204F2B44FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718f0960a0fec20183c0925da2e1e3595e2009fc","datavalue":{"value":"5152653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$3F2FC533-2B1C-4C66-8C3C-7C039FF19473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437263$E86E5DC4-89A1-48F4-9211-5EF019AA23C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5d54944cb533cdb981a7f675f7ba468fe744b6","datavalue":{"value":"action algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437263$576FB9B5-1C4F-4FC1-9F26-F70C52C04854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0cd1d3745b5b4162dbfe5e6b42131d7a5da8750","datavalue":{"value":"action lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437263$56F2B3C5-BFC9-4596-870A-5EBDA408BCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437263$11A7E707-E7C3-4300-BC5B-164896E68E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437263$5DD19C78-6A0E-4015-BEE7-7A0966ECDE3C","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":"Q3437263$D9FA26FD-2FBD-4D0A-978B-41300EB16461","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96c609858855b80592f5320058f92218d884d6c9","datavalue":{"value":"https://doi.org/10.1093/logcom/exl036","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437263$F4BDEA6F-89B7-47A2-A7C0-C9594C7C221B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72b0b99149470c2da5bdaf4b969867447392b257","datavalue":{"value":"W1976366395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$70C32D1B-4CC5-4F42-AD3C-59F6DFB1A22D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2279b50b656326e943273030e1563cbff1f78885","datavalue":{"value":"10.1093/LOGCOM/EXL036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437263$3B74FBEF-9DE1-4FD0-AD1A-0D7F4757048F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437263$242C35A0-35C3-430F-B0A6-0B59CE616B1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b195e4700ba0e889da061083dc46691f604afdbc","datavalue":{"value":{"entity-type":"item","numeric-id":935019,"id":"Q935019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d726d3a8f53354863b6fe8d4844f767a7dfb5e4","datavalue":{"value":{"amount":"+0.8235121965408325","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":"Q3437263$25F4D0AF-50D3-4164-A993-ABB499699809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fe6123e1ea33a51ee893cf9035716be0978f55","datavalue":{"value":{"entity-type":"item","numeric-id":5459176,"id":"Q5459176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842026e354524e7296bacc5ab114d70b69732224","datavalue":{"value":{"amount":"+0.808276891708374","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":"Q3437263$9034DF8C-471E-424F-BC40-5C214BB3F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9792810ecaaf1ba0071506099ae9a6a7137af8d","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5456769bb78a1237f5ff97054f5676b6fa74a708","datavalue":{"value":{"amount":"+0.8081457018852234","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":"Q3437263$82D86D7B-76B4-47DC-8721-80046F115F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df686c473514de370c4ba2d658bcec6582a226ab","datavalue":{"value":{"entity-type":"item","numeric-id":3005186,"id":"Q3005186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5456769bb78a1237f5ff97054f5676b6fa74a708","datavalue":{"value":{"amount":"+0.8081457018852234","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":"Q3437263$CA8D3EB3-21DD-4DEF-B071-C243C03A1D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b33c13ac5148b9f2ea33719d396c3bfac94ada","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf05024ba8bde12d82a9fce82af7185a4a992c1","datavalue":{"value":{"amount":"+0.7891031503677368","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":"Q3437263$1390BD2F-8F72-480E-B88A-ECF2A4BD732F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3437263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3437263"}}}}}