{"entities":{"Q2753788":{"pageid":2764527,"ns":120,"title":"Item:Q2753788","lastrevid":44680869,"modified":"2025-11-25T00:59:27Z","type":"item","id":"Q2753788","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1670577"}},"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":"Q2753788$AB586465-1CEA-473E-B7F3-30C5CB6C8DC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51fd8c4467b21aeafc77a95b5de209739c92a092","datavalue":{"value":"0973.68562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753788$FFACD4AB-DEB9-40D9-B4BB-2BFCD98412B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ccf71c3f39b602057c71830666cf488d2979398","datavalue":{"value":{"entity-type":"item","numeric-id":1105358,"id":"Q1105358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753788$BB171239-010C-4B3B-8B56-0246A6C320D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d522453abbfef4f8bbc29d966e7e42f8cb01ff6","datavalue":{"value":{"time":"+2001-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2753788$2BE7176D-CF75-44BD-A37F-2EE78730ADE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753788$9791E663-06F6-4D9C-9807-061553927904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c05236ba6c6eb01728e5ef50a3d845c0afa0da1","datavalue":{"value":"93C41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753788$9513041D-ECCD-4B95-AE6B-8D04B29CDCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6645294f329205d6c74039207697939030eead29","datavalue":{"value":"93C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753788$5948281B-00FE-4D78-A24E-38802C5E93A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d59f70fbf9e74366eed3a218376c2501380a63c","datavalue":{"value":"1670577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753788$43BFBFBA-F60A-4212-ABDD-1527865B1120","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753788$F63B42E4-9F03-4460-BFC6-0678D619D92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753788$E3C05005-9556-4631-A734-66AA8F6ABDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcf49568ab0037d04280e48116349d583f1e6a7","datavalue":{"value":"real time","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753788$3C5BA7DF-85AE-4E8E-B941-2E27F32E6B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753788$44980550-542A-4B0C-A7DA-334E81FF75D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753788$A59540E7-78DE-4C91-8396-031ADFA7F9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a873697bda241540e1019f29607482dad4f3a700","datavalue":{"value":"control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753788$D0A6D535-6074-4C4B-9D20-6621A1878C9B","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":"Q2753788$657535FC-ADED-4E72-9D1C-2E25DD591621","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da72aa331234735c6e47769cf47004278009345","datavalue":{"value":{"entity-type":"item","numeric-id":5392290,"id":"Q5392290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cda41621edad1b2b222dc6bdbccd0b855133cee","datavalue":{"value":{"amount":"+0.9127723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$E2611ADB-08AD-4B9A-838C-E68EB669B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e20030e1e2604b48f6f0c042c9b004e04d7467","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98d9c30dc0bd7a920fb2612f3e7361e91888732","datavalue":{"value":{"amount":"+0.9100553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$A4A920D0-B043-445E-B899-3CAFC07C301B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c8b90eb301d8de7ca8866c5a116646ef9cc423","datavalue":{"value":{"entity-type":"item","numeric-id":548704,"id":"Q548704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfc44640d6ea57c4b557d64659e63a97acb88a2","datavalue":{"value":{"amount":"+0.9052252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$68B983FB-BDC0-4B4A-AB84-3BB0E7DE2E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de66d1720d475dde031e95e925994e54d2d6f11c","datavalue":{"value":{"entity-type":"item","numeric-id":2252961,"id":"Q2252961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a0c285ee82654adc1726059360b916d88e5300","datavalue":{"value":{"amount":"+0.90009165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$A5CEBD80-72C3-4B01-A4A7-0C29D8D4F5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22965ffb14371a8d2b5e6deca6fbf1f8604086c1","datavalue":{"value":{"entity-type":"item","numeric-id":4264718,"id":"Q4264718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1cb9125a77dab0318ff739bc2d92077ded6ee9","datavalue":{"value":{"amount":"+0.89937663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$4CD86335-19DE-4D85-A13E-ED7957D48DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942e099bea99b8e42a4886096d8978f51280ca9a","datavalue":{"value":{"entity-type":"item","numeric-id":5897476,"id":"Q5897476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aad0263648321eca48c1d71d3859f14952cca8d","datavalue":{"value":{"amount":"+0.89680374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$686B636C-3097-468A-B11F-7AAD84039978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fe7c79e6605d608a824a8442b55bb2aa892f352","datavalue":{"value":{"entity-type":"item","numeric-id":2998257,"id":"Q2998257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb92d505d0ee9446dc99186f00bfb8cdcc96407","datavalue":{"value":{"amount":"+0.89433503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$186A4C89-8626-4B0F-A19A-9EDEE4CC2CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf8a547a05669e0a88913b8edc63e64ac6ef627","datavalue":{"value":{"entity-type":"item","numeric-id":5060076,"id":"Q5060076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34836c08f606d8d616eabd477a65f28fa84acc98","datavalue":{"value":{"amount":"+0.89026076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$43CB5F44-E89C-4C61-846B-2EA920D3080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0496a7e3aad23b09d910df97b7b385335edf42","datavalue":{"value":{"entity-type":"item","numeric-id":2353964,"id":"Q2353964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a435d485164235eedb6f40ccc400df6ef59b56d0","datavalue":{"value":{"amount":"+0.8894829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753788$5ECECC52-3DCC-49B7-B5DD-A3AC4D8BE828","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2753788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2753788"}}}}}