{"entities":{"Q5403464":{"pageid":7433038,"ns":120,"title":"Item:Q5403464","lastrevid":51956876,"modified":"2026-01-20T15:23:32Z","type":"item","id":"Q5403464","labels":{"en":{"language":"en","value":"Modal tools for separation and refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274295"}},"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":"Q5403464$D70E1BA6-B28D-460A-9AD6-9890B88E9035","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"284b96d039daec02445a0d653af802ec6f127c23","datavalue":{"value":{"text":"Modal Tools for Separation and Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403464$BF1B7D52-A3CB-4220-BAC6-932F80B13DB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"433737af41cd639d451c75ea19f10c80665f8706","datavalue":{"value":"1283.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$561AB7D7-10F8-465D-AF0B-1CB163982AAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$86C436F0-88B6-43EA-87DF-2B5CEBA95F4A","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":"Q5403464$E9EDE4E4-8CA0-4859-A62B-532187CAE1C2","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":"Q5403464$62D8AAAD-46AB-4671-A9A2-1A185C3BB87F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$DA8D60E9-43FD-44B1-A09D-79A6C3EAF99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$395A839D-7501-47F4-87C1-1768A0257166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$4164E62E-B826-4EF0-A665-B4F2275C7486","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b5b18f5a6f5efb5a3872f3f5e32186e02bdd4f5","datavalue":{"value":"6274295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$95A4B500-BBC9-4C2E-A2C6-CCFF38B185EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48192cbefd24e58fe965d1f7c2dd7810da0ab037","datavalue":{"value":"modal Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$DE42ED12-59CC-4E73-BB52-D20D5B3ADCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ce0c27cd68697c188a779ae35a0a28738ca8d65","datavalue":{"value":"Kleene modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$A8428322-E63C-418F-8861-28526EA87C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$1452A658-BE63-46C0-B2DF-9047EC7CD8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$81DEDEBA-EFC3-4025-A11E-9406C89EFBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$A70C8397-8045-406E-A575-5A82D395CFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$3DFAECC4-A386-4590-AB82-6CE4C999807F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403464$E0350E2E-2B16-45F7-82EC-6FC177F3E3D2","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":"Q5403464$4B6CE858-7778-42E5-8A24-3231B57339CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a12446cdb5a58e5c8fa24dd03c14a9f2f7fd404","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403464$AA9C2159-B483-4718-BE8A-53EDDBBD3752","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8da7d22b250e60a7de70130b6dfb2f8506fe07e3","datavalue":{"value":"W1993315725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$EC2DAB87-7151-4524-9F74-0F95786FE44A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$E78AE9ED-62B4-42E8-8ABA-11D3A83A84C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$87192E7B-FE65-4BE3-8A46-05CC14A06EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$14F09AF6-4389-4117-9378-0C026A6E6FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$C3AE8709-51D6-445F-8B92-9D9A8D4DC25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc7b6c6a1afaedfcbece847a7b39f21038d8764","datavalue":{"value":{"entity-type":"item","numeric-id":4673439,"id":"Q4673439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$E29003B2-F381-4B37-8DC2-58000F824F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$2E3CFCF8-951A-4BAC-AF2D-26B74D5C2AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a599e78b7f6ac88556b4a2cd8e0cd4dea641b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$0179EB8D-8197-4E0D-BF2C-18D9A9EC6848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$09F06D44-7F02-48F0-91E8-8C4427308982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b37a40a03c37bebfcf2bb14674f3a940ea98e19","datavalue":{"value":{"entity-type":"item","numeric-id":4383698,"id":"Q4383698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$D1124AEF-1E60-4C0B-BCE8-B81EE845297A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670dca5260164183c43bba88db17fb6a8f5a795c","datavalue":{"value":{"entity-type":"item","numeric-id":5712424,"id":"Q5712424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$09BD7591-A24B-4D37-ADBB-004FF60E028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"382bcdd8050a34008c4fb0f10555287ccb3dd803","datavalue":{"value":{"entity-type":"item","numeric-id":3498415,"id":"Q3498415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$A47730BC-6C6C-4DF4-B061-7D0435E480D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$C847CF54-31BE-48F3-AFD6-AAF1838FCD63","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":"Q5403464$479AEDDE-3208-43E2-874C-965179C235C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b63910b2835a2f9d3ace0892edb2104142fd95","datavalue":{"value":{"entity-type":"item","numeric-id":817584,"id":"Q817584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$2E915B42-DFC2-462A-BBFE-7E79AEEAABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6daed1a8fcaca7a71aaae67ae286b4fdbaf987","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$73B9B4F8-3821-49E6-B223-D272F25BB16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403464$570F2710-51EA-481E-AF32-394EE301589B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a2f97922702817f79b1d838e470bd1774b20869","datavalue":{"value":"10.1016/J.ENTCS.2008.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403464$7889A7DA-818B-4363-B23E-F53A0BFF5F78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e926f30c228f72803642ec0e146ddd17943eee","datavalue":{"value":{"entity-type":"item","numeric-id":4673439,"id":"Q4673439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6fbf0e76a9fb0663e3ebdc3d2218cdc3cfe71e","datavalue":{"value":{"amount":"+0.7531067728996277","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":"Q5403464$D64A893C-829E-429F-AA50-E8DF1825F466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf404a9c64bba298661010994732753acac072f","datavalue":{"value":{"amount":"+0.7420697212219238","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":"Q5403464$67355BAF-E3D7-4C40-BF78-CD9D93952F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3be806172f6062024167018eae314fea7d747e5","datavalue":{"value":{"entity-type":"item","numeric-id":5712424,"id":"Q5712424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4dad0b0e115a183ac41028455158878b2f831c6","datavalue":{"value":{"amount":"+0.7380192279815674","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":"Q5403464$39AD6964-CEE0-43B5-A1B5-78F17D3CD61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac10d3dbb3e1d7ad268ad4727aa76d77ebf426c","datavalue":{"value":{"entity-type":"item","numeric-id":817579,"id":"Q817579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efca95ba734afe62613f19cb6de00c972c33d66d","datavalue":{"value":{"amount":"+0.7279573082923889","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":"Q5403464$43788A0E-11C4-4603-A43D-674D875C6B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b796a81e43403d15b61c9fefc0ff5c6a1e95d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0363146c875ff941235c50c1a61d290b2ac8b31","datavalue":{"value":{"amount":"+0.7244972586631775","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":"Q5403464$69E90338-3DCA-4152-808A-3F668C6CD66D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5403464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5403464"}}}}}