{"entities":{"Q2476788":{"pageid":2487531,"ns":120,"title":"Item:Q2476788","lastrevid":50304641,"modified":"2026-01-13T19:10:28Z","type":"item","id":"Q2476788","labels":{"en":{"language":"en","value":"ACTLW -- an action-based computation tree logic with unless operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248559"}},"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":"Q2476788$7F11DCE4-13FF-4FD1-9AE3-DC1D65BC4B58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a62d78908a94597e2b60dbfefbcbd572e84d701","datavalue":{"value":{"text":"ACTLW -- an action-based computation tree logic with unless operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2476788$1FB3A949-D91C-4216-954E-D02A133CF729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffb0a3d1d90da9d57a31f81a626be39ec1cadfe7","datavalue":{"value":"1134.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476788$13FA9286-1878-420B-84D1-4F10970397E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a602a18840cabb10b1edf8ac9353a35afcd1e690","datavalue":{"value":{"entity-type":"item","numeric-id":2476786,"id":"Q2476786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$83AF5F52-F7C2-486F-A350-338DFC70DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e9007f964328b3992e509cadad60b8450a641b","datavalue":{"value":{"entity-type":"item","numeric-id":2210866,"id":"Q2210866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$683F5E45-71F4-4013-A71E-F87BF581E738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"228e75097ecfb1560c6bf4a115cbd6ce4c1cac77","datavalue":{"value":{"entity-type":"item","numeric-id":2476787,"id":"Q2476787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$9C6D5795-BFFA-4C97-A25F-8FD524326634","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$D4BEC8D5-8C70-4647-96E3-CDFD80C8644C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2bb6064fe12f1f98326de21fadc6a9704c90a","datavalue":{"value":{"time":"+2008-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2476788$69AEEC68-2833-4A7F-ADB4-D5D3414817A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476788$F9388923-8FFE-48DF-8634-3B41576F1BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476788$E018C5E0-2F8A-4AEC-9901-A940E08071E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90fb44a9b3efe0f793e277651ff245ae97174a38","datavalue":{"value":"5248559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476788$3460E633-A0F0-4ED5-B764-27BDABE2A57E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476788$4CF8952B-7325-4F98-ACF1-E1C78695F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476788$1B9C1ABB-786F-4862-B15D-FAFFF655DC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3445b18323341be8106896adf1b72c15d3fa03","datavalue":{"value":"action-based temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476788$7CF526DE-01ED-4F26-B08A-D6CC9E743D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476788$B4CDDBF9-B40F-4819-B2F8-D7002A8EF518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83aef036b93201a181783f501506a360c7f5602","datavalue":{"value":"mutual-exclusion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476788$035F9214-238B-46CA-897C-E4DDB8EFA316","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":"Q2476788$A8CE2BA7-0DA1-48C7-9A5F-30D7AE07E301","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9ea94de41b42efddadffdd362c7c6e897f8d0e","datavalue":{"value":"https://doi.org/10.1016/j.ins.2007.10.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2476788$7C233B3C-FBA8-4F6F-B04E-9A084F69DE4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90631bb91c270afc20b7f7db34a41e4878904f38","datavalue":{"value":"W2061609623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476788$8980AA76-B531-42EC-ACE2-1D0EE091FFEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5586e6ed81015548cc55004d1357dac107ffe23d","datavalue":{"value":{"entity-type":"item","numeric-id":2489255,"id":"Q2489255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$7F28C592-1246-4CF2-81D0-6D5F40C68AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2082d07a6e29fa039d0aac7784b2eca3a8e7113","datavalue":{"value":{"entity-type":"item","numeric-id":3997236,"id":"Q3997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$8A97379F-0E4E-4AA6-9A2F-D730CE00049D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f3459305ac937293a3547b4e7b928bd3325bae","datavalue":{"value":{"entity-type":"item","numeric-id":4318992,"id":"Q4318992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$277FB04A-1381-4177-B201-AF1C6FD7705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$50BAC5D2-14C9-449B-9D09-752F08740B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f3c7bf33b6c5139d78d5a20cdcb030dea541cb","datavalue":{"value":{"entity-type":"item","numeric-id":5756622,"id":"Q5756622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$0BBA4FF0-5416-4076-9512-E90D554258AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$F446DD73-4496-4FDA-B0FD-F8AAB264B0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9999f41194175939c9534bacf5a48b78837038e","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$CAFF5105-7F86-47F0-9CAB-107CEBAAE616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$B3BD8A26-2529-4F61-BA60-7FE2CBAD34E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c170ff9a2edf66e52cc326a2f7f90fbc587636e","datavalue":{"value":{"entity-type":"item","numeric-id":2476788,"id":"Q2476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$67577250-133E-42F2-B46A-F84DEDFF4A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$E1C3A42B-AE1B-4EE6-940E-0956BAF24975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8fff6d2653f5e55d025371ea7a7334e5537a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$BE4338D4-B5CD-46D0-86F6-EB1B21ECEEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476788$62FFEC8A-CFB9-4196-83FA-4C87FD37D5EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"072e0b9ded06f2e86f1e8e1925aac9114c0152d5","datavalue":{"value":"10.1016/J.INS.2007.10.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476788$924EF3AE-704E-4AE5-8776-F477BA81AAB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbf9b63fae950ffa3f80ae17c5d521a86a9b5f6","datavalue":{"value":{"entity-type":"item","numeric-id":3146303,"id":"Q3146303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfffc0930a2a9f1779b1d3cd011149fd002f0172","datavalue":{"value":{"amount":"+0.7689542770385742","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":"Q2476788$E5F768D9-3CEF-4E3E-8B76-4BB001BFFDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2654bd68a14f85c4682fbc643aa1bc798c85b4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94480cd8fc102e3321d8d6a06c659d5c415c202a","datavalue":{"value":{"amount":"+0.767538845539093","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":"Q2476788$D7226305-4A40-4895-85FA-FB33AC24ABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab1268604c5f39229ceeb92291d427795a78091","datavalue":{"value":{"amount":"+0.7592849731445312","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":"Q2476788$D47B0802-3C42-4C5D-82ED-EF9C2F352011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bb2fe425b7d6d7f9101bfe5c99726606a28a35","datavalue":{"value":{"entity-type":"item","numeric-id":3507374,"id":"Q3507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae63d3e03facc50768d7874d820c6dda67fc51e","datavalue":{"value":{"amount":"+0.7568067312240601","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":"Q2476788$7C941B38-DB61-476C-90A7-10AE3760DB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1884199b0881a4c49d3d17f628ecc1faca826910","datavalue":{"value":{"amount":"+0.7558250427246094","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":"Q2476788$FE2DDF07-E7E2-46E5-848F-21DA1D886825","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2476788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2476788"}}}}}