{"entities":{"Q1928487":{"pageid":1939229,"ns":120,"title":"Item:Q1928487","lastrevid":51624548,"modified":"2026-01-19T03:16:56Z","type":"item","id":"Q1928487","labels":{"en":{"language":"en","value":"Complexity results of STIT fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121543"}},"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":"Q1928487$B00D1D8F-670F-4D17-82DC-BCC41DE4815D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07152bf1a0ac0991af0bec4016a8c0f8ca6e4670","datavalue":{"value":{"text":"Complexity results of STIT fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1928487$7015F990-D710-47F6-A49E-C3C354FD3127","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d66e6071e14cfa6b2fe5caacd384cb2a7d69b51d","datavalue":{"value":"1283.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928487$6C43F812-DBB8-40BD-8ABB-B5D30308AB8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa3ef14ff1cf746521ac49865650a6a5916aaf29","datavalue":{"value":{"entity-type":"item","numeric-id":302224,"id":"Q302224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$89B0C8C0-D56F-4C9A-9428-0850489F5707","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$D8B5D253-3162-4E8C-BB50-7B1854930A24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54c3aea5017a2b930b738e94f94c92304e5e4ff2","datavalue":{"value":{"time":"+2013-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1928487$61992FA7-276C-478A-B064-531FF7F57A75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928487$4E07317C-2108-4B89-9EE5-204080FFE792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928487$EF611E7C-F9AC-49A2-B41C-D7947F21A968","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eee931e523b945c5bc2fb7bf80381bf21f8448bc","datavalue":{"value":"6121543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928487$B4F12F0E-FAE0-4A5B-BFB4-B58A66FB2D53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af2ce99c04c63ff5bdbb1e21ddd157b9b934c40","datavalue":{"value":"STIT logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928487$8050D6FD-7E99-400E-92B6-998E7EEF6378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928487$A08D9AC4-7507-430D-AD71-5CEDA083E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928487$2B410ECF-4DC3-4334-849A-846E467D4BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928487$B9B694CE-34F9-406E-86C7-9DB2CC4B332B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1928487$8EA5584D-F571-4CD7-8268-2FE4171F62A8","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":"Q1928487$04D15A62-4BD3-4E3D-BB97-323B07BCAD35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eccc73a78a4e174053b47a1e06bdab3b943c2dbc","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9445-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1928487$906EA994-CE35-4B34-B841-3BBBCABFB81F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f1ca3a7d6c1abd5e4f6b83deb6bbd2a87e53d3a","datavalue":{"value":"W1988824527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928487$943E771F-AE57-41F6-B95A-C1E47E87A056","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$07623BF5-6911-47D8-B7F8-139570F856A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e84ca9db98e03fb9bbda9d81bae68c392d269a5","datavalue":{"value":{"entity-type":"item","numeric-id":939059,"id":"Q939059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$C1E414DE-9477-406F-8A35-9F7B64253765","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":"Q1928487$C8374077-C587-4104-9BFA-19808E75953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf958a12fa4475f81c2d01bd38a75c7e1c2d83a","datavalue":{"value":{"entity-type":"item","numeric-id":545173,"id":"Q545173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$AAF37D59-C879-41DD-B7DF-CA5AF591CBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a24b94d8cfd8f8f6af59506a58d42c37930e4d","datavalue":{"value":{"entity-type":"item","numeric-id":3522047,"id":"Q3522047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$8316F309-FA46-4912-8AD8-34EF47E83269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c58e34593e86e36fe4c7f5774b2cc2c8a27329","datavalue":{"value":{"entity-type":"item","numeric-id":3601785,"id":"Q3601785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$AB638FA9-0BE7-469D-9B5C-C8A6407419BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5d1833096ff19864942022169918c470f44d3b","datavalue":{"value":{"entity-type":"item","numeric-id":3431962,"id":"Q3431962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$AED75376-0CCE-4F44-A436-1BEA5E8126F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b3e7554c5b9ad3a018588230332941dd1bfea0","datavalue":{"value":{"entity-type":"item","numeric-id":1207433,"id":"Q1207433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$92A2181A-A08C-4773-882B-E4DEF9B80994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933314f70457348ef2a1f3874cb4187916d6afff","datavalue":{"value":{"entity-type":"item","numeric-id":2268355,"id":"Q2268355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$04BD4B07-131F-4AEC-AF39-6468904FBA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dec8ab3ca76ac6156d8e5fcbd45a30c92a670f2","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$228540D9-CEE4-470E-B556-CF33DF343D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b05b1c2dea044e244f58590c8afd2c2bc7773b","datavalue":{"value":{"entity-type":"item","numeric-id":1908789,"id":"Q1908789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$30F77898-27BC-4248-8F4C-EA4C8D14F3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8394779242df5e11b4f2bb1a6e8c0760b8d9f561","datavalue":{"value":{"entity-type":"item","numeric-id":5422030,"id":"Q5422030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$DB10B885-98F3-42F4-87B0-508693601D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8995ed70027dfa2c02af6e3d1c6c16197a395e2d","datavalue":{"value":{"entity-type":"item","numeric-id":3647280,"id":"Q3647280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$A9E77D2D-942D-445E-ABFE-F8E2A394EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$B082DF38-78F3-4C19-8B4E-6EE9E1932664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e8a2a9c70259038125d0971df148875aef5238","datavalue":{"value":{"entity-type":"item","numeric-id":4931582,"id":"Q4931582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$3BA5BA23-7435-402F-B29D-D97F2C68E802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60cb8a855e147acc18e28510b590a1cbcdd40dad","datavalue":{"value":{"entity-type":"item","numeric-id":543627,"id":"Q543627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$C7CF5F08-C570-45BD-88E7-43958B5F4F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba90289a7cdb139bc7068a2d498d8c18dae2d63","datavalue":{"value":{"entity-type":"item","numeric-id":1401945,"id":"Q1401945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$9D7B1F4F-E2C9-4F5B-B21E-3D21E00AA76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$366E5C50-39E5-4B4C-A8C6-B0228B48B1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf98953dd73acfddd93835fae1bda7618af622d","datavalue":{"value":{"entity-type":"item","numeric-id":2566222,"id":"Q2566222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$04F5087D-1163-47A3-B52A-B778C4E4B543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e798e497ca5860861d09c381f10b7bba78492f62","datavalue":{"value":{"entity-type":"item","numeric-id":4244318,"id":"Q4244318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$529303BF-7C8B-4014-9384-BE995AC06999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ca8c66fbabb6cddbda11a6c90f74986d6132bc","datavalue":{"value":{"entity-type":"item","numeric-id":3431973,"id":"Q3431973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$2EB92FC4-1BB6-4DBE-85B9-326BE9884F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb5a0249e38cf3eb0eee255d17e0ed98bead274f","datavalue":{"value":{"entity-type":"item","numeric-id":3509070,"id":"Q3509070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$037A45BB-6403-4CE5-B4E4-19CF20CF6DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2afc869c15681bae0b864172157ea1803ea399","datavalue":{"value":{"entity-type":"item","numeric-id":1863958,"id":"Q1863958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$DEAD5F9A-6782-41A4-AB70-BBB59ACED537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7cf4932f95d814d7aa9ccb0e76145cb7214501","datavalue":{"value":{"entity-type":"item","numeric-id":1272834,"id":"Q1272834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1928487$2474C64E-A68E-42D2-B17E-462097BC0D43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"527f579152cfb763ddd541ec36ae94e48be76725","datavalue":{"value":"10.1007/S11225-012-9445-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1928487$4AD549D1-8964-431F-9A22-E181C69C9CE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8a19e481bbdd44ff7f95cfd8b1bf4190a7ea9a","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61264e7d810f37135d2f74cb161dd0d80ebcc0e","datavalue":{"value":{"amount":"+0.8814455270767212","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":"Q1928487$7813A8C1-A2DE-4D0C-845B-BBB1D7EC9EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2b2189649e373a901cdc67140524a397733b0c","datavalue":{"value":{"entity-type":"item","numeric-id":939059,"id":"Q939059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655bbde82562dd752c041a647735816de09086e8","datavalue":{"value":{"amount":"+0.846767008304596","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":"Q1928487$D7853414-94A0-4FB8-9537-5F3CB74B9F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b78a2877735f32e62be5e223ed2da5d32d0eaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4842624,"id":"Q4842624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38eb8f617b5826a8232890557b761e0019830980","datavalue":{"value":{"amount":"+0.840326726436615","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":"Q1928487$4F1641EA-8E15-4F69-A37A-757B3A7349AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac672458a6c887c5bf3a731ba358ff2abf7643a9","datavalue":{"value":{"entity-type":"item","numeric-id":2852085,"id":"Q2852085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21c151f406250d1a97a9cc88f160db37fd09073","datavalue":{"value":{"amount":"+0.8245680332183838","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":"Q1928487$8B5DE6DF-0343-426B-81CF-29E134460605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e663493305e479fb71e93b5d1081d36f7e2187b","datavalue":{"value":{"entity-type":"item","numeric-id":5197391,"id":"Q5197391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0b32a9e48dbc4a15d3f7c8192d24b77bba83b4","datavalue":{"value":{"amount":"+0.8106399178504944","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":"Q1928487$063D79AE-D3AF-449B-9026-8F57DA72DB60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1928487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1928487"}}}}}