{"entities":{"Q5170664":{"pageid":7200236,"ns":120,"title":"Item:Q5170664","lastrevid":52046930,"modified":"2026-01-20T20:08:17Z","type":"item","id":"Q5170664","labels":{"en":{"language":"en","value":"EXPTIME-complete decision problems for modal and mixed specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320171"}},"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":"Q5170664$349E8BA0-E602-44DE-8ED8-657FCECD622B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7777583cef2c296116ca242fb1f1ab0cba98462c","datavalue":{"value":{"text":"EXPTIME-complete Decision Problems for Modal and Mixed Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170664$0B84E4B9-C6B7-4DF2-8599-BCEF91B464F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e8e952601daaef29e8bd58873cd8914ad43116a","datavalue":{"value":"1291.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$37E66F71-FE54-4492-BCD4-E21097347DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fdb1575e4393343f448214fce081917e8b8a353","datavalue":{"value":{"entity-type":"item","numeric-id":2810965,"id":"Q2810965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$28A3BE5D-39DB-4463-A16F-AE2E2812EC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$0ADE5962-8ED0-43C3-ADB1-125BC9D0C415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9871e2d43710340f622e8fd158b0d4e95fc9a63","datavalue":{"value":{"entity-type":"item","numeric-id":2169110,"id":"Q2169110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$A6E6A3EE-9DC8-489B-B03C-9A2A59112525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d53e9570d442a569b789880085f203ff32389ae","datavalue":{"value":{"entity-type":"item","numeric-id":338616,"id":"Q338616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$6D386561-7112-4748-AF99-5B6633EAA875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$2EF90634-B862-4B38-AB6E-7EA8220FD194","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":"Q5170664$FA025F19-0CAE-40F3-8767-29DC40C51EB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eacdb5fcca3e105f9b9fc4f2a069313e1de98d4d","datavalue":{"value":{"time":"+2014-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170664$B236B51C-6F4C-4542-8F21-A45C118D1B8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$2CFFFDB7-2D65-4552-B8F6-5208471BE9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$5D0151B0-F26A-447C-803B-EE2C4AD34958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$6358AE59-7655-41CD-A0E3-8253CB427554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe5ad11eeef437a8944e35d1df54dd85d49fc3c","datavalue":{"value":"6320171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$ED3ADAB5-26DA-4296-9023-8EE6CD1D16E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9146ff6aa4230ed125df8b034c69c5375686d0b","datavalue":{"value":"EXPTIME-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170664$C0DF7FD7-7743-4778-8CEE-330205BB21E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170664$FA811376-63F7-4A7B-A227-707DD571FAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641b78f24eac3ae5977f8a7a859619ba2a02fd6c","datavalue":{"value":"mixed transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170664$4D04ACEC-842A-4890-A242-08AE8C67B458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c4862b34c66f51a13987dde22a192047a6fb3a","datavalue":{"value":"modal transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170664$6394A257-4D13-4E58-97C2-B22770B3BADF","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":"Q5170664$72A3CF2C-926E-458A-84E3-31C25CA96E7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b92ab1308a880dac894ca332008e5829b0838518","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170664$C728DFD3-5995-4366-8891-FD5B050389BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca9355627a191426f85859f12eaf915b75d09ba3","datavalue":{"value":"W2120514221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$4F6354D2-EB40-4EE3-AE85-345ABF0FA96E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0bc307093e7ff68f484c9304639b44f749559","datavalue":{"value":{"entity-type":"item","numeric-id":2810966,"id":"Q2810966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$E051582F-8769-4731-96FA-512564F1E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$F5B003FE-B3B8-4D97-BB42-C5FB86884C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88638e4b60d05022da4de7c6bddc71ac604ef17","datavalue":{"value":{"entity-type":"item","numeric-id":5458354,"id":"Q5458354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$1541811E-3D9E-4A42-9EA5-88824F795742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$AA07F8BB-7709-472B-83F7-981392713BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$EF1DE2E8-0FA1-439C-AE76-EA24EBF6EF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$2A6BEBA8-441D-411D-8D2F-7B7E4AB4C76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c87d244bb47b7033a2215bba62f2b5aef99a339c","datavalue":{"value":{"entity-type":"item","numeric-id":4414390,"id":"Q4414390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$0634C35E-578D-4013-9DFA-51C733B53DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f62c4731187b7640525ed80834befb6b49bee6","datavalue":{"value":{"entity-type":"item","numeric-id":947781,"id":"Q947781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$0B613592-81D2-4B24-B906-3F6C325181CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f33fbe02729f9cd505ccdfbd31fa221502a33b3","datavalue":{"value":{"entity-type":"item","numeric-id":2852361,"id":"Q2852361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$FBCA0728-9E0F-4742-8E26-716D2350C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"001df6d4c2f40e31c30070e72341fc800e24361c","datavalue":{"value":{"entity-type":"item","numeric-id":5310632,"id":"Q5310632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$740969C9-40A5-4136-A884-D7044C8A85A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9c61e40405df27744ce2b9d0fd7c410afbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":846015,"id":"Q846015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$4D156C50-6BF6-4911-8E82-FC30F247671A","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":"Q5170664$ECEE4D4F-ACCA-4897-A68B-5CFB5FF89250","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":"Q5170664$8F2F5046-FBC1-44DE-B38C-F17663750267","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":"Q5170664$957C9183-7505-44EF-94B8-9DC078DB6151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$E18F59A8-1953-433F-9D9B-C064F7CC57E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f900bc7997e7deaa287902f2ad93d9def7be50e2","datavalue":{"value":{"entity-type":"item","numeric-id":953529,"id":"Q953529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170664$3A27D6A4-87FF-453B-BB50-1500CC6F765C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c305191735dfd3d37d4bdf0360e24ff14597d07","datavalue":{"value":"10.1016/J.ENTCS.2009.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170664$5140F479-E33C-43E0-94A3-CAB9E2D2B48B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772de35e191fb8ab2a194a967684314e405e8b21","datavalue":{"value":{"entity-type":"item","numeric-id":3550702,"id":"Q3550702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f3738dd6a2276da4cece959cedba0b61399570","datavalue":{"value":{"amount":"+0.9172651171684264","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":"Q5170664$1E51952A-3EEA-472E-A0D7-6FDBA93EA265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3ebdf2032e9bc0ae48b36d88c83c4adef426ce","datavalue":{"value":{"entity-type":"item","numeric-id":5458354,"id":"Q5458354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb26f45a29828586438e69b02ff5ed610f741b79","datavalue":{"value":{"amount":"+0.8788403868675232","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":"Q5170664$370C54CF-147B-4F3B-A4D2-67313B605C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003dd4cb71b5558dcaf499217255d392a166a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":690504,"id":"Q690504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe238c43fdc2d3935c7ee210838b0c4ae28e67e","datavalue":{"value":{"amount":"+0.8048044443130493","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":"Q5170664$09CD7F3E-8BFB-41A5-BFF4-6CC0E531C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787ffef6b585ebdab1454c5bf702b9b1531216ad","datavalue":{"value":{"entity-type":"item","numeric-id":3393402,"id":"Q3393402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d81838384d60f016286ce09010ca6368fa01d3c","datavalue":{"value":{"amount":"+0.7841141819953918","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":"Q5170664$6C483E9C-1433-4F34-B5CF-A5526C7F6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fedac2374420c26f94c6d0c4142bf94246149e","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f632c6282e3d57ca3092b574dce1fd78ae78a992","datavalue":{"value":{"amount":"+0.7423747777938843","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":"Q5170664$F0A744A0-51E0-4194-9082-7CEBDEBCFFDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170664"}}}}}