{"entities":{"Q1589576":{"pageid":1600316,"ns":120,"title":"Item:Q1589576","lastrevid":43229528,"modified":"2025-07-22T14:40:27Z","type":"item","id":"Q1589576","labels":{"en":{"language":"en","value":"EXPtime tableaux for ALC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1542350"}},"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":"Q1589576$28DDBCAD-0F23-478B-9F77-9F2FF0BC7A4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b8f591330de5fd53f26c3314903fd9a97318d03","datavalue":{"value":{"text":"EXPtime tableaux for ALC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1589576$CA190830-B08C-402D-B174-EEDA590C1388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c82610ff7a2c416d0b46ce9683f191a8d93fc6f","datavalue":{"value":"0952.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$733FFA84-C0F2-421E-B314-11630A12A8A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7888400b1ec2d00f0ae4a8dc20c6debafdf1bbc0","datavalue":{"value":"10.1016/S0004-3702(00)00070-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$F4D7EE34-E623-4672-8E94-9A37B1803ED6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$6005EE31-9989-48A8-9841-85C1708ABD07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fc98fd02909f39fc4d6749553781a25cceed046","datavalue":{"value":{"time":"+2000-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1589576$38DC0E0D-05F1-4D20-9D68-137E66AB46DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd20fc174540bb14b30044bb7e436001bd8b9fe0","datavalue":{"value":"The last years have seen two major advances in knowledge representation and reasoning. First, many interesting problems (ranging from semi-structured data to linguistics) were shown to be expressible in logics whose main deductive problems are EXPtime-complete. Second, experiments in automated reasoning have substantially broadened the meaning of ``practical tractability''. Instances of realistic size for Pspace-complete problems are now within reach for implemented systems. Still, there is a gap between the reasoning services needed by the expressive logics mentioned above and those provided by the current systems. Indeed, the algorithms based on tree-automata, which are used to prove EXPtime-completeness, require exponential time and space even in simple cases. On the other hand, current algorithms based on tableau methods can take advantage of such cases, but require double exponential time in the worst case. We propose a tableau calculus for the description logic \\(ALC\\) for checking the satisfiability of a concept with respect to a TBox with general axioms, and transform it into the first simple tableau-based decision procedure working in single exponential time. To guarantee the ease of implementation, we also discuss the effects that optimizations (propositional backjumping, simplification, semantic branching, etc.) might have on our complexity result, and introduce a few optimizations ourselves.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$CE7F22D0-5590-49F4-A8EF-E03A5B5B0DD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$7EF7FA5D-3FE2-47EC-A8D3-A01CCE293F0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dd2d0f52e4bade4d2f5ab4be0886fb6fd7909d5","datavalue":{"value":"1542350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$06173449-AD67-422B-B46F-5F5F9C1E199D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$719C63D0-49FA-46D9-9707-29FE701152D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$822153C3-14C4-4FBF-933E-32FDD1FEB9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$FE10FB80-9124-4603-83D1-7A09D9B9D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$F841FB43-B37D-4920-A29B-BC5780392632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$14050A02-C52F-4980-A558-4AC63C7672CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1589576$564BF1A0-3B22-4C7B-9CF3-15CAE1D9A55F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01c58bdb41de6bff30051f66a3412134d626fddc","datavalue":{"value":{"entity-type":"item","numeric-id":989167,"id":"Q989167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$BB913102-C4F9-47CC-A6F9-7555D925EE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd8358f34fdd94323fe17d3e8928b2b07a4e9975","datavalue":{"value":{"entity-type":"item","numeric-id":861697,"id":"Q861697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$0F86A44C-9E02-4272-8841-FB8771648987","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e789552fbc9aecbb651052e981d7602fa3ea5d35","datavalue":{"value":{"entity-type":"item","numeric-id":38054,"id":"Q38054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$3BB23C98-3A2B-44F2-A2AE-6645ADDA97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8970d53f5fc5de8a7599b5d4b50f76cbd183814b","datavalue":{"value":{"entity-type":"item","numeric-id":13265,"id":"Q13265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$284D568D-CFA0-457A-A098-DB2279D8C104","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":"Q1589576$190E3C67-B5E6-4CCA-B012-DF04D2C1B066","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d73e19ea0e273012cda6510877f25e5d92796cc5","datavalue":{"value":"Q58006968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$45021929-9E55-447E-A167-24081FBDDA10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7273ec0eb958a68acc1c78fd022c2a6c6886f422","datavalue":{"value":{"entity-type":"item","numeric-id":1350509,"id":"Q1350509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$CB80A4C3-6DED-48FB-8398-6DFCFFC3FED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1dabc3caf0d6caed15aa8ccf537c1dbb970267c","datavalue":{"value":{"entity-type":"item","numeric-id":4364506,"id":"Q4364506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$AB87CAF6-5750-4DC6-827E-D0C9F827BC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4b2cc45597c6adb320160f2d26e8212e854497","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$A9BFA587-C951-45E3-93B4-27EEA7FA3C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20926a16a99262d3951e6b81c87745fd8dff6453","datavalue":{"value":{"entity-type":"item","numeric-id":1314274,"id":"Q1314274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$04BE5AF0-BA44-44C2-8A94-378A7CD9A9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816a5b57f0e3edcf4683ac47dccd2f1da66d234a","datavalue":{"value":{"entity-type":"item","numeric-id":4386959,"id":"Q4386959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$B38EE2A9-360A-410E-9C2C-AC40BA35DA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44e473b8e641dbfaf76db8227c4e98b00936e51","datavalue":{"value":{"entity-type":"item","numeric-id":4386924,"id":"Q4386924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$43DFDA92-EEEC-46D8-BDA4-D00CCE5B0DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eed6885d90be9ab542657cb2af4b6d289edacf","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$7C43D916-0423-4A35-942A-E05D792CC5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4e09b114430220f3024105f976c4e4074c03f6","datavalue":{"value":{"entity-type":"item","numeric-id":4610320,"id":"Q4610320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$953D7BE0-FB83-4139-B1EF-A1E2EA08F01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f2435228319ad803d3129e69ab5fccc33e290b","datavalue":{"value":{"entity-type":"item","numeric-id":4386962,"id":"Q4386962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$2FDA45CE-FCF8-426C-851D-052A0B566D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8576e12ead1260620241f1c154a798ed23413350","datavalue":{"value":{"entity-type":"item","numeric-id":4835516,"id":"Q4835516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$CC035B1E-0FB5-417F-900C-06B79EC01702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa73dfe0d0c7090d64e64b87f9b4f3015ccdf6","datavalue":{"value":{"entity-type":"item","numeric-id":1589576,"id":"Q1589576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$B6AFFB8C-AAA4-4450-9976-FC5DF216BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d186e44abdd9fb843520dcf7b6c51bde9edaebd","datavalue":{"value":{"entity-type":"item","numeric-id":4012243,"id":"Q4012243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$0EBF68D9-D9C8-4789-8680-9F17B8A4E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f30503e2191a985b06e59de37ad4b47ce193e33","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$09152B4A-82B2-4F5F-AB4D-AF83B75EE9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$B93F795D-A718-4CBE-93F5-F251FFB03E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d871ed2878848b3bdbf2a24e9ddd2cdf4aa007","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$72959BAB-6A12-461E-9FA1-CF94C248F34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$1ADA03A4-0E86-4BB8-92EB-8CF18B0E267D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$8EC8AB87-696E-46EE-B1C8-48F708230745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba406e7f3aac0ee55dd147add9d806535b268eb","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$016F8EED-1AE2-445F-A118-9B2CE11A99C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b47b4c9526fb4b5aff0e914b6727194910e061","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$C4BE121B-75BD-4667-93D8-C1F1EA089B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d83bc4f3bb7cf6419ff0e9982fb2b29da54111","datavalue":{"value":{"entity-type":"item","numeric-id":2721199,"id":"Q2721199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$75CA581B-B9BA-4184-9925-31562F364283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$03888A41-9027-427C-84A3-9C4F7B4C4B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$9D9EA846-69BA-435B-983C-0E0114B54669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121003eec14c124559ad0787617d70b0b245bb64","datavalue":{"value":{"entity-type":"item","numeric-id":2721226,"id":"Q2721226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$89590FDD-9E73-4B6A-ABEB-6888AB3A4A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$436B4730-70D6-46AF-9EA1-DF7C1A530151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df88df617383e402732a7ccdf3a5a43ea499743","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$2E4C143F-A6C4-4816-B620-40CD96B40333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c05599b3b6087ccb098d9568a6c870170ad7431","datavalue":{"value":{"entity-type":"item","numeric-id":2721184,"id":"Q2721184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$F2415997-B903-4CCD-BE34-8E275542D5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd95d66a558d3523482665852ecce7912cb81","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$1CB9CC9C-8F61-4C8B-A986-A57E3330022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$73262777-9446-406B-9AE3-D89F964B46B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75dcc66dd7c02761bfdae3bfb285783f55645057","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$C8832F86-A998-4703-89D1-03D9D0937851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee35eec4f1bcb8802869b456425f53aadfa3936","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$6EF909C1-4C3D-4B46-9442-C7C42BF5C929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$FD650DE1-C169-495A-99A0-3E191547B6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$0D38C19E-D2F9-4724-845D-FE209688EC75","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":"Q1589576$96A7B30B-56FD-46A5-820C-86FAA863AD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62005ec72ec2f611f752e07bf6457e9307f8e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":799390,"id":"Q799390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$CD0237F0-15B9-4000-ABF4-D8CEE4048ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a534fcd94c9d92b1be606fbe147730e2fbf2d560","datavalue":{"value":{"entity-type":"item","numeric-id":3750100,"id":"Q3750100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$6E087B38-9B3F-4972-A3DC-D3E2E34F9BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$90573129-26A8-42E1-AA29-D02A415EAD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0d4c2d95b428d7f5e0cd7b276542ece2442854","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$2F49FD40-5924-4D19-B3A3-CE881638FE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e435974863edb07dfa05b843af6791a84da407e4","datavalue":{"value":{"entity-type":"item","numeric-id":4209290,"id":"Q4209290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$6449CEB3-5434-46B0-94AC-6B2BF825D6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c8b1dfa02519b9bc0d4750f00a276e02ef5a6","datavalue":{"value":{"entity-type":"item","numeric-id":1977576,"id":"Q1977576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$F6DC2A08-66DA-4EF2-9143-581DBDC99A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47a0cdfbf49c2c2a42fab05844da554fa0d9630","datavalue":{"value":{"entity-type":"item","numeric-id":2721183,"id":"Q2721183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$304E9F96-D033-4C5F-B98B-BAA105B83F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2815fc1dcac3d3af1a233b6e9efdc1646b9856","datavalue":{"value":{"entity-type":"item","numeric-id":1104128,"id":"Q1104128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$8542A828-4BCD-4B59-B69B-B796F58F97B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34da21d2e3fa3e67c2ba7ad8a54e7566b0adae6","datavalue":{"value":{"entity-type":"item","numeric-id":4369856,"id":"Q4369856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$D9BF743B-00C7-453A-9550-A3F716103C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af09af750f954a8fefe988cc93afa52e36b198f6","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$DC926BBB-0FAE-4765-BA30-663B314F626B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3936030d19ec0ecb3f32ce07e84be8e6d35a86f","datavalue":{"value":{"entity-type":"item","numeric-id":2723427,"id":"Q2723427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$7DBC03BE-5534-4BBD-949D-6CF381437719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$54EFD6F7-1FF3-4E7C-929C-659BD0A17762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd5e11e2c045b305cd9a22f8792f180ce267a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1285670,"id":"Q1285670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$69DB34B9-F71D-4B1C-BE80-4E8E26141D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$AC951A57-88FC-4185-A322-1DE8C30A0BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47b5cce3befb4b6dd08a3de34853c35e40e671c","datavalue":{"value":{"entity-type":"item","numeric-id":1284704,"id":"Q1284704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$2048C224-1C29-413A-AD6A-715E5E2466C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$447BC9E8-091B-482A-957D-0572190D5536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$9FEF09B3-7143-4F37-B5C3-F24B2D64F42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c307c31a3523aaebb413e7f0e51a8091b14cd5","datavalue":{"value":{"entity-type":"item","numeric-id":5594589,"id":"Q5594589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$4E3CAFCB-0CE3-49C7-B79A-20207E3E87F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23b27dac7c6c5c729ca3db072b927b358b3ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":4286226,"id":"Q4286226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$D37A5F86-F8C5-44E2-8CCC-90169E59438A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f863763630c9047349c0e92b8cfae16632c569b","datavalue":{"value":{"entity-type":"item","numeric-id":4263156,"id":"Q4263156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$19D29BED-EBF5-412F-8BCC-5ED6A0951018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$5D7957A5-9F84-47C1-A5E1-1F8ECFD87569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$94F50E03-C4EB-44A6-A566-3004587BBB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1589576$A86758E0-283F-4B85-A5AD-F1ED47E45933","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7ac6c3e1e80420a27a277011641ec3c16880124","datavalue":{"value":"https://doi.org/10.1016/s0004-3702(00)00070-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1589576$6E1DA982-D58D-4A2B-AEA2-608CD391F4D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b237361d6c272f8aaf546f8e65814f929e0524d","datavalue":{"value":"W2337512840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$C2D9D817-77A8-4CA7-B332-ADC4226A24A9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b86dda6c65628484dd70390ff8894ec1861c3de1","datavalue":{"value":"journals/ai/DoniniM00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1589576$2CC6BF8A-65A3-497E-8515-EE2A41E23D6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf0e8e47c111721c304d92b2e049d83d1a26069d","datavalue":{"value":{"entity-type":"item","numeric-id":352943,"id":"Q352943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d82f09e96510a8a3d608b261d3d6da12b48a16","datavalue":{"value":{"amount":"+0.8200738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$FF509ACD-F565-4BE8-98BD-D350523848C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08552810357c4460a14210c79adbbaf2fea7785e","datavalue":{"value":{"entity-type":"item","numeric-id":1039421,"id":"Q1039421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8185168aafba09f06d9eabe90183c97cf226be7","datavalue":{"value":{"amount":"+0.81228894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$6ACC8501-8252-4310-9A4F-F0684DE9460E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23c4f85ecdbd3a6b333959ec4f31ab7e1f9df8c","datavalue":{"value":{"entity-type":"item","numeric-id":4763905,"id":"Q4763905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483a0f17f3a7b4b88c93b1e59a291f21c27e4f73","datavalue":{"value":{"amount":"+0.78195345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$93643B12-1E67-4CC2-BD79-F351B2E54291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc13470c2b1ef5aa650ca668d610848d1160244b","datavalue":{"value":{"entity-type":"item","numeric-id":5952336,"id":"Q5952336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afea17e5920401448578cadf054db7a5b5532d5","datavalue":{"value":{"amount":"+0.77506804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$21731838-A4EA-4F2C-99D3-85785E9E4341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5d1874d1184d834f91bb100ae2608cc2f60280","datavalue":{"value":{"entity-type":"item","numeric-id":533344,"id":"Q533344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185b2a4f63071134408ad358445b85a938c3d3b6","datavalue":{"value":{"amount":"+0.76902425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$F54C86F6-4DE2-4785-9009-166165819D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95cb4de4d256fb3d115c3204e600c671d2fa9be0","datavalue":{"value":{"entity-type":"item","numeric-id":392634,"id":"Q392634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ce901b6ce72fb08c0dd0f1c7e0e1b727d6e949","datavalue":{"value":{"amount":"+0.7685113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$CF87074D-871C-4D2F-A52B-D2D782D8C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f929bfcd8597e965509eb0ef7d65f34d7ac6a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1586167,"id":"Q1586167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b6f8d0590c9835e33882b5961b604ab6854f6a","datavalue":{"value":{"amount":"+0.76845175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$7434163D-845A-45D4-8D3D-024A308A2845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26935e00b59dc829dbb441b19e0ec26b82c39683","datavalue":{"value":{"entity-type":"item","numeric-id":2850220,"id":"Q2850220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399383b695681306a86bb9719e6b974207705c7e","datavalue":{"value":{"amount":"+0.76741374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1589576$7C1D0E26-EA74-4041-ACDB-633A89841899","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1589576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1589576"}}}}}