{"entities":{"Q549200":{"pageid":550967,"ns":120,"title":"Item:Q549200","lastrevid":51286436,"modified":"2026-01-17T14:51:00Z","type":"item","id":"Q549200","labels":{"en":{"language":"en","value":"Safe reasoning with logic LTS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918242"}},"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":"Q549200$8F5FA3FD-6BA2-4C01-9336-EEC824CBA2E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfea76866d5fe958efe8938da6c36954cf564956","datavalue":{"value":{"text":"Safe reasoning with logic LTS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549200$91C1694D-78D4-4E7B-BACC-C6767ABE2E02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"808a95d050da22c0077058802b9a65fa3c98c37d","datavalue":{"value":"1216.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549200$922E9B80-8F78-401E-9EBD-C309730F855F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18177fdfe78f7fc167ff41ba1f19491ea3e5c4a","datavalue":{"value":{"entity-type":"item","numeric-id":549199,"id":"Q549199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$9D720498-0A35-4B6C-9BBA-74B5DE52CE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$5CD8B234-4621-4EC1-972B-AF5077B45F7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$7A3DE5A0-111B-43C4-8A20-093B449EA9B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549200$096CC907-4779-4382-A628-93127778D569","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549200$48AD3003-ECB1-4776-9BA5-77BC3F3AFC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549200$464C4CF1-BC97-4E8D-8BBC-288B0DB603A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec27672ce0ae34e302e50df7ce088273fe0b2bf7","datavalue":{"value":"5918242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549200$D8F490BB-4106-4FD9-963D-A5561905C7B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q549200$248004F3-D777-4214-946D-F19AC2DC6FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8ee907e30a657730d7001290d34c786c737039","datavalue":{"value":"ready simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549200$F2D9283B-168F-4E44-A1F8-0AF28A6FBDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549200$5F6FE006-ECAF-430A-BC13-7CE133B94608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q549200$AD0B0E76-0E3F-4E35-95EE-3118DC67D0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a7e57898b4d2783fc5f37430bf0a6b3e6d83fe","datavalue":{"value":"heterogeneous specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q549200$6360BF91-F0A0-491E-A277-1895A6BA005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce0a895db7a4ad87f82bb6ec313d54e4dc22b7","datavalue":{"value":"modal refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q549200$7BCCCE8C-0557-44BF-9563-8D7CCF3C9BB0","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":"Q549200$3911ED70-8C2E-4F61-A588-42A42622B9FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b2dd97f9814ebb733a34f7f22bb26e001a7d4b8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.03.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q549200$A09B3914-7C7A-48FF-82C7-1594B6F2B4E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"453ea0764e8dca57933ee8cc200233ee4c2ae16b","datavalue":{"value":"W1997172052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549200$AE447074-C618-44F4-AF63-43554E374025","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a534936fd0e514cb6f784f74c0bb78f8cb07d1f","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$A1CAD290-0FA8-4483-A633-A4EC2C398096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283289231ead790315041364c2b7b2fb0fd56492","datavalue":{"value":{"entity-type":"item","numeric-id":988555,"id":"Q988555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$869472B5-A62F-4020-82FC-C853D1FD7367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$EB3F4B5C-1C6F-49F5-9F12-F715D6483B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1524c93b2c1d4c6da3305ad948fe73301382a774","datavalue":{"value":{"entity-type":"item","numeric-id":2996145,"id":"Q2996145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$FEB9A05A-2840-48FC-919A-8C79FB931967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$4C70ADB6-31FF-40B6-B41F-C2DDA4117C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$CA4DBA13-4169-471C-8CD9-12C85B161E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$10DFEA39-A587-4662-9ECD-D6A6982B589B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$E008177A-92D7-4220-8697-B329E18592EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$5F686937-3628-47AA-8365-067B7826F4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392863b139e29c8eb41e9bab67000bdc80e8a6bd","datavalue":{"value":{"entity-type":"item","numeric-id":843096,"id":"Q843096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$14DED116-2C3C-488D-A9F3-729C06F3FDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ba1e452efdf2a13c2fd0b50268b1e02d16eef5","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$31E952A1-FA2C-4FB8-AB34-B052041A6F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293747add7b6babd84264d0a6ac07c6ca700ec19","datavalue":{"value":{"entity-type":"item","numeric-id":685416,"id":"Q685416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$1511DC72-B61F-4229-80E9-862D63CD5B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$AFA007B4-6F8C-47D6-8912-00450D3F63B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e7d91c4bdac9ba68b110a8aad5e06949b4b2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1007234,"id":"Q1007234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$DDB5E282-69E0-4647-8317-F6AFFFC5880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60a0579383499ae5dffd1b321a9bc22bc1b63e","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$B2030DD8-35CA-4238-831E-FC83A136C581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ddc76f568ea956aa56da4b188b2c8023ba90a18","datavalue":{"value":{"entity-type":"item","numeric-id":4518901,"id":"Q4518901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$E3825F4F-A9B4-4CD8-9C4E-C01074FEEA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$3698ECD1-F2C1-4174-940A-6233F04BB20F","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":"Q549200$E5042494-23FA-43E3-834E-FABE44C36AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1fae000edbb060da557cb9a94ca685938e54be","datavalue":{"value":{"entity-type":"item","numeric-id":3508509,"id":"Q3508509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$3C7EBE88-C1F5-4C3E-A74B-DA3DB9CBD16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd26f976908d8bf3f63f8822b15b02aa084beca4","datavalue":{"value":{"entity-type":"item","numeric-id":1607116,"id":"Q1607116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549200$2502FE08-E253-4AC8-8026-A5654663BEA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b11ffa75b3b04c74736097802208f5ecfcafe726","datavalue":{"value":"10.1016/J.TCS.2011.03.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549200$FC7AC37B-A539-4BF5-8166-53DB799E1CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfe93acf2145a4ac4cd145762451a4d3b1403c3","datavalue":{"value":{"entity-type":"item","numeric-id":3599086,"id":"Q3599086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c134d710a1e12529d4524618421ceea8bc8726","datavalue":{"value":{"amount":"+0.9588568806648254","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":"Q549200$9CDF9EA6-98C5-43BB-94BA-CF1D38405295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"172aa55d79bc40628a6e5b6fd6df83c40c6cd5f7","datavalue":{"value":{"entity-type":"item","numeric-id":5740660,"id":"Q5740660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97248e18a0353a6f91f323b3cda8737a6249827b","datavalue":{"value":{"amount":"+0.7869426608085632","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":"Q549200$D95454D1-9BC5-4BF4-98CB-0FC5B51EF5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c091cb5ee9733a0a4eb9f98faad2b3bc9f7be","datavalue":{"value":{"entity-type":"item","numeric-id":5950716,"id":"Q5950716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de4a9b3db52ecc8639f59ba22c7625cf32a4378","datavalue":{"value":{"amount":"+0.7665746808052063","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":"Q549200$4D07B62D-605E-4668-AFBC-7A814884203D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f049ec084a6525b47eb3a7fe93a96dc3335d24","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b875923052aadf97ee526d842f3c27b732b3158","datavalue":{"value":{"amount":"+0.7588546276092529","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":"Q549200$8DA6254E-E5CB-412E-AD3B-3EA8F0F4E5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee86da2c087bd0c7bf15ce148e0d6717c6ff8aec","datavalue":{"value":{"entity-type":"item","numeric-id":2055960,"id":"Q2055960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d454109b4012bb51e6255dc96f87116d7941c82","datavalue":{"value":{"amount":"+0.7568620443344116","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":"Q549200$C5455DC3-3694-43B2-8033-01A774265659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549200"}}}}}