{"entities":{"Q6615313":{"pageid":14226470,"ns":120,"title":"Item:Q6615313","lastrevid":42382271,"modified":"2025-06-14T01:18:24Z","type":"item","id":"Q6615313","labels":{"en":{"language":"en","value":"Modular SAT-based techniques for reasoning tasks in team semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7923058"}},"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":"Q6615313$62065A0D-1620-4FC9-AD9F-9A59D4EE6AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82af79ed958113e780873de3463e01d1e37d2da3","datavalue":{"value":{"text":"Modular SAT-based techniques for reasoning tasks in team semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6615313$73B22261-5D6F-47BF-B16F-E459358A8E5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b82a23595fbcb5b1156c148fd35f761f8929ef","datavalue":{"value":{"entity-type":"item","numeric-id":235688,"id":"Q235688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$73A97BE6-BAAD-4DAF-B260-D13454215109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c92a6d1e244ef6727f00b02d0236f9547dd35","datavalue":{"value":{"entity-type":"item","numeric-id":269505,"id":"Q269505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$9D414E9A-5FA9-4131-BCD1-5A6898CC1250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e91bc5e0f61733bb6f4b607f8868935e632c0d","datavalue":{"value":{"entity-type":"item","numeric-id":278764,"id":"Q278764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$C15A8D61-B560-47CE-A4CD-3685FBDFDCFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$8529F16A-9C96-47FD-A691-DFE4256477D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03a16e60c4311202f855d06c07cecd615a7be8ea","datavalue":{"value":{"time":"+2024-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6615313$49CD291D-FB7E-4475-953D-AD7DD3AA0998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615313$4BDCC975-429B-4067-AC47-C9302EC7B8BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77d979d5b9167f4398d9b9de07df240d610b2a38","datavalue":{"value":"7923058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615313$0CEE3430-F2C9-41F6-AC60-59F24843AE5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615313$DE83E036-A65C-488D-BF29-B4A7CBDAF540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d49315be35778c568eabedbed4ed634f5c9eb2d","datavalue":{"value":"data complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615313$E7D500E5-2EC1-42A9-BFE8-F14B41D26FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6615313$74E28062-5342-46C1-A442-F04F074FE039","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":"Q6615313$724388A3-71ED-4F57-AD0D-37D0D66A115E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed5aac628d42940d0e74d2c0032b2eb102421cb","datavalue":{"value":{"entity-type":"item","numeric-id":1054485,"id":"Q1054485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$28D19D84-2423-44CC-B5B4-7A99134423A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f86be4ee78b8dfc28dbdf6bf0baf55d7f2249d0","datavalue":{"value":{"entity-type":"item","numeric-id":2176408,"id":"Q2176408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$645BAF05-85F0-4B17-8CF5-C1A8EA7ABB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07dec7989f149f16f2fcbdd901b8620f1a7fbcd","datavalue":{"value":{"entity-type":"item","numeric-id":626493,"id":"Q626493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$7A441009-1A9D-461A-8E7C-7A8355D2AD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858e829edbff20ad48edab5cf07bdd922098408","datavalue":{"value":{"entity-type":"item","numeric-id":4389761,"id":"Q4389761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$2F4EAB9B-F260-4A1D-B3B6-2F1F16CC55E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92519a57cea63c4ef560f91abf6fd5c4b6d5056d","datavalue":{"value":{"entity-type":"item","numeric-id":1647487,"id":"Q1647487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$9FB0B894-11FA-4AFC-8813-83DE0583CD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c5c64f69e37c8c003a24ea30285af32cd76211","datavalue":{"value":{"entity-type":"item","numeric-id":5056358,"id":"Q5056358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$706C2DD2-EE7E-42DD-9147-D2765B48BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad58fb43e22b51bb15c5b2de8679e492658da3","datavalue":{"value":{"entity-type":"item","numeric-id":645985,"id":"Q645985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$8D823053-9675-4606-BECE-F7E304DDEC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b2b310bfe3331f719609c786fd6aba8488c72c","datavalue":{"value":{"entity-type":"item","numeric-id":2958527,"id":"Q2958527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$919AFC45-D68D-4B65-84C3-AFEEDE446F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d174a5532fba5272b2f046018846c5d54ed5d3d0","datavalue":{"value":{"entity-type":"item","numeric-id":2958528,"id":"Q2958528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$84D71681-2B2A-4DB5-B1F5-39537558F587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d8136cf1ea6e7dc709bcc7885556eb2ebe2cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5202223,"id":"Q5202223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$84AE710C-5929-468F-BB7A-253FE8DD51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00fbad8fe3c3a491e1de8dee37fc723a673f69a","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$A41161FF-F142-4C48-9805-ADC4AE7473B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f193bec91b4967a5957e95adf6144816027176","datavalue":{"value":{"entity-type":"item","numeric-id":391101,"id":"Q391101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$1CF1535D-89B4-4361-BFDE-59735E2734BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3a0d183f69ab4da449c2e91353ed2f24648502","datavalue":{"value":{"entity-type":"item","numeric-id":5278424,"id":"Q5278424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$7FEE62E9-2E27-416A-B277-1EB7754D74D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3f8c5a0cc0a6db23dd94cd2c6ba8cc0ec6f7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1956372,"id":"Q1956372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$2531944A-04F5-4814-AD36-B6FA69BFFDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9245c0ec2d7477fc13f385268112037dfa3a2e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5092378,"id":"Q5092378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$D14DC678-37C6-4E73-801A-6D26780D5221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9d55d45d249cd91dad32df29148ade3dd73076","datavalue":{"value":{"entity-type":"item","numeric-id":2172832,"id":"Q2172832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$00241FD8-B15A-4399-AF64-64AB0212C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228589e165be309b7eb224cab83d11c97eb3f6d1","datavalue":{"value":{"entity-type":"item","numeric-id":2296714,"id":"Q2296714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$332312FA-48BB-4A65-ADEC-8C05745C7842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6b9eb0ea44dd517dcd11259a6a508bdd821faf","datavalue":{"value":{"entity-type":"item","numeric-id":5278400,"id":"Q5278400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$04A75F42-E69B-4227-BF36-A85EF916DD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd50cebeabbd8c125023756b3cf239442eed90a","datavalue":{"value":{"entity-type":"item","numeric-id":1956380,"id":"Q1956380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$3DBD1161-8882-427F-A293-E43D32E6787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1b38b13c169cbad3c8af07d293f7352e20a8da","datavalue":{"value":{"entity-type":"item","numeric-id":1647499,"id":"Q1647499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$7C645B52-3800-41B7-AFC8-8138D6114741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4a7a342b9950158ab79fbd73f8f7c6bc26f9b5","datavalue":{"value":{"entity-type":"item","numeric-id":5213648,"id":"Q5213648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$BF21B254-BBD4-4F93-BBE6-F5013C3A4384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498042ee4b0767ee5b7debe836b6dab24b7b3d81","datavalue":{"value":{"entity-type":"item","numeric-id":3992720,"id":"Q3992720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$33DC4DCD-5112-47FF-AA08-3F6E93B7A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b06cdf3058d94fbc91292a227b57b1c8abff29","datavalue":{"value":{"entity-type":"item","numeric-id":3446107,"id":"Q3446107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6615313$2A7FAA1B-E51F-4437-A669-54BDAF336B62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb634d5b83ce5c9237ae8a0dd3151b223cc1718b","datavalue":{"value":"10.1016/J.JCSS.2024.103575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6615313$099C39F3-1F11-4141-A033-6E5F7E582091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6615313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6615313"}}}}}